總部位於瑞士的非營利組織 ZeroSync Association 率先使用零知識證明 (ZK -proofs）用於驗證比特幣網絡。 ZeroSync 的開源工具允許用戶驗證比特幣網絡的狀態，而無需下載整個區塊鍊或信任第三方進行驗證。
該組織正在開發和維護能夠在比特幣區塊鏈上實現簡潔 ZK 證明的軟件。該小組使用 StarkWare 專有的零知識可擴展透明知識論證 (zk-STARK) 有效性證明為比特幣網絡生成簡潔的 ZK 證明。
ZeroSync 使用 ZK 證明有望徹底改革比特幣區塊鏈的驗證過程。節點運營商目前必須下載大量數據才能同步比特幣網絡的正確狀態。然而，通過 ZK 證明，ZeroSync 的目標是生成有效證明並幾乎在瞬間驗證區塊鏈的最新狀態。
雖然 ZK 證明對以太坊生態系統來說是一個啟示，為多個第 2 層擴展平台提供支持， ZeroSync 的公告通過提供“幾乎固定大小”的證明來驗證大型計算，強調了 ZK 證明對區塊鏈可擴展性和隱私的承諾。
ZeroSync 率先在比特幣網絡中應用零知識證明，該組織描述了比特幣的相對簡單性和未花費交易輸出（UTXO）模型作為應用遞歸證明的獨特價值主張。 ZeroSync 指出，ZK-Proof 工具不需要比特幣網絡及其用戶的共識更改或額外的信任假設。
該組織正在構建一個軟件開發工具包，允許開發人員為特定用例生成自定義有效性證明無需深入的領域專業知識。該工具包將使用戶能夠針對特定用例實施 ZK 證明，同時確保與比特幣的規則和法規兼容。
ZeroSync 的工具目前處於原型狀態，但能夠證明單個假定有效塊的有效性，它驗證除腳本之外的所有比特幣規則。該團隊還有一個可運行的瀏覽器內演示驗證器，用於比特幣塊的 STARK 證明。
ZeroSync 使用由 StarkWare 開創的 Cairo 編程語言來創建 STARK 可證明的計算程序。該組織正在構建一個用於快速初始塊下載的客戶端，並實施第一個完整的比特幣共識證明。該客戶端將允許用戶在不更改比特幣核心代碼的情況下同步完整節點。
Geometry 和 StarkWare 最初資助了 ZeroSync 協會，但該組織正在建立一個非營利實體以實現持續發展以及比特幣社區利益相關者的維護。
總體而言，ZeroSync 的工具將徹底改變比特幣區塊鏈的驗證過程，將 ZK 證明推向前沿的比特幣生態系統。 ZK 證明的使用將使比特幣用戶能夠更有效、更安全地驗證網絡狀態，而無需信任第三方驗證者。