Expand description
Batches of independent hash primitive evaluations.
Each circuit proves n independent compression-function or permutation evaluations. The
primitive outputs are exposed as public inout wires and asserted equal to the gadget
outputs: dead-code elimination keeps only gates that feed assertions or public IO, so
without observing the outputs the entire hash computation would be pruned and the
benchmarks would measure an empty circuit.
Structs§
- Independent
Blake3 Compressions - Independent BLAKE3 compression evaluations.
- Independent
Keccak Permutations - Independent Keccak-f[1600] permutation evaluations.
- Independent
Sha256 Compressions - Independent SHA-256 compression evaluations.
- Instance
- Primitive
Params
Constants§
- DEFAULT_
NUM_ PRIMITIVES - Default number of logical compression/permutation primitives for CLI use.