Module poseidon2_wide

Modules

• air
  The air module contains the AIR constraints for the poseidon2 chip.
  At the moment, we’re only including memory constraints to test the new memory argument.
• columns
• trace

Structs

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

Constants

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

Functions

• apply_m_4