Official announcements from Bitcoin developers or StarkWare

StarkWare's Stwo Verifier Achieves First zk-Proof on Bitcoin Signet

Jul 17, 2024, 05:17 PM

StarkWare has achieved a significant milestone by verifying the first zero-knowledge proof (zk-proof) on Bitcoin’s Signet testnet. This verification, known as the Stwo Verifier, was conducted using Bitcoin script on an OP_CAT-enabled Signet. The accomplishment represents a crucial step towards the implementation of Bitcoin rollups and scaling solutions. The collaboration involved notable contributions from experts such as Weikeng Chen and the team at L2 Iterative. The verification specifically involved a Circle STARK proof.