Crate openvm_poseidon2_air

This is a wrapper around the Plonky3 p3_poseidon2_air used only for integration convenience to get around some complications with field-specific generics associated with Poseidon2. Currently it is only intended for use in OpenVM with BabyBear.

We do not recommend external use of this crate, and suggest using the p3_poseidon2_air crate directly.

Re-exports

• pub use openvm_stark_sdk::p3_baby_bear;
• pub use p3_poseidon2;
• pub use p3_poseidon2_air;
• pub use p3_symmetric;

Structs

• BABYBEAR_BEGIN_EXT_CONSTS
• BABYBEAR_END_EXT_CONSTS
• BABYBEAR_PARTIAL_CONSTS
• BabyBearPoseidon2LinearLayers
  This type needs to implement GenericPoseidon2LinearLayers generic in F so that our Poseidon2SubAir can also be generic in F, but in reality each implementation of this struct’s functions should be field specific. To circumvent this, Poseidon2LinearLayers is generic in F but currently requires that F is BabyBear.
• Poseidon2Air
  Assumes the field size is at least 16 bits.
• Poseidon2Config
• Poseidon2Constants
• Poseidon2ExternalLayer
• Poseidon2InternalLayer
• Poseidon2SubChip
  SBOX_REGISTERS affects the max constraint degree of the AIR. See p3_poseidon2_air for more details.

Enums

• Poseidon2Executor
• Poseidon2SubAir

Constants

• BABY_BEAR_POSEIDON2_FULL_ROUNDS
• BABY_BEAR_POSEIDON2_HALF_FULL_ROUNDS
• BABY_BEAR_POSEIDON2_PARTIAL_ROUNDS
• BABY_BEAR_POSEIDON2_SBOX_DEGREE
• POSEIDON2_WIDTH

Traits

• Permutation
  A permutation in the mathematical sense.
• Poseidon2MatrixConfig

Functions

• from_config

Type Aliases

• Plonky3Poseidon2Air
• Plonky3Poseidon2Executor
• Plonky3RoundConstants
• Poseidon2SubCols