Citrea is a Bitcoin ZK rollup and also an execution layer based on Bitcoin. Every transaction on Citrea is fully protected by zero-knowledge proofs and verified by Bitcoin through BitVM.