stdlib - 0.11.0

Stdlib.Cairo.Poseidon

Description

Definitions

builtin poseidon_state type PoseidonStateSource#

Constructors

mk@{ 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.