The Citrea team shared how they helped BitVM2 bring SNARK verification to Bitcoin — tackling core challenges like elliptic curve arithmetic, hashing, chunking, Winternitz signatures and more, which all power their BitVM-based bridge, Clementine. Now, as Citrea counts down to mainnet, they’re set to launch Bitcoin’s first rollup architecture for Bitcoin.
blog.citrea.xyz
🔗
Citrea’s Role in Achieving Verification on Bitcoin with BitVM

When BitVM2 was proposed, it lacked many components to achieve SNARK proof verification. For this, we needed to identify the cryptographic primitives and optimize these primitives to overcome constraints of Bitcoin scripting language. Citrea contributed to the following major problems to achieve SNARK verification.
blog.citrea.xyz
🔗
Countdown to Citrea Mainnet

There are two technical milestones left until Citrea mainnet. These steps have already started and they are progressing in parallel. In addition to our technical milestones, ahead of Citrea mainnet, we'll have a campaign to invite early users to test Citrea and its ecosystem.