ティゾス / Tezos (XTZ)の編集履歴#1

・Tezosは取引を管理するコードの正確性を数学的に証明し、最も機密または財務的に重視されるスマート契約のセキュリティを高める正式な検証を容易にする。

利害関係者がネットワーク上に自動的に展開されるプロトコルのアップグレードを承認するためのガバナンスルールを作成することによって、ガバナンスとは根本的に異なるアプローチを採用している。

開発者は、プロトコルのアップグレードを提案する際に、承認後にアップグレードの対象となるインボイスを自分のアドレスに支払うことができます。このアプローチは、Tezosコア開発に参加する強いインセンティブを提供し、さらにネットワークのメンテナンスを分散化します。企業のスポンサーシップ、基礎給与、またはインターネットの名声のためだけに働くことを強いられているのではなく、すぐに価値のあるトークンを開発者に提供します。

先物の購入者だけがそれらを売ることができます。これは、ショート・セリングを可能にする市場によって決定される価格よりも、価格がかなり高い可能性があることを意味します。

自己修正機能

　ホルダーが改正提案に対して投票し、コンセンサスに達することでハードフォークすることなく自己アップグレードすることが可能なブロックチェーンである。また、Tezosはスマートコントラクトをサポートしており、DAppsを構築するためのプラットフォームを提供している。

オンチェーンガバナンス

　すべてのホルダーはプロトコル管理に参加することができる。投票サイクルは利害関係社による提案の改正に関する体系的な手順を持って行われる。

スマートコントラクトとフォーマル検証

　Tezosはスマートコントラクトを第三者によって検閲・停止できないDAppを構築するプラットフォームを提供する。更に、フォーマル検証を行うことでプログラムを数学的に検証し、セキュリティを向上させる。