テゾス

LPoSでは、8,000XTZ以上のテゾスを保有し、承認作業を行うためのコンピューターと安定した通信と電力環境を整えることでブロックの承認者になることができます。ビットコインのマイニングに相当する、ブロック承認作業のことをベイキング、ブロックの承認者のことをベイカーと呼びます。

8,000XTZを下回る保有量でも、承認作業に参加することができます。保有量に応じた投票権が与えられるため、ブロック承認者に委任を行い、ベーキングによる報酬の一部を受け取ることができます。そのため、テゾスのLPoSは他の仮想通貨とは違い、テゾスを保有する全てのユーザーがブロックを生成するまでに何らかの関与をすることが可能となっています。

テゾスには独自のスマートコントラクトであるフォーマル・ベリフィケーションを採用しています。スマートコントラクトはブロックチェーン上で自動契約を履行することができるシステムですが、契約にエラーやバグなどがあったとしても契約後には修正をすることが難しいというデメリットがあります。そこでフォーマル・ベリフィケーションの形式検証を導入することで、数学的にスマートコントラクトの契約が正しいのかを検証し証明することが可能です。