Tezos

Tezos is a developer of a self-amending cryptographic ledger that provides a secure and code-correct platform for assets and high-value use cases at both the protocol and application layers. Their platform focuses on formal verification, a technique that increases the security of sensitive or financially important smart contracts by mathematically proving the correctness of the code governing transactions. In this way, users have access to a decentralized governance system that provides transparency and security to the platform's users.