"Tezos" TAG

Tezos
  • research
Tezos is a liquid proof-of-stake smart contract platform that features formalized blockchain governance and enables formal verification for smart contracts. Overview Tezos is a liquid proof-of-stake smart contract platform focusing on formalizing blockchain governance and enabling formal verification for smart contracts, which provides certain mathematical guarantees that a smart contract does what it is programmed...