Back to Organizations
ZeroSync Association
ZeroSync Association is a Swiss nonprofit developing open-source proof systems for Bitcoin. It researches and builds zero-knowledge technologies intended to improve Bitcoin’s scalability, accessibility, and privacy.
Zug, CH
Header Chain Verifier
Project Links
Description
Header Chain Verifier is a work-in-progress ZeroSync demo for instantly verifying Bitcoin’s header chain in a browser. It runs the miniSTARK verifier in WebAssembly to validate a recursive Bitcoin header-chain proof. The current prototype validates headers only, not transactions, and is intended to be updated with longer and more complete chain proofs as development progresses.Category: Developer Tooling
BitVM
Project Links
Description
BitVM enables smarter Bitcoin contracts by having a prover claim a computation result that anyone can challenge with a fraud proof. It is intended as a foundation for bridging BTC to second layers such as sidechains, rollups, and zkCoins. The project provides an official Rust implementation, developer preview, documentation, and research resources, and is developed as free and open-source software under the ZeroSync nonprofit organization.Category: Cross-chain Infrastructure