Bitcoin's first ZK Rollup launch is near! Sigma Prime (@sigp_io) has completed the private audit of Citrea’s BitVM-based bridge, Clementine. This will be Bitcoin’s first trust-minimized bridge to a fully programmable environment. No critical vulnerabilities were found 🧵

Sigma Prime conducted private audits of Clementine's: • Signer Implementation: Entities that enforce BitVM spending rules. • Operator Implementation: Profit-seeking entities that facilitate withdrawals. • Musig2: Construction of multisig wallets on Bitcoin.

• Optimistic Bitcoin Light Client: Attaches a succinct zk-SNARK header-chain proof showing a heavier chain. This proof becomes an input for the challenges.

A total of 36 issues were identified during the private audit: - 2 High - 13 Medium - 13 Low - 8 Informational All the issues were successfully addressed by the Citrea team.

Find the full report here:

With Clementine, Bitcoin will have the first bridge, whose rules are enforced by the Bitcoin Network with at least one honest party present, to a programmable global platform. Clementine will soon enter the public audit competition phase. Stay tuned 🍊