Citrea Explains Trusted Setup for Clementine’s BitVM Bridge
Citrea published a post explaining the trusted setup ceremony for its BitVM-based bridge, Clementine, a crucial step to securely generate the zkSNARK parameters that enable on-chain proof verification on Bitcoin.
blog.citrea.xyz
🔗
What's a trusted setup ceremony and why does Clementine need one?
Citrea uses the RISC Zero zkVM to produce STARK-based proofs for execution proving, it wraps each STARK receipt into a Groth16 SNARK. This final Groth16 proof is very short and fast to verify, which is essential to make verification on Bitcoin's limited scripting language practical. These types of SNARKs, particularly Groth16, require a trusted setup ceremony to ensure the integrity of the proof system.