Tezos

Tezos is an open-source blockchain protocol platform for assets and applications backed by a global ecosystem of users and developers. Tezos was designed to facilitate formal verification processes for secure, institutional grade smart contracts.