What is Tezos?
Tezos is an open-source blockchain that evolves by upgrading itself. Token holders vote on amendments to the protocol, including amendments to the governance mechanism to reach social consensus on proposals. Tezos was designed to facilitate formal verification to improve the security of smart contracts and decentralised applications.

Formal Verification

Tools that allow writing programs that do not have bugs. Applicable to contract automation as well as critical code in various industries such as aerospace, transportation infrastructure, finance, etc.

Smart Contracts

Automated contracts written in a special language (Michelson) that helps in checking for bugs.


Tezos blockchain is designed to facilitate formal verification and helps secure smart contracts and avoid buggy code.

Self - Amendment

Technology that enables the Tezos network to be upgraded with technological improvements whenever needed.

Liquid Proof-of-Stake

A conensus algorithm in which Tezos allocates block publishing rights based on stake.
Tezos allows token holders to optionally delegate validation rights to other token holders, which aims to maintain a dynamic valiator set, facilitating token holder coordination and accountable governance.

On - Chain Governance

Technology enabling Tezos users to agree on upgrades to the network all together and avoid division of the community into incompatible groups (avoid “software version nightmare”).

Zero - Knowledge Proofs

Technology that allows the secure integration of Tezos with other systems that have less strict security requirements (e.g. banks) without compromising the security of Tezos. Also useful for privacy.