比特幣的首個 ZK Rollup 上線即將來臨！ Sigma Prime (@sigp_io) 已經完成了對 Citrea 的 BitVM 基礎橋接 Clementine 的私密審計。這將是比特幣首個信任最小化的橋接，通往完全可編程的環境。 未發現任何關鍵漏洞 🧵

Sigma Prime 對 Clementine 進行了私密審計： • 簽署者實現：執行 BitVM 支出規則的實體。 • 操作員實現：尋求利潤的實體，促進提款。 • Musig2：在比特幣上構建多簽錢包。

• 樂觀比特幣輕客戶端：附加一個簡潔的 zk-SNARK 標頭鏈證明，顯示一個更重的鏈。這個證明成為挑戰的輸入。

在私人審計中共識別出36個問題： - 2個高風險 - 13個中風險 - 13個低風險 - 8個資訊性問題 所有問題均已由Citrea團隊成功解決。

在這裡找到完整報告：

透過Clementine，比特幣將擁有第一座橋樑，其規則由比特幣網絡強制執行，至少有一方誠實參與，通往一個可編程的全球平台。 Clementine將很快進入公開審計競賽階段。 敬請關注 🍊