Module kimchi::snarky::api

The main interface to using Snarky.

To use Snarky, simply implements the SnarkyCircuit trait.

Structs

• CompiledCircuit
  A compiled circuit.
• ProverIndexWrapper
  A prover index.
• VerifierIndexWrapper
  A verifier index.
• Witness
  A witness represents the execution trace of a circuit.

Traits

• SnarkyCircuit
  The main trait. Implement this on your circuit to get access to more functions (specifically Self::compile_to_indexes).