binius_core/constraint_system/
common.rs

1// Copyright 2024-2025 Irreducible Inc.
2
3use crate::tower::{ProverTowerFamily, TowerFamily};
4
5/// The cryptographic extension field that the constraint system protocol is defined over.
6pub type FExt<Tower> = <Tower as TowerFamily>::B128;
7
8/// Field with fast multiplication and isomorphism to FExt<Tower>.
9pub type FFastExt<Tower> = <Tower as ProverTowerFamily>::FastB128;
10
11/// The evaluation domain used in sumcheck protocols.
12///
13/// This is fixed to be 8-bits, which is large enough to handle all reasonable sumcheck
14/// constraint degrees, even with a moderate number of skipped rounds using the univariate skip
15/// technique.
16pub type FDomain<Tower> = <Tower as TowerFamily>::B8;
17
18/// The Reed–Solomon alphabet used for FRI encoding.
19///
20/// This is fixed to be 32-bits, which is large enough to handle trace sizes up to 512 GiB
21/// of committed data.
22pub type FEncode<Tower> = <Tower as TowerFamily>::B32;