openvm_stark_backend

Module circuit_api

Source
Expand description

API trait for circuit prover/verifier.

Traitsยง

  • AsyncCircuitProver
    Async prover for a specific circuit using a specific Stark config.
  • CircuitProver
    Prover for a specific circuit using a specific Stark config.
  • CircuitVerifier
    Verifier for a specific circuit using a specific Stark config.