openvm_static_verifier/field/baby_bear/
mod.rs

1mod base;
2mod extension;
3
4pub use base::*;
5pub use extension::*;
6use halo2_base::{halo2_proofs::halo2curves::bn256::Fr, AssignedValue};
7
8pub(crate) const BABY_BEAR_MODULUS_U64: u64 = 0x78000001; // BabyBear prime: 2013265921
9pub(crate) const BABY_BEAR_EXT_DEGREE: usize = 4;
10pub(crate) const BABY_BEAR_BITS: usize = BABYBEAR_MAX_BITS;
11
12pub type BabyBearExtChip = BabyBearExt4Chip;
13pub type BabyBearExtWire<F = AssignedValue<Fr>> = BabyBearExt4Wire<F>;
14pub type ReducedBabyBearExtWire<F = AssignedValue<Fr>> = ReducedBabyBearExt4Wire<F>;
15
16#[cfg(test)]
17mod tests;