Glossary

According to this cryptocurrency’s website, Tezos is “a decentralized blockchain that governs itself by establishing a true digital commonwealth and facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financial weighted smart contracts.”