arthur breitman

  1. evo

    Tezos Whitepaper - Self Amending Cryptographic Ledger

    Tezos is a decentralized blockchain that governs itself by establishing a true digital commonwealth. What’s more, Tezos was built to facilitate formal verification, a technique which boosts the security of the most sensitive or financially weighted smart contracts by mathematically proving the...