Rollupsの分散化評価を標準化しています。今度はValidiumsとOptimiumsについても同じことをする時です。 紹介:Alt-DAステージフレームワーク - オフチェーンのデータ可用性システムが信頼を得るための構造化された道筋です。 フォーラム投稿+コミュニティフィードバックオープン 👇
簡単な背景説明:ロールアップではDAはL1上にあり、誰でもEthereumを読み、状態遷移を自分で検証できます。 ValidiumやOptimiumでは、DAはオフチェーンです。シーケンサーがデータを隠すと、不正証明は構築できず、Validiumユーザーは状態を再構築できなくなります。 これまでのところ、どのValidiumとOptimiumがEthereumのセキュリティや検閲耐性を適切に活用しているかを評価する明確な方法がエコシステムに欠けており、このフレームワークはそれを変えることを目指しています。 私たちの新しいフレームワークは、L2BEAT Stagesのアプローチを拡張し、Alt-DAシステムの評価に特化し、「評判ベースの」セキュリティと実際の分散化のギャップを埋めることを目的としています。 3つの段階を👇提案しています
舞台0⃣ 機能的な証明システムとオンチェーンのデコード可能なDAコミットメントが必要です。プルーフシステムがなければ、シーケンサーはすべてのことを信頼してしまいます。これにより攻撃対象が狭まり、データにアクセスできるたびに無効な状態遷移を検出できます。
舞台 1⃣ ここでの指針はこうです:バグ以外で資金を盗んだり引き出しを無期限にブロックしたりする方法は、(1) 安全保障理事会の≥75%を危険にさらして悪意あるアップグレードを推進するか、(2) シーケンサーがDA委員会と共謀してデータを隠し、無効な州ルートを確定することだけです。 つまり、定義的な要件はオンチェーン検証です。L1契約はDAの認証を必ず確認しなければなりません。これにより、ユーザーはDAレイヤーを実際に信頼でき、許可されたオペレーターなしで退出できます。ロールアップフレームワークで定義された出口ウィンドウおよび強制取引メカニズムの要件も適用されます。
舞台 2⃣ ここでの決定的なゲートは、DAが不正行為をすればスラッシュ可能なステーキング資産で裏付けられなければならないということです。これにより、真の経済的に安全な層が生まれ、オフチェーンDAシステムとして現在可能な最高標準となっています。それ以外は、ロールアップのフレームワーク要件が適用されます。
重要な注意点 ❗️ これらのステージは私たちのロールアップステージを反映していますが、同じではありません。Alt-DAシステムは本質的に追加の信頼仮定、すなわちDA層自体を担っています。ステージ2においても、Alt-DAシステムは経済的安全性を目指しており、絶対的な信頼なしを目指すわけではありません。
コミュニティ、開発者、研究者の皆様に要件のレビューと標準の洗練をご協力いただくことを歓迎します。🙏
1.84K