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

  • 作成日時 : 2021/3/14 08:14
  • ユーザ名 : doubutunante
  • 獲得ポイント : 200
  • 編集内容 :

    何がすごいのか?

    • ネットワークプロトコル、トランザクションプロトコル、コンセンサスプロトコルがそれぞれ独立している。
    • ハードフォークすることなくアップデートすることが可能である
    • フォーマル検証により、開発者は数学的にプロトコルが正しいかどうかを検証することができる。
記事全体

簡単にまとめると

  • Tezosは取引を管理するコードの正確性を数学的に証明し、最も機密に財務的に重視されるスマート契約のセキュリティを高める正式な検証を容易にする。
  • 利害関係者がネットワーク上に自動的に展開されるプロトコルのアップグレードを承認するためのガバナンスルールを作成することによって、ガバナンスとは根本的に異なるアプローチを採用している。
  • 開発者は、プロトコルのアップグレードを提案する際に、承認後にアップグレードの対象となるインボイスを自分のアドレスに支払うことができます。このアプローチは、Tezosコア開発に参加する強いインセンティブを提供し、さらにネットワークのメンテナンスを分散化します。企業のスポンサーシップ、基礎給与、またはインターネットの名声のためだけに働くことを強いられているのではなく、すぐに価値のあるトークンを開発者に提供します。
  • 先物の購入者だけがそれらを売ることができます。これは、ショート・セリングを可能にする市場によって決定される価格よりも、価格がかなり高い可能性があることを意味します。
  • 略称はXTZとなる。

自己修正機能

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


オンチェーンガバナンス

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


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

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

何がすごいのか?

  • ネットワークプロトコル、トランザクションプロトコル、コンセンサスプロトコルがそれぞれ独立している。
  • ハードフォークすることなくアップデートすることが可能である。
  •  フォーマル検証により、開発者は数学的にプロトコルが正しいかどうかを検証することができる。

どんな技術か?

LPoSを採用

テゾスのコンセンサスアルゴリズムはLPoS(Liquid Proof of Stake)を採用しています。ブロック承認者はテゾス(XTZ)の保有者からランダムで選択される他、承認者がその権限を譲渡することもできます。つまり、ある程度テゾスを保有しておけばブロックの生成権が与えられるということです。

ブロックを生成することで成功報酬を獲得できますが、ハードウェアを含む色々な条件が必要なので、一般的な個人投資家は他のマイナーに承認権を委任することが可能となっています。


ベーカーという存在

テゾスのネットワーク上では、「ベーキング」というプロセスがあり、これはテゾスの取引記録を承認する作業を指しています。ベーキングを行うXTZ保有者は「ベーカー」と呼ばれ、ベーカーになるには10,000 XTZ以上を保有しないといけないという条件があります。10,000 XTZを保有していない場合は、他者に委任する形でベーキングに参加することが可能です。

PoSにおけるセキュリティデポジット(保証金)は、コンセンサスの過程に参加し、インフラ(物価上昇)の影響を回避することが必須です。PoWにあるように、コンセンサスプロトコルはセキィリティが公正な多数派によって決められ、テゾスプロトコルで奨励され、不正の行為にはペナルティを公正な行為には報酬を与えます。

かりに参加者が不正を犯したとすれば、保証金はなくなります。コンセンサスに参加を望まないユーザーは、他のユーザーに権利を委任する選択権があります。


ハードフォークの必要がない

テゾスの特徴は、ネットワークを2 つの異なるブロックチェーンにフォークさせることなく自身をアップグレードできる自己改訂機能を備えている点です。また、オンチェーンガバナンスにより、コミュニティ内の対立により分裂するといった別のリスクも抑制しています。これらにより、コミュニティ内での意見対立により開発者コミュニティが分裂するといった事態が発生せず開発リソースが分散しないため、安定した運営を行うことができます。



誰が作っているのか?

これまでの実績

フランス自治体、テゾス(XTZ)ブロックチェーンを用いた投票実施

  • 2017年2月 Alphanet(アルファネット)
  • 2018年6月 Betanet(ベータネット)
  • 2018年9月 Mainnet(メインネット)

次に見るべき記事