Module neptune::circuit

Poseidon circuit

Structs

• PoseidonCircuit
  Circuit for Poseidon hash.

Enums

• CircuitType

Functions

• mul_pre_sum
  Calculates a * (b + to_add) — and enforces that constraint.
• mul_sum
  Calculates (a * (pre_add + b)) + post_add — and enforces that constraint.
• poseidon_hash
  Create legacy circuit for Poseidon hash. If possible, prefer the equivalent ‘optimal’ alternatives.
• poseidon_hash_circuit
  Convenience function to potentially ease upgrade transition from legacy to optimal circuits.
• square_sum
  Calculates square of sum and enforces that constraint.