Expand description
Hint system.
Hints are deterministic computations that happen on the prover side.
They can be used for operations that require many constraints to compute but few constraints to verify.
Structs§
- Hint
Registry - Registry for hint handlers keyed by
HintId.
Traits§
- Hint
- Hint handler trait for extensible operations.
Functions§
- hint_
id_ of - Derive a
HintIdfrom a hint’s name.
Type Aliases§
- HintId
- Registry key for one prover-side computation.