Citrea 的 ZK 電路是專為 Bitcoin 設計的，以實現： - 有助於礦工經濟的 Bitcoin 應用 - 由其網絡驗證的 Bitcoin 橋樑 🧵

Citrea 的電路同時證明了兩件事： • 執行證明（證明 Citrea 交易的正確性） • Bitcoin 區塊空間證明（為驗證橋接器 Clementine 生成 Citrea 的簡潔證明）。

執行證明： 對於每一批 Citrea 區塊，電路驗證所有交易執行和狀態轉換。 它輸出： • 初始和最終狀態根 • 狀態差異 • Citrea 知道的最後一個 Bitcoin 區塊哈希 然後將證明提交給 Bitcoin。

區塊空間證明： 該電路掃描 Bitcoin 區塊以驗證所有先前的 Citrea 執行證明和排序者承諾。 其功能是： • 提供完整 Citrea 歷史的單一證明

結果： 一個完全與 Bitcoin 對齊的應用層。