Our Technology

Tezos is a 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 don’t have bugs. Applicable to contact automation but also critical code in all industries like aerospace, transportation infrastructure, finance, etc.

DPoS (Delegated Proof of Stake)

Consensus algorithm that allows Tezos to consume less resources than Bitcoin or Ethereum.

Smart Contracts

Automated contracts written in a special language (Michelson) that helps checking they have no bugs.

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.


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

On-Chain Governance

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

Integrating 3 Technologies To Create A Smart Contract Platform



Tezos Website

Tezos GitLab

Tezos Developer Documentation