by Luis Cisneros | Aug 18, 2021
Tezos Tezos is an open-source platform for assets and applications that can upgrade itself without running the risk of a hard fork. Its smart contracts are secured with institutional-grade safety features that facilitate “formal verification,” a process used in...
