Module sp1_recursion_core::poseidon2_wide

Modules

• air
  The air module contains the AIR constraints for the poseidon2 chip. Those constraints will enforce the following properties:
• columns
• events
• trace

Structs

• Poseidon2WideChip
  A chip that implements addition for the opcode ADD.

Constants

• NUM_EXTERNAL_ROUNDS
• NUM_INTERNAL_ROUNDS
• NUM_ROUNDS
• RATE
• WIDTH
  The width of the permutation.

Functions

• apply_m_4