クリプトコインポータル ~仮想通貨・ブロックチェーンプロジェクト 総合情報サイト~

テゾス(Tezos)


Tezosは、キャップのないトークンセールを介して開始された新しいブロックチェーンです。Ethereumと同様に、Tezosはチューリング完全なスマートコントラクトをサポートしています。しかし、それは、合意アルゴリズム、ガバナンスメカニズム、およびスマートコントラクトプログラミング言語の使用においてイーサリアムとは異なります。

Tezos(テゾス)概要

名称Tezos
通貨単位XTZ
発行日2017年7月1日
ウェブサイトhttps://tezos.com/
WhitePaperホワイトペーパー
Twitterツイッター
 
取引所
Gate.io
HitBTC
ゲートコイン
時価総額ランキング19位(2018年8月1日現在)
最大供給量763,306,930 XTZ
現在供給量607,489,041 XTZ(2018年8月1日現在)

  Tezosの公式の資料で強調されている主な機能は次のとおりです。
目次 Tezos(テゾス)の特徴.1  コンセンサスアルゴリズムにDelegated proof of stake(DPOS)を使用 Tezos(テゾス)の特徴.2  チェックポイントの使用を提案 Tezos(テゾス)の特徴.3  Tezosアーキテクチャの存在 Tezos(テゾス)の特徴.4  Onchainガバナンスとネイティブ資金 Tezos(テゾス)の特徴.5  正式な検証 Tezos(テゾス)の特徴.6  Scalable Zero Knowledge Proofs トークンの役割

Tezos(テゾス)の特徴.1

Delegated proof of stake:Tezosは、コンセンサスアルゴリズムにDelegated proof of stake(DPOS)を使用 コンセンサスのために、Tezosは委任されたステーク・アルゴリズムの証明を使用します。これは当初Bitsharesで開発されましたが、Lisk、Steemit、EOS(まだリリースされていません)を含むいくつかのプロジェクトで使用されています。テゾスの場合は、代表者の数に上限がないという点で、よりよく知られているDPoSとは異なります。通貨の保有量などに左右されず、誰でも代議員になり、委任によって直接コンセンサスに貢献することができます。ユーザーはトークンを他のユーザーに委任することもできます。 完全なコンセンサスノードとして機能することに加えて、ユーザーは署名者になり、完成したブロックでサインオフする報酬を得ることができます。これにより、フォーク攻撃に対する防御層が追加されます。悪意のあるノードは、結託された署名ノードを制御しない限り、秘密のチェーンを構築することはできません。ホワイトペーパーでは、署名者ノードとしての役割を果たすための正確な要件は不明瞭であり、改訂の対象となっています。

Tezos(テゾス)の特徴.2

チェックポイントの使用を提案 チェックポイントは、ブロックチェーン自体の外部に格納されているブロックチェーンの状態のハッシュです。これらのチェックポイントは、ノード(通常はクライアントソフトウェアにハードコードされている)によって読み取られ、現在のブロックチェーンをそのポイントまで検証します。これらのチェックポイントは、ネットワーク上の攻撃が発生する可能性のあるウィンドウに制限を設けます。信用できるようにするには、ネットワークをフォークしたい攻撃者は、別のチェーンを構築し、2つのチェックポイントハッシュイベントの間でネットワークにプッシュする必要があります。しかしながら、チェックポイントは集中化の一形態と考えられているため、議論の余地があります。チェックポイントはオフチェーンで保存され、財団によって管理されます

Tezos(テゾス)の特徴.3

Tezosアーキテクチャの存在 Tezosアーキテクチャには、トランザクションの検証を含め、ネットワークに接続して通信するメインの「ノード」があります。また、プライベートキー管理、トランザクションのネットワークへの送信、スマートコントラクトの展開と追跡など、すべてのユーザー固有のアクションを処理するクライアントインターフェイスもあります。ネットワーク層では、Tezosはネットワークのノード間の通信を暗号化しています。新しいトランザクションに関する情報を送受信するためにネットワークに接続しているときに、ノードのピアホワイトリストとブラックリストもあります。

Tezos(テゾス)の特徴.4

Onchainガバナンスとネイティブ資金 Tezosには、プロトコル開発に資金を提供する仕組みがあります。Tezosトークン所有者は、これらの支払いに投票して承認することができます。これはBitsharesが開発資金をどのように調達するかと同様です。Tezosには、トークン所有者がプロトコルを「アップグレード」できるようにするガバナンス構造もあり、新しいプロトコルの変更を組み込むのが容易になります。 Tezosのピッチの大部分は、チェーン上のガバナンス構造です。他のいくつかのブロックチェーンには、Bitsharesなどの投票によるガバナンスもあります。しかし、Tezosでは、ブロックチェインパラメータが変更の度にアップしています。チームはこれにより、トークン所有者の希望に基づいてプロトコルを柔軟に変更し、採用することが可能になると考えています(Bitcoinの問題を解決し、他のステークホルダーが同意した変更を防ぐことができます)。Tezosは、ガバナンスを「自己修正型」と表現しています。なぜなら、株主が承認したプロトコルは自動的に実装されるからです。トークン所有者は、理論上、オン・チェーン・ガバナンスを通じてあらゆる問題に対処し、アップグレードすることができます。 このことに並行して、Tezosの修正システムには新旧バージョンとの互換性が実装されています。つまり、通貨の管理者の考えと離反しない限り、Tezosにはハードフォークの必要性がないということです。 この目標が地方分権化を失うことなくいかに現実的であるかはまだ分かりません。有権者の無関心は、これらのタイプの投票スキームの既知の問題であり、実際には、いくつかの主要プレーヤーが進化の方向に影響を与える可能性があります。On-chainガバナンスは、多くのブロックチェーンにとって継続的な検討事項であり、Dfinity、Qtum、およびCosmosを含むいくつかのフォームが実装されています。

