Description
ZeroSync is a Swiss nonprofit organization based in Zug, dedicated to pioneering the application of proof systems to the Bitcoin network. Their primary focus is on research and open-source software development to enhance Bitcoin's scalability, usability, and privacy through groundbreaking cryptography like succinct zero-knowledge proofs (zkSNARKs). Their mission involves creating a proof system for instant Bitcoin chain state syncing, developing a toolkit for developers to integrate ZKPs, building a community around Bitcoin proofs, and working towards the integration of a ZKP verifier into Bitcoin's main layer. Key projects include chain state proofs for instant node synchronization, BitVM for enabling arbitrary computation on Bitcoin, and zkCoins to improve scalability and privacy.