@tega777
computations to be challenged and verified on-chain.
This bridge combines the powerful programmability and efficient zero knowledge proof (ZKP) ecosystem of RISC Zero with the Bitcoin-native verification model introduced by BitVM.
With @citrea_xyz using this approach,