Module neptune::circuit [−][src]
Expand description
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. |