Performances
RD Popularity Index
RD Growth Index
Comparison
Follow Updates
Follow Lists
People
About ZeroSync
ZeroSync is a Swiss non-profit association focused on Bitcoin zero-knowledge public goods, with work spanning chain-state proofs, BitVM and zkCoins. It recursively proves Bitcoin's header chain with Cairo and STARKs and compresses chain state using Utreexo UTXO commitments; zkCoins combines client-side validation with SNARKs to hide the link between amounts and addresses. The pain point is that full nodes must download hundreds of gigabytes and sync slowly, while light clients have to trust a third party.
The association releases provers and verifiers as open source, and the code is reused by outside projects such as BitVM bridges. A third-party technical review in April 2026 confirmed zkCoins still had no production release, and the History page last listed the March 2025 zkCoins proof of concept and the first BitVM bridge implementation; the repository README states the code still contains serious security flaws.
In April 2026, ZeroSync passed a full Zellic audit of its BitVM2 implementation, leaving SNARK verification ready for Bitcoin mainnet deployment. The project also shipped the first STARK-based Bitcoin header-chain client, letting light clients verify transaction inclusion near-instantly from a header-chain proof without downloading the chain or trusting a third party. ZeroSync keeps driving the BitVM Alliance standard and the zkCoins protocol, targeting 100+ private BTC transactions per second.
ZeroSync's research spans BitVM2/3, remote staking, ShieldedCSV and Dark Skippy, with collaborators including Blockstream and TU Vienna. A zkCoins proof of concept landed in March 2025, and 2026 has seen continued papers on ZK light clients and privacy-preserving rollups.
Future strategy and roadmap: On the roadmap, ZeroSync will deploy the SNARK verifier to Bitcoin mainnet, mature zkCoins toward production, and advance FHE / client-side verification and BitVM bridges so BTC can move trustlessly to layer-2s, turning Bitcoin into a scalable, private settlement layer.
Robin Linus — Co-founder & project lead; author of the BitVM whitepaper; PhD student in Electrical Engineering at Stanford; joined in July 2022.
Lukas George — Co-founder; computer science at TU Berlin; started the project with a bachelor's thesis proving Bitcoin's header chain in STARK.
Giacomo Zucco — Co-founded the ZeroSync Association in Switzerland; co-author of the RGB protocol.
Max Gillett — Core developer; author of the Giza prover; built the STARK verifier in Cairo.
Andrew Milson — Core developer; author of the miniSTARK prover.