Module kimchi::snarky::runner

The circuit-generation and witness-generation logic.

Structs

• RunState
  The state used when compiling a circuit in snarky, or used in witness generation as well.

Enums

• Constraint
  An enum that wraps either a BasicSnarkyConstraint or a [KimchiConstraintSystem].

Traits

• WitnessGeneration
  A witness generation environment. This is passed to any closure in RunState::compute so that they can access the witness generation environment.