Tezos is a smarts contracts platform like Ethereum, but is based on the programming language Michelson and deploys some slight optimizations to the smart contract archetype of Ethereum — such as with formal verification for enhanced contract security. Officially live since September 2018, Tezos has been gathering community support and development contributions in large part due to its offerings of bug bounties, staking incentives, and partnerships designed to bring more community members into the fold.