The ZeroSync Association, a non-profit organisation based in Zug, Switzerland, has launched a new software development kit (SDK) that integrates zero-knowledge proofs (ZKPs) into the Bitcoin network. The system offers users the ability to validate Bitcoin network transactions without downloading large amounts of blockchain history or relying on third parties. The ZeroSync product offers faster access to the Bitcoin blockchain and provides a method for compressing transaction histories. The system features the Cairo programming language created by Israeli start-up StarkWare, and uses ZKPs that do not require a trusted setup, while claiming to be more scalable than zk-SNARKs in use by other cryptocurrencies such as Zcash. ZeroSync initial supporters include Lightning Labs among others, and intends to offer a better user experience at a more affordable price than standard software for the Bitcoin protocol.