pub fn consistency_row<F: TowerField + HardwareField>(
roots: usize,
inputs: &ConsistencyInputs<F>,
) -> AffineRow<F>Expand description
The consistency row without its root terms:
root k enters at α^k · eq_zc.
pub fn consistency_row<F: TowerField + HardwareField>(
roots: usize,
inputs: &ConsistencyInputs<F>,
) -> AffineRow<F>The consistency row without its root terms:
root k enters at α^k · eq_zc.