すべての人へ / 仕組み
信頼モデル
信頼モデルを抜きにした仕組みの説明はマーケティングです。このページは Pickle のユーザーが何に依拠しているかを述べ、チェーンがそれ以上の何かを自称できるようになる前に必要な三つの性質を挙げます。
ユーザーが依拠するもの
一つのチームが動かす一台のコンピューターが、チェーン上で何がどの順序で起きるかを決めます。それが誠実で電源が入っていれば、すべてが動きます。もし悪意を持てば、自分の行動を先に置いたり、あなたのものを外したり、完全に止まったりでき、ネットワーク上の何もそれを止めません。できないのは、見つからずに過去について嘘をつくことです。すべてのブロックの写しが Ethereum に行き、誰でもそれを再生して違いを見ることができます。見つかることは防がれることと同じではなく、それに自動的に対処するものはありません。
ユーザーは運営者の誠実さと、それを検証するのに必要なデータが公開されているという事実に依拠します。一つのシーケンサーがすべてのトランザクションを順序付け、並べ替えや検閲ができます。Ethereum からの強制インクルージョンの経路はありません。不正証明や有効性証明はなく、正しさは再実行で検証され、公開データとコミットされたブロックハッシュの間の乖離を見つけたレプリカは停止しますが、その乖離をオンチェーンで裁定するものは何もありません。これを意味あるものにしているのはデータです。チェーンを再構築するのに必要なすべてが Ethereum 上にあるか、Ethereum からコミットされています。
単一のシーケンサーが順序付けと稼働性を握ります。その鍵はオンチェーンのレジストリに保持され、次のブロックから有効となる形でローテーションできます。L1 に強制インクルージョンのキューはありません。正しさは再実行です。レプリカはインボックス契約のイベントとペイロードから導出し、ハッシュの不一致はレプリカにとって終端的で、オンチェーンでは裁定されません。後のブロックが矛盾した署名付きミニブロックは証拠となり、設計はその証拠を記録しますが、まだそれに基づいて行動はしません。バッチャー鍵とメッセンジャー鍵は別々であることが起動時に強制され、メッセージ識別子は発生元イベントから導出されファイナライズ時に一度記録されるので、メッセンジャーは偽造も再生もできません。
順序付け、稼働性、正しさ、データ、ブリッジ
| 性質 | 誰が、または何が |
|---|---|
| 順序付け | 一つのシーケンサー並べ替えも検閲もできます。Ethereum からの強制インクルージョンの経路はありません |
| 稼働性 | シーケンサーのもの止まればミニブロックが止まり、チェーンは新規の実行を停止します。レプリカは導出済みの履歴を提供し続けます |
| 正しさ | 再実行による検証不正証明や有効性証明はありません。レプリカは乖離を検知して停止しますが、オンチェーンで裁定するものはありません |
| データ | Ethereum 上にあるか、そこからコミットされているチェーンを再構築するのに必要なすべてが公開されています |
| ブリッジ | 信頼されたメッセンジャー鍵メッセージの偽造や再生はできませんが、遅延させることはできます |
- 順序付け。一つのシーケンサーがすべてのトランザクションを順序付けます。並べ替えも検閲もできます。シーケンサーが拒否したトランザクションを Ethereum から取り込ませる強制インクルージョンの経路はありません。
- 稼働性。シーケンサーが止まれば、ミニブロックが止まり、チェーンは新規の実行を停止します。レプリカは導出済みの履歴を提供し続けます。シーケンサー鍵はオンチェーンのレジストリに保持され、次のブロックから有効となる形でローテーションできます。
- 正しさ。不正証明や有効性証明はありません。正しさは再実行で検証されます。どのレプリカも公開データとコミットされたブロックハッシュの間の乖離を検知でき、検知すれば停止します。そのような乖離をオンチェーンで裁定するものは何もありません。後のブロックが矛盾した署名付きミニブロックは証拠となり、設計はその証拠を記録しますが、まだそれに基づいて行動はしません。
- データ。チェーンを再構築するのに必要なすべてが、Ethereum 上にあるか、Ethereum からコミットされています。これが前の点を意味あるものにしている性質です。
- ブリッジ。ブリッジのメッセンジャーは信頼された鍵です。識別子は発生元イベントから導出されファイナライズ時に一度記録されるので、メッセージの偽造や再生はできませんが、遅延させることはできます。バッチャー鍵とメッセンジャー鍵は別々であることが起動時に強制されます。
鍵
- シーケンサー鍵はミニブロックに署名し、運営者の身元です。オンチェーンのレジストリにあり、一ブロックの予告でローテーションします。
- バッチャー鍵は、Ethereum のインボックス契約が追記を受け付ける唯一のアドレスです。侵害されたバッチャーは投稿を止めることができ、それは決済を滞らせますが、レプリカが受け入れるペイロードを偽造することはできません。ハッシュが一致しないからです。
- メッセンジャー鍵は双方向のブリッジ転送をファイナライズします。遅延させることはできますが、コントラクトが発行していないメッセージを作り出すことも、すでに処理されたメッセージを再生することもできません。
非中央集権に必要な条件
Pickle は自らを非中央集権という言葉で表現しません
そう呼べるようになる前に満たされていなければならない具体的な性質は次のとおりです。シーケンサーの冗長化とローテーションによって、単一の運営者の稼働性がチェーンの稼働性でなくなること。Ethereum からの強制インクルージョンの経路によって、単一の運営者が検閲できなくなること。そして異議申し立てまたは証明の経路によって、レプリカが検知した乖離が単に報告されるだけでなく裁定されること。
この三つがすべて満たされるまで、ユーザーは運営者の誠実さと、それを検証するのに必要な公開データに依拠します。ガバナンスのページが、設計が実際に備えている攻撃耐性と、その限界を列挙しています。