ZeroSync

ZeroSync 是一個專注於將零知識證明（ZK）應用於比特幣的專案。其核心業務包括：1）為比特幣區塊鏈生成 STARK 證明，使全節點無需下載所有區塊數據即可同步，因為簡潔的證明足以確認鏈狀態；2）開發 BitVM，這是一種在比特幣上進行任意計算的範式，可實現信任最小化的橋接與二層解決方案；3）推出 zkCoins，利用 ZK 實現比特幣上的隱私交易與更高吞吐量。 核心競爭力在於使用遞迴 STARK 證明壓縮區塊鏈數據，將數百 GB 的區塊數據縮減為數十位元組的證明，同時維持安全性。BitVM 優化比特幣腳本的驗證邏輯，使複雜計算能在比特幣上被驗證，從而擴展其功能。 市場痛點包括：比特幣全節點同步需下載約 500GB 數據，耗時且佔用儲存空間；交易缺乏隱私；基礎層吞吐量有限。ZeroSync 透過 ZK 解決這些問題：快速節點同步、交易隱私，以及透過二層解決方案實現可擴展性。 關於過去六個月（2026 年 2 月 28 日至 2026 年 8 月 29 日）的發展：未公開揭露任何重大可驗證進展。更早之前（2025 年 3 月），zkCoins 的概念驗證與 BitVM 橋接的首次實作已完成，但此期間未宣布新的里程碑。