what's ZeroSync?

ZeroSync is a non-profit initiative focused on advancing Bitcoin's scalability, privacy, and interoperability through zero-knowledge proof systems, particularly STARKs. It enables users to verify the Bitcoin blockchain's state instantly without downloading the full chain, using compact cryptographic proofs to validate transaction history and balances. The project integrates with Bitcoin Core in pruned mode and aims to broadcast proofs via satellite for global accessibility, even in low-connectivity areas. Key developments include a STARK-based light client for header chain validation, recursive proof verification on low-power devices like Raspberry Pi, and tools for custom Bitcoin proofs. Built on StarkWare's Cairo language, ZeroSync supports applications like covenants and stateful computation on Bitcoin, fostering open-source contributions without relying on trusted third parties.

New BitVM2 technical and bridge paper published, featuring complete security proofs and cost analysis through multi-institutional collaboration.