Citrea 正在為比特幣建設首個 rollup。 我們獨特的代碼庫已經進行了審計。 Citrea 的 rollup 基礎設施的私人審計現在已由 Sigma Prime (@sigp_io) 完成。 未發現任何關鍵漏洞。 這是完整報告 🧵
Sigma Prime 進行了對 Citrea 的私密審計: • Bitcoin DA:一個專門的 DA 轉接器,用於 Bitcoin,構建和跟踪 Citrea 的承諾和證明 • Citrea STF:每個節點和證明者必須逐位重現的共識關鍵狀態轉換邏輯。
Sigma Prime 進行了對 Citrea 的私密審計: • EVM:Citrea 用於 STF 和電路的執行引擎。 • 輕客戶端證明電路:生成壓縮標頭、承諾和批量證明為一個輕客戶端證明的遞歸 SNARK。
在Sigma Prime的安全評估中,共識別出24個問題: - 5個高風險 - 6個中風險 - 4個低風險 - 9個資訊性問題 所有問題均已由Citrea團隊成功解決。
在這裡查看完整的審計報告:
Citrea 的 Rollup 基礎設施目前正在與 @cantinaxyz 進行公開審計競賽! 超過 $80,000 的獎勵等你來拿,活動持續到 8 月 15 日:
12.32K