Tezos is a blockchain-based, decentralized applications platform project. Within
the Tezos blockchain, formal verification of smart contracts shall be
facilitated. Furthermore, an "on-chain" governance mechanism shall be
implemented.
Arthur and Kathleen