p3_keccak_air/
lib.rs

1//! An AIR for the Keccak-f permutation. Assumes the field size is between 2^16 and 2^32.
2
3#![no_std]
4
5extern crate alloc;
6
7mod air;
8mod columns;
9mod constants;
10mod generation;
11mod round_flags;
12
13pub use air::*;
14pub use columns::*;
15pub use constants::*;
16pub use generation::*;
17
18pub const NUM_ROUNDS: usize = 24;
19const BITS_PER_LIMB: usize = 16;
20pub const U64_LIMBS: usize = 64 / BITS_PER_LIMB;
21const RATE_BITS: usize = 1088;
22const RATE_LIMBS: usize = RATE_BITS / BITS_PER_LIMB;