Structs§
- IrSource
- A low-level IR allowing the prover to populate circuit witnesses.
- Local
Proving Provider - Implements
ProvingProviderlocally - Preprocessed
- The raw data prior to proving. Note that this should not be considered part of the public
API, and is subject to change at any time. It may be used in combination with
IrSource::prove_uncheckedto test malicious prover behavior.
Enums§
- Instruction
- An individual ZK IR instruction