Crate p3_poseidon2_air

And AIR for the Poseidon2 permutation.

Structs

FullRound

Full round columns.

PartialRound

Partial round columns.

Poseidon2Air

Assumes the field size is at least 16 bits.

Poseidon2Cols

Columns for a Poseidon2 AIR which computes one permutation per row.

RoundConstants

Round constants for Poseidon2, in a format that’s convenient for the AIR.

SBox

Possible intermediate results within an S-box.

VectorizedPoseidon2Air

A “vectorized” version of Poseidon2Air, for computing multiple Poseidon2 permutations per row.

VectorizedPoseidon2Cols

A “vectorized” version of Poseidon2Cols, for computing multiple Poseidon2 permutations per row.

Functions

generate_trace_rows

generate_trace_rows_for_perm

rows will normally consist of 24 rows, with an exception for the final row.

generate_vectorized_trace_rows

make_col_map

num_cols