Tezos is a new decentralized blockchain that governs itself by establishing a true digital commonwealth. It facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts.

Tezos

Arthur Breitman

Kathleen Breitman

Vincent Bernardoff

Bozman Çağdaş

Benjamin Canou

Pierre Chambart

Grégoire Henry

Mohamed Iguernlala

Fabrice Le Fessant

Guillem Rieu

Alain Mebsout

Andrew Miller

Emin Gün Sirer

Zooko Wilcox

Tezos

description