L2BEAT の別のステージ 2 🟢 ロールアップ!💗 ベースシーケンシングとマルチブリッジングを使用してOP-Sucincnt上に構築された@0xFacetベースのロールアップを紹介します。 どのように機能しますか?👇

ファセットは、トランザクションの順序が完全にイーサリアム L1 によって決定されるベースのシーケンス モデルを使用します。ユーザーは、RLP コールデータとしてエンコードされたトランザクション情報を使用して、イーサリアム上の不変アドレスにトランザクションを送信します。

ファセット ブロックは、イーサリアムがこれらのトランザクションを含む正確な順序を保持します。さらに、L1 スマート コントラクトは、イベント データ ペイロードに同じ RLP でエンコードされたトランザクション データを含むファセット イベント署名を使用してイベントを発行することで、ファセット トランザクションを作成できます。

ファセットは、楽観的な提案とボンドをZK妥当性証明と組み合わせたデュアルトラック証明システムを実装しています。このシステムでは、ZK 証明を提供することで、7 日間の不正防止ウィンドウを回避できます。

このシステムは、ホワイトリストに登録された提案者が時間枠内に異議を申し立てることができるETHボンドでステートルートを提出する楽観的なトラックと、誰でも直接ZK証明を提出して即時解決できる有効性証明トラックの2つの並行トラックで運営されています。

妥当性証明は楽観的な流れをバイパスし、同じ状態ルートを同時に対象とする複数の誤った楽観的な提案を無効にすることができます。楽観的な提案が異議を唱えられた場合、提案者は証明ウィンドウ内で ZK 証明を提供することで自分の主張を擁護する必要があります。

このシステムは、@SuccinctLabs SP1 zkVM と Prover Network を使用して、L2 の状態遷移を検証するゼロ知識証明を生成します。誰でもロールアップ コントラクトの proveBlock() 関数を通じて有効性証明を送信して、楽観的なフローをバイパスしてアンカー ブロックを決済できます。

トランザクションをシーケンスしたり、ブロックを生成したりする特権エンティティはありません。このアクティビティはパーミッションレスで、誰でも参加できます。

システムの状態は基盤となるホスト チェーンで送信されたトランザクションに基づいており、誰でもそこでトランザクションを送信できるため、ユーザーはホスト チェーン上の EOA 受信トレイと直接対話することで検閲を回避できます。

Facet は正規ブリッジを指定せず、資産の入出金に同じロールアップ状態を使用する複数のブリッジをデプロイできます。

各ブリッジには L2 上に独自のスマート コントラクト対応物があり、異なるブリッジを介してブリッジされた同じ L1 トークンは、異なる L2 トークン表現になります。

Facet はネイティブ ガス トークンとして FCT を使用しており、事前に鋳造されるのではなく、L1 ガス消費によって鋳造されます。FCT の発行は、イーサリアム トランザクションで calldata ガスを支払うために燃やされた L1 ETH の量に直接関係しています。

🔍 Facet の詳細については、プロジェクト ページをご覧ください。