Tezos. The self-governing, community-driven blockchain platform that uses formal verification to ensure security and automatically adapts through on-chain upgrades.