Expand description
This module implements prover’s zk-proof primitive.
Modules§
Macros§
- check_
constraint 🔒 - Helper to quickly test if a witness satisfies a constraint
Structs§
- Lookup
Context 🔒 - Contains variables needed for lookup in the prover algorithm.
Functions§
- blinder 🔒
- The blinders masking one commitment: one per chunk, drawn independently.
Type Aliases§
- Result 🔒
- The result of a proof creation or verification.