Tezos (XTZ) is a smart contract platform that uses blockchain voting to self-govern and boost security through formal verification of code.