テゾス(TEZOS)


Tezosは、キャップのないトークンセールを介して開始された新しいブロックチェーンです。Ethereumと同様に、TezosはTuringの完全なスマートな契約をサポートしています。しかし、それは、合意アルゴリズム、ガバナンスメカニズム、およびスマート契約プログラミング言語の使用において、エテリアムとは異なります。Tezosの公式の資料で強調されている主な機能のいくつかは次のとおりです。

Delegated proof of stake:Tezosは、コンセンサスアルゴリズムにDelegated proof of stakeを使用します。

コンセンサスのために、Tezosは委任されたステーク・アルゴリズムの証明を使用します。これは当初Bitsharesで開発されましたが、Lisk、Steemit、EOS(まだリリースされていません)を含むいくつかのプロジェクトで使用されています。テゾスの適応は、代表者の数に上限がないという点で、よりよく知られているDPoSとは異なります。誰でも代議員になり、委任によって直接コンセンサスに貢献することができます。ユーザーはトークンを他のユーザーに委任することもできます。

完全なコンセンサスノードとして機能することに加えて、ユーザーは署名者になり、完成したブロックでサインオフする報酬を得ることができます。これにより、フォーク攻撃に対する防御層が追加されます。悪意のあるノードは、結託された署名ノードを制御しない限り、秘密のチェーンを構築することはできません。ホワイトペーパーでは、署名者ノードとしての役割を果たすための正確な要件は不明瞭であり、改訂の対象となっています。

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

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

Onchainガバナンスとネイティブ資金:Tezosには、プロトコル開発に資金を提供する仕組みがあります。Tezosトークン所有者は、これらの支払いに投票して承認することができます。これはBitsharesが開発資金をどのように調達するかと同様です。Tezosには、トークン所有者がプロトコルを「アップグレード」できるようにするガバナンス構造もあり、新しいプロトコルの変更を組み込むのが容易になります。

テゾスのピッチの大部分は、チェーン上のガバナンス構造です。他のいくつかのブロックチェーンには、Bitsharesなどの投票によるガバナンスもあります。しかし、Tezosでは、ブロックチェインパラメータが変更の度にアップしています。チームはこれにより、トークン所有者の希望に基づいてプロトコルを柔軟に変更し、採用することが可能になると考えています(Bitcoinの問題を解決し、他のステークホルダーが同意した変更を防ぐことができます)。Tezosは、ガバナンスを「自己修正型」と表現しています。なぜなら、株主が承認したプロトコルは自動的に実装されるからです。トークン所有者は、理論上、オン・チェーン・ガバナンスを通じてあらゆる問題に対処し、アップグレードすることができます。

この目標が地方分権化を失うことなくいかに現実的であるかはまだ分かりません。有権者の無関心は、これらのタイプの投票スキームの既知の問題であり、実際には、いくつかの主要プレーヤーが進化の方向に影響を与える可能性があります。On-chainガバナンスは、多くのブロックチェーンにとって継続的な検討事項であり、Dfinity、Qtum、およびCosmosを含むいくつかのフォームが実装されています。

正式な検証:Tezosはスマートな契約のためにできるだけ簡単に正式な検証をしようとしています。そのために、チームは、EOSのスマートな契約のための純粋に機能的なプログラミング言語であるMichelson(ForthとLispのミックスと記述)を発明しました。Tezos自体はOCamlで実装されています。OCamlは主に、ヘッジファンドJane Streetによって金融業界で一般化された機能的言語です。

スマートコントラクト開発の中心に正式な検証を置くことは、Tezosチームによる別の動きです。正式な検証は、スマートコントラクトが、少なくともそれがどのようにプログラムされているかに応じて、何が想定されているかを何らかの数学的に保証します。これは通常、指定された仕様と同等であることが証明できるスマートコントラクトの抽象的な数理モデルを作成することによって行われます。したがって、スマート契約と仕様との間の同等性を確立することが可能であり、仕様が正確である限りスマート契約も正確である。これにより、スマートな契約で多くの一般的なバグが排除されます。

しかし、これは、スマート契約が「期待通り」に動作することを意味するものではなく、正式な検証で表現されている内容と一致することを意味します。Ethereumもまた、Solidity契約の正式な検証に取り組んでいます。Tezosのスマートコントラクトが必要とする正式な検証は、スマートコントラクトのプログラミング言語のパラダイムの選択肢に基づいて、開発者が書くことは間違いなく簡単ですが、十分にテストされていません。

Scalable Zero Knowledge Proofs :TezosチームはZcashのゼロ知識証明プロトコルをいくつかのマイナーリビジョンで実装する予定です。ゼロ知識プルーフを解決するためのネットワークリソースを規制し、プルーフ回路のバグによって引き起こされるハイパーインフレのZcashのリスクを軽減するために、ゼロ知識プルーフ(および複雑なスマートコントラクト)の使用は、特殊なサーバ上で実行されるか、コンセンサスノードではなくユーザが所有するハードウェアを使用します。さらに、ゼロ知識プルーフの使用は、Tezosブロックチェーンで発行される特別なトークンに限定されます。このトークンは、TEZで1対1で償還されます。最終的に、TezosはSTARKに切り替える予定です プロトコルは、SNARKに似ていますが、リソースの消費が少なく、信頼できるセットアップを必要としません。

長期のブロックチェーンスケーラビリティのために、Tezosはシャーディング(eg Ethereum)や並列処理(EOSなど)といった他の一般的なソリューションとは異なるアプローチを採用しています。Tezosはスマート契約の実行のためにZcashによって普及されたZero Knowledge Proofの概念を使用する予定です。これがうまくいく方法は、スマートコントラクトの実行とコンセンサスノードによる検証(Ethereumのための鉱夫、Tezosのためのステークノードの委任証明)を分離することです。

これにより、スマートコントラクトの実際の実行を、より集中的な方法(複雑なスマートコントラクトのための特殊なサーバー)で行うことができますが、コンセンサスノードは実行が実際に有効であることを検証します。これにより、共通ノードに対する負荷が大幅に軽減されます。これは、証明を検証し、スマートコントラクト全体を実行する必要がないためです。これは、コンセンサスノードが悪意のある俳優によって提示された無効な実行を拒否するため、スマートコントラクトの分散化プロパティも保持します。

このスケーリングの方法のメリットは、複雑なスマートコントラクトの方がより効果的です。コンセンサスノードの観点から見ると、スマートコントラクトの複雑さは、パフォーマンスやコンピューティングパワー要件に影響を与えません。コンセンサスノードは、実行された実行証明を単純に処理し、スマートコントラクトの実行は、ユーザのコンピュータ上または特殊なハードウェア上で行われる。これが計画どおりに機能する場合、Tezosは理論的にはスマート契約の実行のためのガス費用を排除し、スマート契約のために提出された証明書の取引と検証のための定額料金でこれを置き換えることができます。これは、規模の異なる分散アプリケーションを実行するほうがずっと安いでしょう。

トークンの役割
Tezosトークンは、Tezosのネイティブブロックチェイントークンです。Ethereum’s Etherに似ていますが、それは価値のある店であり、取引手数料を払う唯一の手段であり、スマートな契約に燃料を供給する手段です。

Tezosはステークチェーンの証拠であるため、トークンはコンセンサスノードによってステーキング債を購入するために使用され、メイティング報酬を計算する際の要素としても使用されます。

最後に、トークンは投票プロパティを持ち、トークンごとに単一の投票権を保有者に付与します。投票は、承認または不承認のためにキャストすることができます