Tezos koers

Tezos is een proof-of-stake-blockchain die is ontworpen rond on-chain governance en formele verificatie. Het ging in 2018 van start na een van de grootste tokenverkopen van zijn tijd en een slepend geschil tussen de oprichters dat de release van het netwerk vertraagde.

Het kenmerkende is zelfaanpassing. Protocolupgrades worden voorgesteld, door stakeholders gestemd, getest op een tijdelijke fork en daarna automatisch geactiveerd als ze worden goedgekeurd, allemaal via de chain zelf. Dat betekent dat Tezos zijn eigen regels kan wijzigen zonder omstreden hard fork, en het protocol is sinds de lancering vaker geüpgraded dan de meeste netwerken.

Formele verificatie

Tezos is gebouwd met formele verificatie in het achterhoofd, wat betekent dat van contracts wiskundig kan worden bewezen dat ze zich gedragen zoals gespecificeerd, in plaats van alleen te worden getest. De eigen contracttaal, Michelson, is hiervoor ontworpen. Die eigenschap is vooral relevant voor applicaties waarbij een bug kostbaar en moeilijk te herstellen zou zijn, en heeft de chain aantrekkelijk gemaakt voor gereguleerde en institutionele toepassingen.

Consensus en staking

De consensus is liquid proof of stake. Houders kunnen zelf een validator draaien, een baker genoemd, of hun stake aan een baker delegeren zonder het eigendom van hun tokens over te dragen. Delegeren zet de tokens niet vast, wat het onderscheidt van stakingsystemen die voor delegators een bondingperiode vereisen.

XTZ heeft geen vast maximaal aanbod. Het totale aanbod bedraagt momenteel ongeveer 1,11 miljard tokens, waarvan circa 1,09 miljard in omloop, en er worden nieuwe tokens uitgegeven als baking-beloningen, dus het aanbod groeit na verloop van tijd.

Tezos 2.0 is de aangekondigde volgende fase van het netwerk, die de schaalbaarheid moet verbeteren via layer 2-oplossingen en gangbare programmeertalen moet ondersteunen naast de bestaande tooling.