Tezos(テゾス)の特徴.5

正式な検証 Tezosはスマートコントラクトのためにできるだけ簡単に正式な検証をしようとしています。そのために、チームは、EOSのスマートコントラクトのための純粋に機能的なプログラミング言語であるMichelson(ForthとLispのミックスと記述)を発明しました。Tezos自体はOCamlで実装されています。OCamlは主に、ヘッジファンドJane Streetによって金融業界で一般化された機能的言語です。 スマートコントラクト開発の中心に正式な検証を置くことは、Tezosチームによる別の動きです。スマートコントラクトが、少なくともそれがどのようにプログラムされているかに応じて、何が想定されているかを技術者が数学的に保証します。これは通常、指定された仕様と同等であることが証明できるスマートコントラクトの抽象的な数理モデルを作成することによって行われます。したがって、スマートコントラクトと仕様との間の同等性を確立することが可能であり、仕様が正確である限りスマートコントラクトも正確である。これにより、スマートコントラクトで多くの一般的なバグが排除されます。 しかし、これは、スマートコントラクトが「期待通り」に動作することを意味するものではなく、正式な検証で表現されている内容と一致することを意味します。Ethereumもまた、Solidityコントラクトの正式な検証に取り組んでいます。Tezosのスマートコントラクトが必要とする正式な検証は、スマートコントラクトのプログラミング言語のパラダイムの選択肢に基づいて、開発者が書くことは間違いなく簡単ですが、十分にテストされていません。

Tezos(テゾス)の特徴.6

Scalable Zero Knowledge Proofs TezosチームはZcashのゼロ知識証明プロトコルをいくつかのマイナーリビジョンで実装する予定です。ゼロ知識証明を解決するためのネットワークリソースを規制し、プルーフ回路のバグによって引き起こされるハイパーインフレのZcashのリスクを軽減するために、ゼロ知識証明(および複雑なスマートコントラクト)の使用は、特殊なサーバ上で実行されるか、コンセンサスノードではなくユーザが所有するハードウェアを使用します。さらに、ゼロ知識証明の使用は、Tezosブロックチェーンで発行される特別なトークン「Tez」に限定されます。このトークンは、1対1で償還されます。最終的に、TezosはSTARKに切り替える予定です プロトコルは、SNARKに似ていますが、リソースの消費が少なく、信頼できるセットアップを必要としません。 長期のブロックチェーンスケーラビリティのために、Tezosはシャーディング(eg Ethereum)や並列処理(EOSなど)といった他の一般的なソリューションとは異なるアプローチを採用しています。Tezosはスマートコントラクトの実行のためにZcashによって普及されたゼロ知識証明の概念を使用する予定です。これがうまくいく方法は、スマートコントラクトの実行とコンセンサスノードによる検証(Ethereumのための鉱夫、Tezosのためのステークノードの委任証明)を分離することです。 これにより、スマートコントラクトの実際の実行を、より集中的な方法(複雑なスマートコントラクトのための特殊なサーバー)で行うことができますが、コンセンサスノードは実行が実際に有効であることを検証します。すると、共通ノードに対する負荷が大幅に軽減されます。これは、証明を検証し、スマートコントラクト全体を実行する必要がないためです。これは、コンセンサスノードが悪意のある者によって提示された無効な実行を拒否するため、スマートコントラクトの分散化プロパティも保持します。 このスケーリングの方法のメリットは、複雑なスマートコントラクトに対して、より効果を発揮する点です。コンセンサスノードの観点から見ると、スマートコントラクトの複雑さは、パフォーマンスやコンピューティングパワー要件に影響を与えません。コンセンサスノードは、実行された実行証明を単純に処理し、スマートコントラクトの実行は、ユーザのコンピュータ上または特殊なハードウェア上で行われる。これが計画どおりに機能する場合、Tezosは理論的にはスマートコントラクトの実行のためのガス費用を排除し、スマートコントラクトのために提出された証明書の取引と検証のための定額料金でこれを置き換えることができます。これは、規模の異なる分散アプリケーションを実行するほうがずっと安いでしょう。

トークンの役割

Tezosトークンは、Tezosのネイティブブロックチェーントークンです。EthereumのETHに似ていますが、それは価値のあるものであり、取引手数料を払う唯一の手段であり、スマートコントラクトに燃料を供給する手段です。 Tezosはステークチェーンの証拠であるため、トークンはコンセンサスノードによってステーキングの権利を購入するために使用され、メイティング報酬を計算する際の要素としても使用されます。 最後に、トークンは投票プロパティを持ち、トークンごとに単一の投票権を保有者に付与します。投票は、承認または不承認のためにキャストすることができます。
検索

チャート

チャート一覧

Twitter