イーサリアム レイヤー 2 拡張、なぜ V 神は ZK ロールアップを好むのですか?
編集者注: この記事は以下から引用しましたバビット情報（ID：bitcoin8btc）編集者注: この記事は以下から引用しました
バビット情報（ID：bitcoin8btc）
バビット情報（ID：bitcoin8btc）
、著者：Vitalik Buterin、翻訳：無料で簡単、許可を得て公開。
多くのブロックチェーン アプリケーションの最も価値のある機能の 1 つはトラストレス性です。アプリケーションは、特定のアクターによる特定の動作に依存することなく、意図した方法で機能し続けることができます (たとえ、アクターの関心が変化し、別の動作をするように促されても)。将来的には予想外の方法で）。ブロックチェーン アプリケーションは決して完全にトラストレスではありませんが、一部のアプリケーションは他のアプリケーションよりもトラストレスに近いものがあります。信頼を最小化する方向に進む場合は、さまざまなレベルの信頼を比較できる必要があります。
まず、信頼の私の簡単な定義は次のとおりです。信頼とは、他人の行動についてのあらゆる仮定を行使することです。パンデミックが発生する前は、見知らぬ人から2メートルの距離を保つことを確認せずに通りを歩いていても、彼らが突然ナイフを取り出して刺したりすることはないだろう。それは信頼の問題だった。双方とも、人々はめったに人を刺さないと信じていた。法制度を運営する人々がそのような行為に対して強力な措置を提供し続けると信じるのは完全に狂気です。他の人が書いたコードを実行するときは、その人が（良識や評判を維持するための経済的利益から）正直にコードを書いたか、少なくとも十分な数の人がそれをチェックして次のことがわかったと信頼できます。抜け穴。自分で食物を栽培しないことも信頼の行為です。十分な数の人が食物を栽培してあなたに販売できるようにすることが自分たちの利益になると認識してくれると信頼する必要があります。さまざまな大きさの人を信頼できますし、さまざまな種類の信頼があります。
ブロックチェーン プロトコルを分析する場合、私は信頼を 4 つの側面に分割することがよくあります。
あなたの期待通りに行動するには何人の人が必要ですか?
何人ですか？
このような人々が行動するにはどのような動機が必要でしょうか?彼らには利他主義が必要なのでしょうか、それともただ利益を求めているのでしょうか？調整が必要ですか?
これらの仮定が破られた場合、システムはどの程度障害を起こすでしょうか?
ここで、最初の 2 つに焦点を当てて、グラフを描くことができます。
写真の色が緑色であるほど良いです。信頼カテゴリをさらに詳しく見てみましょう。
1/1: アクターは 1 つだけであり、システムはそのアクターが期待どおりに動作する場合にのみ適切に動作します。これは従来の「集中型」モデルであり、私たちが置き換えようとしているものです。
N of N: ディストピアの世界では、大勢のアクターに依存しており、すべてが機能するには全員が期待どおりに動作する必要があり、そのうちの 1 人が失敗した場合、代替要員が存在しないことを意味します。N/2/N: これがブロックチェーンの仕組みです。マイナー (または PoS バリデーター) の大多数が正直であれば、ブロックチェーンは機能します。 N が大きくなるほど、N の N/2 の価値が高くなることに注意してください。少数のマイナー/バリデーターがネットワークを支配しているブロックチェーンは、マイナー/バリデーターが広範囲に分散しているブロックチェーンよりも興味深いものではありません。そうは言っても、潜在的な 51% 攻撃に対するこのセキュリティ レベルをさらに高めたいと考えています。1/N: 多数の参加者がいますが、そのうちの少なくとも 1 人が期待どおりに動作する限り、システムは正常に動作します。不正証明に基づくシステムはすべて、信頼できる設定と同様にこのカテゴリに分類されますが、この場合、N は通常より小さくなります。 N をできるだけ大きくする必要があることに注意してください。
データの可用性チェック
とは別に"0 of N"はこのカテゴリーに当てはまります。"1 of N"とは別に"N/2 of N"または"1 of 1"以外のすべてのカテゴリのモデルは実際には「信頼」と見なされますが、それらは互いに大きく異なります。特定の人 (または組織) が期待どおりに機能することを信頼することは、どこかの誰かが期待どおりに機能することを信頼することとは大きく異なります。言えることは、"0 of N"よりも"1 of 1"または"few of N"に近い
。 「1-of-N」モデルは、あたかも 1 人の俳優を信頼しているかのように「1/1」モデルのように感じるかもしれませんが、「1-of-N」モデルでは現実はまったく異なります。一緒に作業しているアクターが消えたり、故障したりした場合は、作業中に別のアクターに切り替えることができます。
モデル システムでは、この状況が発生すると、システムが終了したことを意味します。特に、実行しているソフトウェアの正確性さえも、多くの場合、
モデルを信頼して、コードにバグがある場合、誰かがバグを見つけて修正してくれることを保証します。
もう 1 つの重要な違い: 信頼の前提が崩れた場合、システムはどのように失敗するでしょうか?ブロックチェーンで最も一般的な 2 つの種類の障害は、ライブネス障害とセキュリティ障害です。いわゆるライブネス障害とは、やりたいこと (コインの引き出し、ブロックに含まれるトランザクションの取得、ブロックチェーンからの情報の読み取りなど) が一時的にできないことを意味します。一方、セキュリティ障害は、システムが積極的に阻止しようとしている何らかのアクティビティが発生したときに発生します (ブロックチェーンに無効なブロックが含まれているなど)。
以下は、いくつかのブロックチェーン レイヤ 2 プロトコルの信頼モデルの例です。このうち、「スモール N」はレイヤー 2 システム自体の参加者の集合を指し、「ビッグ N」はブロックチェーンの参加者を指し、レイヤー 2 プロトコルのコミュニティは常にメインよりも小さいと仮定します。チェーンそのもの。また、「活性障害」という用語の使用は、コインが長時間滞留する状況に限定します。システムを使用することはできなくなりますが、ほぼすぐに取り出すことができる場合は、活動の失敗とはみなされません。
チャネル (ステートチャネルおよびライトニングネットワークを含む): ライブトラストは「1 of 1」モデルです (取引相手は資金を一時的に凍結できますが、このリスクは複数の取引相手にコインを分散させることで軽減できます)。セキュリティトラストは以下に属します。 「N/2 of big N」モデル (ブロックチェーンの 51% 攻撃によりコインが盗まれる可能性があります)。
プラズマ (集中管理されたオペレーターを想定): アクティブ トラストは「1 of 1」モデル (オペレーターは資金を一時的に凍結できます) に属し、セキュリティ トラストは「N/2 of big N」モデル (ブロックチェーン 51% 攻撃) に属します。
プラズマ (DPOS などの半分散型オペレーターを想定): アクティブ トラストは「N/2 of small N」モデルに属し、セキュリティ トラストは「N/2 of big N」モデルに属します。楽観的ロールアップ: アクティブな信頼は「1/1」または「小さい N の N/2」モデル (オペレーターのタイプに応じて) に属し、セキュリティ信頼は「大きい N の N/2」モデルに属します。ZK ロールアップ: アクティブなトラストは、「小さい N の 1」モデルに属します (オペレーターがトランザクションを含めることに失敗した場合、コインを引き出すことができます。オペレーターが直ちに引き出しを含めることに失敗した場合、追加のバッチを生成できません。任意のバッチを使用できます)自分で資金を引き出すためのロールアップ システムのフル ノード）、ZK ロールアップにはセキュリティ障害のリスクがありません。
ZKロールアップ（付き）光抽出の強化): アクティビティ障害のリスクもセキュリティ障害のリスクもありません。
最後に、インセンティブについての質問があります。あなたが信頼する参加者は、期待どおりに行動するには非常に利他的である必要がありますか、それともわずかに利他的である必要がありますか、それとも十分に合理的ですか?不正行為を発見すると、「デフォルト」がある程度利他的であることが証明されますが、どの程度利他的であるかは計算の複雑さに依存します (cf.
