Tezos

  • status

    preproduction

    description

    A new decentralized blockchain that governs itself by establishing a digital commonwealth. 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.