ZeroSync Association develops public goods for applying proof systems to Bitcoin through research and open-source software. Its work includes chain-state proofs for fast Bitcoin node synchronization, BitVM for arbitrary computation and trust-minimized Bitcoin bridges, and zkCoins and related privacy-focused payment research. It also provides developer tooling for integrating zero-knowledge proofs into Bitcoin protocols, applications, and services, and works toward integration of a ZKP verifier into Bitcoin’s main layer.
