Hazync 的開發者報告稱,一個 1.7 MB 的獨立驗證器在 27 毫秒內檢查了一個 226,434 字節的加密收據,該收據涵蓋了比特幣的前 1,789 個區塊。8 月 15 日的披露將該結果限制在比特幣歷史的早期階段。一個完整的從創世到尖端的證明活動仍未完成。
Hazync 是一個研究原型,使用 RISC Zero 的零知識虛擬機(zkVM)使比特幣驗證可重用。zkVM 執行驗證程序,生成的收據為其他用戶提供了一個緊湊的文件以供檢查。開發者的設計將證明生成集中在證明者之間,並將收據驗證留給更大的人群。
這兩項工作具有截然不同的成本。開發者估計,歷史回填大約需要 17 年 GPU 時間,隨後需要相當於約六個 Nvidia L40S GPU 的容量來跟上新區塊的速度。在證明者、審計員和檔案操作員提供昂貴的上游工作後,便宜的收據檢查才會出現。
一個傳統的新比特幣節點獨立重播鏈。Hazync 在 zkVM 內運行比特幣的規則,證明這些規則接受了每個涵蓋的區塊,並將區塊證明遞歸折疊成一個收據。
公共的 Hazync 存儲庫描述了一個由比特幣核心 v28 的共識代碼和 libsecp256k1 的重要部分構建的客戶端程序,為 32 位 RISC-V 編譯。重用核心的代碼減少了需要在單獨電路中重新陳述的共識行為的數量。
區塊 741,000 的基準測試測量了最近比特幣數據的證明生成成本。開發者報告稱,該區塊包含 670 個輸入,並需要 394 個 UTXO 叶子。將其作為 16 個塊在兩個 L40S GPU 上證明大約花費了 55 分鐘,其中包括 27 分鐘的聚合時間。
該測量為開發者估計從創世到尖端的回填大約需要 17 年 GPU 時間提供了依據。可用的材料提供了代表性的項目基準,而不是跨越比特幣歷史每個時期的審計測量。因此,Hazync 的全鏈性能仍然是一個估計,直到該活動完成。
軟件變更也可能抹去已完成的工作。每個 Hazync 收據都承諾一個 METHOD_ID,這是編譯客戶端程序的指紋。新的客戶端構建會收到一個新的標識符,將早期的收據與先前的版本綁定在一起。
該項目在 8 月 4 日重新啟動了其創世板,因為內部審計迫使建立新的基線。稍後的健全性修復可能在累積了更多 GPU 時間後觸發相同的重置。因此,證明預算涵蓋穩定代碼、歷史回填和持續的尖端容量。
驗證速度是最終用戶可見的部分。17 年 GPU 時間的估計測量了產生該體驗所需的集中工業努力。
收據壓縮了有效性檢查。檔案操作員仍然提供交易可用性並保留歷史見證和簽名字節。未來的客戶端修訂需要這些字節來再次證明鏈,因此簡潔的驗證為檔案基礎設施保留了長期存儲的角色。
最佳鏈選擇仍然遵循比特幣的最大工作規則。Hazync 將累積工作放在收據的公共輸出中,為驗證者提供比較競爭尖端所需的值。收據確立了其鏈段的規則合規性;節點仍然選擇跟隨哪條有效鏈。
檔案橋還保留浪費證明者資源的能力。該項目聲明的組成規則將每個狀態邊界連接到創世釘,導致當收據加入脊樑時偽造狀態失敗。敵對橋接可以提供無法使用的輸入,消耗工作者的 GPU 時間,將可用性轉變為經濟拒絕服務風險。
開發者描述了一個由創世組成的證明,在 Hazync 的軟件和加密假設中是無條件的。稍後的檢查點作為明確的信任輸入進入系統。
客戶端本身包含一個重要的審查邊界,因為大量核心共識代碼在其中運行,並且項目維護的補貼計劃和腳本激活高度的切片也在其中。該項目表示,其腳本標誌計劃作為核心規則的健全超集進行差異測試,允許在旨在保持健全性的方向上額外拒絕。
C++ 可攜性層將核心適配到 zkVM,非核心的 Utreexo 累加器將變更提交到比特幣的未花費交易輸出集。披露的假設還涵蓋了 RISC Zero 的證明系統、SHA-256 和 secp256k1。Hazync 將可攜性填充和累加器確定為其最高優先級的剩餘審查目標。
該存儲庫報告了 8 月的兩次 AI 輔助外部審查,但未能找到客戶端接受無效鏈的路徑。一項委託的專業審計仍然懸而未決。公共代碼使外部審查成為可能,生產保證仍然依賴於對確切客戶端及其證明邊界內每個組件的對抗性檢查。
Hazync 將無信任同步分成幾個不同的操作員和預算的工作。收據驗證可以在經過證明的範圍內達到毫秒級。證明生成消耗 GPU 容量,檔案操作員保留底層數據,節點比較尖端,審計員評估客戶端。
一個穩定的實現,具備足夠的計算能力和外部審查,可能會減少新節點之間的重複驗證。在該項目的當前階段,開發者報告的 27 毫秒檢查涵蓋了一個有限的脊樑,而 17 年 GPU 時間的估計描述了通往比特幣尖端的未完成路徑。
本內容僅供參考,不構成任何金融、投資、法律或稅務建議。文中提及的任何活動、獎勵、線上活動或相關資訊,不應被視為對購買、出售或交易任何加密資產的推薦、招攬或邀請。加密資產具有高波動性,存在價值損失風險。WEEX服務、產品及相關活動的可用性可能因地區而異。用戶在參與前有責任確保符合當地適用法律法規。























