Skip to main content

check_constraints

openvm_stark_backend::air_builders::debug

Function check_constraints 

Source 
pub fn check_constraints<R, SC>(
    rap: &R,
    rap_name: &str,
    preprocessed: &Option<RowMajorMatrixView<'_, Val<SC>>>,
    partitioned_main: &[RowMajorMatrixView<'_, Val<SC>>],
    public_values: &[Val<SC>],
)
where
    R: for<'a> Air<DebugConstraintBuilder<'a, SC>> + BaseAir<Val<SC>> + PartitionedBaseAir<Val<SC>> + ?Sized,
    SC: StarkProtocolConfig,
Expand description

Check that all constraints vanish on the subgroup.