Tezos

Developer of a self-amending cryptographic ledger designed to provide the safety and code correctness required for assets. The company's platform is built to facilitate formal verification, a technique that upscales the security of sensitive or financially weighted smart contracts by mathematically proving the correctness of the code governing transactions and other high-value use cases at both the protocol and application layers, enabling users to get access to a decentralized governance system.