Hazync 的開發者報告稱，在區塊 1 到 1,789 之間實現了毫秒級驗證，而完整的全鏈（full-chain）證明攻關仍未完成。
Hazync 的開發者報告稱，一個 1.7 MB 的獨立驗證器在 27 毫秒內檢查了一個 226,434 字節的加密憑證，該憑證覆蓋了比特幣前 1,789 個區塊。8 月 15 日的披露將這一結果限制在比特幣歷史的早期階段。一個從創世（genesis）到最新區塊（tip）的完整證明攻關仍未完成。
Hazync 是一個研究原型，它使用 RISC Zero 的零知識虛擬機（zkVM）來讓比特幣驗證變得可複用。zkVM 會執行驗證程序，生成的憑證（receipt）讓其他用戶能夠用緊湊的文件來進行檢查。該開發者的設計將證明生成的工作集中在少數證明者（provers）身上，並把憑證驗證交給更大規模的用戶羣。
這兩項任務的成本差異巨大。開發者估算，用於歷史回填大約需要 17 個 GPU 年；隨後爲了跟上新出塊的節奏，需要相當於約 6 臺 Nvidia L40S GPU 的產能。便宜的收據檢查會在證明者、審計員和歸檔運維人員已在上游提供昂貴工作的之後到來。
公開的 Hazync 代碼庫描述了一個來賓程序：由從比特幣核心 v28 的共識代碼和 libsecp256k1 的重要部分構建而成，並針對 32 位 RISC-V 進行編譯。複用 Core 的代碼會減少需要在單獨電路中重新表述的共識行爲。
這一評估爲開發者估算從創世到頂點回填大約 17 個 GPU 年提供了依據。現有材料提供的是能夠代表項目基準的結果，而不是覆蓋比特幣歷史每個時期的經審計測量。因此，Hazync 的全鏈路性能在該行動完成之前仍是一個估計。
軟件變更也可能抹除已完成的工作。每一張 Hazync 收據都會提交一個 METHOD_ID，即已編譯來賓程序的指紋。新的來賓構建會獲得一個新的標識符，從而使更早的收據綁定到先前的版本。
項目在 8 月 4 日於內部審計迫使建立新的基線之後，重啓了其創世板。之後若再有健全性修復，可能在積累了更多 GPU 時間之後觸發同樣的重置。因此，證明預算涵蓋穩定代碼、歷史回填以及用於頂點的持續產能。
來賓程序本身包含一個重要的審查邊界：因爲大量 Core 共識代碼在其中運行，同時項目還提供了用於補貼計劃和腳本激活高度的維護切片。該項目表示，其腳本標誌計劃經過差分測試，作爲 Core 規則的可靠超集，從而允許在朝向預期用於維護健全性的方向上額外拒絕。
一個 C++ 可移植性層用於將 Core 適配到 zkVM；另一個非 Core 的 Utreexo 累加器用於提交對比特幣未花費交易輸出集合的變更。披露的假設也涵蓋 RISC Zero 的證明系統、SHA-256 和 secp256k1。Hazync 將可移植性“墊片”和累加器視爲其最高優先級的剩餘審查目標。
該代碼庫稱，8 月份有兩次藉助 AI 的外部審查，但未能找到讓來賓接受無效鏈路的路徑。委託的專業審計仍未完成。公開代碼使外部得以審查，而生產層面的保證仍取決於對確切來賓程序及其證明邊界內每個組件的對抗性檢驗。
Hazync 將無信任同步拆分爲多個任務，不同的操作者與預算。收據驗證在已證明的範圍內可達到毫秒級。生成證明會消耗 GPU 產能，歸檔運維人員保留底層數據，節點比較頂點，審計員評估來賓程序。
如果具備足夠計算能力並獲得外部審查，一個穩定實現可能減少在新節點上反覆進行驗證。在項目當前階段，開發者報告的 27 毫秒檢查覆蓋的是一段有限的主幹，而 17 個 GPU 年的估計描述了通往比特幣頂點尚未完成的路徑。