The ZeroSync Association is developing a Bitcoin proof system based on STARK proofs
According to ChainCatcher news, as reported by CoinDesk, Robin Linus, Tino Steffens, Lukas George, and others have established a Swiss non-profit organization called the ZeroSync Association, which will lead the development of a Bitcoin proof system to build a future with Bitcoin privacy, interoperability, and scalability. ZeroSync is based on STARK proofs and uses the Cairo language created by StarkWare to achieve Bitcoin proofs.It is reported that ZeroSync will be launched in three consecutive phases: header chain proofs, hypothetical valid chain proofs, and full chain proofs, with the first two prototypes already completed. The ZeroSync Toolkit will also provide powerful tools for Bitcoin developers to apply zero-knowledge proofs to their own products and services. (Source link)