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