binius_m3/builder/
statement.rs

1// Copyright 2025 Irreducible Inc.
2
3use binius_core::constraint_system::channel::Boundary;
4use binius_field::TowerField;
5
6use super::types::B128;
7
8/// A statement of values claimed to satisfy a constraint system.
9pub struct Statement<F: TowerField = B128> {
10	pub boundaries: Vec<Boundary<F>>,
11	// TODO: This doesn't belong in `Statement`. We should split this struct somehow. Perhaps table
12	// sizes go into a separate `Advice` struct.
13	/// Direct index mapping table IDs to the count of rows per table.
14	pub table_sizes: Vec<usize>,
15}