Discover · Independent · Swiss · Bitcoin
Bitcoin proof systems from Zug: reading ZeroSync’s research
ZeroSync is a Zug-based nonprofit researching proof systems and open-source Bitcoin software.
The Swiss connection
Its website links chain-state work, BitVM research and a header-state proof demonstration. The demonstration checks a narrower set of information than full transaction validation. The practical question is therefore not just whether a proof exists, but which statement it proves and under which assumptions.
How to explore the project
Begin with the project’s own explanation, then open the paper or repository it cites. Make a small comparison sheet: information checked, information assumed, software available, and work still proposed. Keep those columns separate. A demonstration can make one idea tangible without implementing every part of the eventual system. Release notes and reproducible instructions provide a better next step than a broad headline.
What to check next
This directory does not certify cryptographic security or production readiness. Distinguish research goals, prototypes and published implementations when discussing the project. If a claim concerns a specific version, keep the version and source date with your notes so later readers can assess the same evidence.