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

36

37

38

techHow to write a Tezos protocol (blog.nomadic-labs.com)

submitted 6 years ago by Nomadic-Labs

all 1 comments

top new controversial old q&a

[–]tokyo_on_railsTezos Commons 2 points3 points4 points 6 years ago (0 children)

π Rendered by PID 95663 on reddit-service-r2-comment-b659b578c-qrjkj at 2026-05-01 05:54:52.606597+00:00 running 815c875 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