Tezos - 自己修正仮想通貨元帳
スマートコントラクトの正確性を数学的に証明する技術の提供する。
STO/ICO基本情報
Claim this listing and publish updates.
基本情報
プラットフォーム | 不明 |
---|---|
タイプ | 不明 |
参加可能通貨 | BTC, ETH |
供給率 | 不明 |
KYC | 不明 |
参加不可地域 | 不明 |
Webサイト | ホームページ |
ホワイトペーパー | ダウンロード |
概要
Tezosは、一言で言うと、汎用的な自己修復型の暗号化元帳です。
特徴
特徴としては、Tezosのシードプロトコルは、PoSの認証システムに基づいており、スマートコントラクトをサポートしています。 Tezosは、速度を提供する関数型プログラミング言語であるOCaml、明確な構文と意味論、Tezosを正式な正当性証明の候補にするエコシステムで実装されています。Tezosは既に大手投資ファンドとメディアの関心を集めています。
また、独自の競争上の優位性を持っています。具体的には、正式な検証や、高度な実装技術です。宇宙産業だけでなく、医学や法学の分野でも活躍しています。Tezosの主な競争相手はEthereumであり、新しいスマートコントラクト市場のシェアを獲得することを目標としています。
自己修正可能なプロトコル
Tezosの特徴の1つは、自己修正可能なプロトコルを実装する能力です。これは、set_test_protocolとpromote_test_protocolという2つの手続き関数をプロトコルに公開することで実現されています。また、 Tezosはメタアップグレードをサポートしています。つまり、プロトコルは独自のコードを修正することで進化し続けます。これを達成するために、Tezosは、議決手続き自体の改正を含む、ステークホルダーが議定書の改正を承認する手続きを定義するシードプロトコルから始まります。
独自のブロックチェーン技術
もう一つのTezosの特徴は、Tezosには独自のブロックチェーンがあり、他のブロックチェーンの派生物では無い点です。煩わしくなく、処理遅延も少なく、消費電力がより少ないPoS式のコンセンサスアルゴリズムで実装されています。具体的には、関数型プログラミング言語(OCaml)で実装されています。また、Tezosの立証証拠メカニズムは、Slasher、活動連鎖、および燃焼証明を含むいくつかのアイデアを組み合わせたものです。中でも、Tezosの通常のブロックチェーンの操作が、ネットワーク操作を担当するシェルに抽象化された機能モジュールとして実装されている点が特徴的です。
自動改訂
自動改訂によりTezosは、ネットワークを2つの別々のブロックチェーンに分岐(「フォーク」)しなくても、自己アップグレードすることができます。 フォークの提案または期待によりコミュニティが分断され、ステイクホルダーのインセンティブが変わり、長年かけて形成されたネットワーク効果が中断する場合があるため、この点は重要です。自己改訂のおかげで、プロトコルのアップグレードにかかる調整や実施のコストが削減され、将来のイノベーションはシームレスに導入可能です。
オンチェーンのガバナンス
Tezosにおいてステイクホルダーは全員、プロトコルのガバナンスに参加することができます。選出サイクルにより、提案されたプロトコル改訂に関してステイクホルダーが合意に達する、公式で体系的な手続きが提供されます。このオンチェーンメカニズムを自動改訂と組み合わせることによりTezosは、よりよいガバナンメカニズムが発見された際、当初の選出サイクルを変更してこれを採用することができるのです。
分散型イノベーション
ステイクホルダーが容認した提案済みの改訂には、プロトコルを改善する個人またはグループへの支払いを含むことができます。この支払いメカニズムにより活発な参加が促され、ネットワークのメンテナンスが分散化されます。プロトコルへのコントリビューションのインセンティブのある、活発でオープンかつ多様な開発者エコシステムを支援することで、Tezosの開発と採用が促進されます。
スマートコントラクトと正式な確認
Tezosは、スマートコントラクトを作成し、サードパーティによる検閲やシャットダウンが行えない、分散化したアプリケーションを構築するプラットフォームを提供します。さらにTezosは、スマートコントラクトのようなプログラムに関するプロパティを数学的に証明することでセキュリティを改善するために用いられるテクニックである、正式な確認を促進します。適切に使用された場合このテクニックは、高くつくバグや、その後続く喧々諤々の議論の回避に役立ちます。
ステイクの証拠
分散化したP2Pのネットワーク内の参加者(「ノード」)は、障害のない状態でネットワークを機能させ続けるのに必要な演算リソースを提供します。ステイクの証拠(PoS)は、ブロックチェーンの状態に関して、Tezosがコンセンサスに達する際に様々な参加者が使うメカニズムです。その他のPoSプロトコルと異なり、ステイクホルダーは誰であれTezosのコンセンサスプロセスに参加可能で、ネットワークのセキュリティや安定性へのコントリビューションによりプロトコル自身からリワードを受けます。さらにPoSはその他のコンセンサスのメカニズムよりも費用がかからず、参加障壁を引き下げます。
委任
PoSにおいてコンセンサスプロセスに参加するには、セキュリティのデポジットが必要となります。プルーフ・オブ・ワーク同様、コンセンサスプロトコルはセキュリティに関して誠実な大多数に頼っており、不誠実な行動を罰し、誠実な行動にリワードを与えるTezosのプロトコルにより直接、誠実さへのインセンティブが与えられます。参加者が不誠実な行動を行うと、デポジットを失う場合があります。コンセンサスプロトコルへの直接参加を希望しないユーザーは、自分のかわりに別のユーザーに権利を委任するオプションがあります。