Tezosはオープンソースのプルーフ・オブ・ステークブロックチェーンです。Tezosはデジタル資産とアプリケーションをサポートし、また利害関係者が形式検証プロセスを通じて自己アップグレードを行うこともサポートしています。