Tezos is a new 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 one day old, or your comment karma is less than 5, 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.