🧵 @Agglayer v0.3 已發佈。 大多數橋樑仍然依賴於 「只要相信我們 」的氛圍。 這個版本終於翻轉了模型： “不要相信 Bridge，驗證狀態。” 讓我向您介紹一下發生了什麼變化以及為什麼它很重要 👇

在 v0.3 之前，Agglayer 主要專注於驗證跨鏈消息，而不是鏈內發生的事情。 假設鏈 A 向鏈 B 發送 100 USDC。舊模型只是驗證了 「a message to send 100 USDC」 被傳遞了。但它並沒有證明： - Chain A 是否真的從您的錢包中扣除了 100 USDC - 或者 B 鏈是否正確鑄造了代幣 你相信 sequencer 或 bridge logic 會 “做正確的事情”。 在 v0.3 中，Agglayer 增加了對這些內部步驟的全面驗證。檢查： - 鏈 A 上的狀態轉換是否有效（例如，餘額被扣除） - 鏈 B 上的橋接行為和聲明與實際發生的情況相匹配 不再盲目信任。現在一切都是可以證明的。

Agglayer v0.3 是對悲觀證明的重大升級。 核心思想是什麼？鏈現在附加一個證明，表明他們已經根據自己的規則正確地完成了自己的區塊。 把它想像成結算的 #2FA：一個因素是狀態差異，第二個因素是證明區塊是誠實構建的。

Agglayer v0.3 的安全性通過三個步驟得到加強： 1️⃣ 狀態轉換證明證明自己的狀態轉換（通過 zk 證明或 ECDSA） 2️⃣ AggProver 證明驗證狀態轉換證明和橋接約束（即退出、根更改） 3️⃣ 最後，整個事情被重新執行。這使得整個系統可驗證且不可篡改 — 沒有捷徑，沒有信任假設。 每個步驟都在 zkVM 中執行，我們使用 @SuccinctLabs SP1！即每個鏈狀態承諾有 3 個 SP1 證明！三重信任！ 它是去信任的、模組化的，而且更安全。 讓我們一一解釋每一層：

第 1 步 — 狀態轉換證明這是每個鏈證明其自己的內部狀態轉換有效的地方。 如果你是一個 zk rollup，你會生成一個完整的有效性證明（例如，Plonky2/3、STARK 等）。 如果您不是，則可以使用ECDSA對新的狀態根進行簽名。 這裏的目標：證明“我誠實地處理了這些交易並更新了我的狀態”。 輸出是本地狀態的證明 — 它還沒有說明網橋，只是內部正確性。