Citrea is building Bitcoin’s first ZK rollup, bringing programmable apps secured by Bitcoin consensus 🍊🍋
Both the rollup and the BitVM-based Clementine bridge have now completed public audits, putting @citrea_xyz in the final stage before mainnet.
here’s why this matters ⬇️
Citrea executes app logic off-chain and posts validity proofs to Bitcoin.
This preserves Bitcoin’s settlement guarantees while enabling Bapps like DEXs, lending markets, games and more
The rollup and prover architecture are customized for Bitcoin’s UTXO model and data constraints
Programmability, without leaving Bitcoin
Oct 30, 2025 · 3:18 PM UTC
To verify robustness under real adversaries, @citrea_xyz ran two public audit competitions with @cantinaxyz
Participation was broad:
• 510 researchers on the rollup
• 535 researchers on the Clementine (bridge)
results:
• Rollup: 84 findings (2 high, 10 medium) → all significant issues resolved
• Clementine: 117 findings (2 high, 3 medium) → all significant issues resolved
Fixes covered UTXO handling, sequencer stability, state machine edge cases, fee logic and proof flow reliability
Next milestone: Risc0 → BitVM Trusted Setup Ceremony, which will establish the cryptographic parameters securing the bridge. This will be the first trusted setup for ZK proofs in a BitVM-based bridge
After that comes mainnet
This unlocks:
• Bitcoin’s first ZK rollup
• A trust-minimized BTC-native bridge
• The first real wave of Bapps and onchain Bitcoin liquidity
Programmable Bitcoin is about to become real
If you want to explore the audit reports:
Rollup report: cantina.xyz/portfolio/29bf9d…
Bridge report: cantina.xyz/portfolio/0740ab…