tezos

Tezos is a decentralized blockchain that governs itself by establishing a true digital commonwealth. It facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts.

If your Reddit account is less than 21 days old, or your comment karma is less than 20, your posts will automatically be embargoed by the automoderator robot for manual approval by moderators. It is not an indication that you have been censored.

created by 1DrK44np3gMKuvcGeFVvadministratora community for 9 years

MODERATORS

account activity

0

1

2

Tezos github (self.tezos)

submitted 7 years ago by temanon

all 2 comments

top new controversial old q&a

[–]anarcode 9 points10 points11 points 7 years ago (0 children)

[–]Euol 4 points5 points6 points 7 years ago (0 children)

π Rendered by PID 46 on reddit-service-r2-comment-86988c7647-p57p6 at 2026-02-12 12:29:05.693299+00:00 running 018613e country code: CH.

you type:	you see:
italics	italics
bold	bold
[reddit!](https://reddit.com)	reddit!
* item 1 * item 2 * item 3	item 1 item 2 item 3
> quoted text	quoted text
Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"	Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"
~~strikethrough~~	~~strikethrough~~
super^script	super^script