Tezos is a decentralized blockchain. It provides a formal rectification, a procedure that mathematically verifies the preciseness of the code regulating transactions and boosts the security of the most sensitive or financially weighted smart contracts.
Tezos has a different approach towards designing governance rules. When a developer upgrades a protocol, he can directly attach a paid invoice with their address and the approval, admittance of their upgrade. The stakeholders can accept the protocol upgrades that are directly deployed on the network
Tezos implies a generic network shell. The shell is the skeptic to the transaction protocol and to consensus protocol. The transaction protocol and the consensus protocol altogether are represented as “blockchain protocol”. This platform provides the first mathematical representation of a blockchain protocol.
Kathleen Breitman - Decentralized governance Team
Bozman Cagdas - Senior R&D Engineer at OCamlPro
Mohamed Iguernlala - R&D Engineer @ OCamlPro
Alain Mebsout - R&D engineer at OCamlPro
Andrew miller - Advisor
Emin Gün Sirer - Advisor
Zooko Wilcox - Advisor