ZeroSync

ZeroSync is a project focused on applying zero-knowledge proofs (ZK) to Bitcoin. Its core business includes: 1) generating STARK proofs for the Bitcoin blockchain, enabling full nodes to sync without downloading all block data, as a concise proof suffices to confirm chain state; 2) developing BitVM, a paradigm for arbitrary computation on Bitcoin, allowing trust-minimized bridges and layer-2 solutions; 3) launching zkCoins, which leverages ZK to enable private transactions and higher throughput on Bitcoin.

The core competitiveness lies in using recursive STARK proofs to compress blockchain data, reducing hundreds of gigabytes of block data to a proof of tens of bytes while maintaining security. BitVM optimizes the verification logic of Bitcoin scripts, enabling complex computations to be verified on Bitcoin, thus expanding its functionality.

Market pain points include: Bitcoin full node sync requires downloading ~500GB of data, which is time-consuming and storage-intensive; transactions lack privacy; and base-layer throughput is limited. ZeroSync addresses these via ZK: fast node sync, transaction privacy, and scalability through layer-2 solutions.

Regarding development in the past six months (Feb 28, 2026 – Aug 29, 2026): no major verifiable progress has been publicly disclosed. Earlier (March 2025), a proof-of-concept for zkCoins and the first implementation of a BitVM bridge were completed, but no new milestones were announced in this period.