Stdlib.Cairo.Poseidon
Contents
Definitions
builtin poseidon_state type PoseidonStateSource#
Constructors
| | mkPoseidonState@{ s0 : Field; s1 : Field; s2 : Field; } |
builtin poseidon axiom poseidonHash : PoseidonState -> PoseidonStateSource#
poseidonHash1 (x : Field) : FieldSource#
Hashes one element and retrieves a single field element output.
poseidonHash2 (x y : Field) : FieldSource#
Hashes two elements and retrieves a single field element output.
poseidonHashList (list : List Field) : FieldSource#
Hashes n elements and retrieves a single field element output.
