Tezos
https://tezos.comTezos is an open-source blockchain protocol for assets and applications backed by a global community of validators, researchers, and builders. The Tezos protocol is secure, upgradable, and built to last.
Tezos was built to facilitate formal verification, a technique that boosts... Read More