Module sov_rollup_interface::zk::traits

source ·

Traits

  • Matches
  • Zkvm
    A Zk proof system capable of proving and verifying arbitrary Rust code Must support recursive proofs.
  • ZkvmGuest
    A trait which is accessible from within a zkVM program.
  • ZkvmHost
    A trait implemented by the prover (“host”) of a zkVM program.