🧵 @Agglayer v0.3 がリリースされました。 ほとんどの橋は、いまだに「私たちを信じてください」という雰囲気に依存しています。 このリリースでは、ついにモデルが反転します。 「橋を信用しないで、状態を確認してみて」 何が変わったのか、なぜそれが重要な👇のか、お話ししましょう

v0.3より前のAgglayerは、チェーン内で何が起こったかではなく、主にクロスチェーンメッセージの検証に重点を置いていました。 チェーンAがチェーンBに100USDCを送ったとします。旧モデルでは「100USDCを送るメッセージ」が渡されたことを確認しただけです。しかし、それは証明されませんでした。 - Chain Aが実際にウォレットから100 USDCを差し引いたかどうか - または、チェーンBが正しくトークンを鋳造したかどうか シーケンサーやブリッジロジックを信頼して、「正しいことを行う」としていたのです。 v0.3 では、Agglayer はこれらの内部ステップの完全な検証を追加します。次の点を確認します。 - チェーンAの状態遷移が有効であったこと(例:残高が差し引かれた) - チェーンBのブリッジの動作とクレームが実際に起こったことと一致していること もう盲目的な信頼はありません。今やすべてが証明可能です。

Agglayer v0.3は、悲観的な証明の大幅なアップグレードです。 核となるアイデアは?チェーンは、独自のルールに基づいて、独自のブロックを適切に確定したことを示す証明を添付するようになりました。 これを決済の #2FA のように考えてください: 1 つの要素は状態の差分、もう 1 つはブロックが正直に構築されたことの証明です。

Agglayer v0.3 のセキュリティは、次の 3 つのステップで強化されます。 1️⃣ 状態遷移証明は、それ自体の状態遷移を証明します(zk証明またはECDSAを介して) 2️(2) AggProver証明は、状態遷移証明とブリッジ制約(つまり、出口、ルート変更)を検証します 3️⃣ 最後に、全体が再実行されます。これにより、システム全体が検証可能になり、改ざんに強いものになります — 近道や信頼の仮定はありません。 各ステップはzkVMで実行され、@SuccinctLabs SP1を使用します。これは、チェーン状態のコミットメントごとに 3 つの SP1 プルーフです。トリプルトラスト! 信頼性が高く、モジュール式で、はるかに安全です。 各レイヤーを1つずつ説明しましょう。

ステップ1 — 状態遷移の証明 これは、各チェーンが独自の内部状態遷移が有効であることを証明します。 zkロールアップの場合は、完全な有効性証明(Plonky2/3、STARKなど)を生成します。 そうでない場合は、ECDSA を使用して新しい状態ルートに署名できます。 ここでの目標は、「これらの取引を処理し、自分の状態を正直に更新した」ことを証明することです。 この出力は、地域の状態の証明であり、橋についてはまだ何も述べておらず、内部の正確さだけを述べています。