看到一些評論，我意識到可能對這意味著什麼存在一些困惑或誤解。我確認並重申，這是一個令人難以置信的表現，今天世界上沒有其他證明系統能夠以如此高的成本效率、無信任性和健全性實現這樣的成就。我們正在推動ZK技術的邊界，使比特幣的歷史以以前無法想像的方式可驗證。 首先，一些評論暗示了諷刺，比如：“他們把時間縮短到6.5小時”，暗示這很慢或不夠令人印象深刻。嗯，我認為這裡有很大的誤解！6.5小時是生成整個鏈的完整遞歸證明的時間。這僅僅是由一台機器完成（我們正在優化以進一步降低成本）。 讓我們關注真正的事情 => 驗證只需50-100毫秒，即使在手機等小設備上也是如此。這不是證明時間的問題，而是STARKs提供的不對稱性：證明是計算密集型的，但只需一次；驗證則快速且無限擴展。當我們努力能夠證明完整的區塊執行（腳本、交易等）時，整個鏈的驗證仍將保持在~100毫秒。這才是改變遊戲規則的關鍵！ 下一個要素：“證明不驗證。”實際上，驗證證明確實是驗證！與其重新執行所有內容（緩慢的傳統方式），不如驗證STARK證明，它在密碼學上保證相同的結果，但速度快得多，計算量更少。這就像將驗證壓縮成一個小而高效的檢查，而不犧牲安全性。 進一步解釋，這裡是我們壓縮SPV證明的高層工作流程（通過Cairo+Stwo使用STARKs）： - 批量執行：執行者處理比特幣區塊頭的批次（例如，1-10k，然後10k-20k），使用引導加載程序和假設有效的Cairo程序，生成跟蹤和執行輸入。 - 證明生成：證明者創建一個STARK證明，證明在這些區塊頭上正確執行了區塊驗證邏輯。 - 驗證：壓縮證明 + 當前鏈狀態 + MMR根發送到鏈上/鏈下驗證者，可信地確認：所有區塊頭的有效性和鏈接回創世區塊。 * 目標區塊的包含（通過MMR證明）。 * 足夠的累積難度/工作量。 * 正確的時間戳和共識規則。 * 目標交易的包含（通過Merkle/SPV證明）。 更多細節請見： 以及主要Cairo程序的實現：