[−][src]Module neptune::circuit
Poseidon circuit
Structs
PoseidonCircuit | Circuit for Poseidon hash. |
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 circuit for Poseidon hash. |
square_sum | Calculates square of sum and enforces that constraint. |