Tezos는 오픈소스 지분 증명(Proof-of-Stake) 블록체인이다. Tezos는 디지털 자산과 애플리케이션을 지원할 뿐만 아니라, 이해관계자들이 형식적 검증 과정을 통해 스스로 업그레이드할 수 있도록 한다.