openvm_stark_backend::air_builders::debug::check_constraints

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>>],
    after_challenge: &[RowMajorMatrixView<'_, SC::Challenge>],
    challenges: &[Vec<SC::Challenge>],
    public_values: &[Val<SC>],
    exposed_values_after_challenge: &[Vec<SC::Challenge>],
    rap_phase_seq_kind: RapPhaseSeqKind,
)
where
    R: for<'a> Rap<DebugConstraintBuilder<'a, SC>> + BaseAir<Val<SC>> + PartitionedBaseAir<Val<SC>> + ?Sized,
    SC: StarkGenericConfig,
Expand description

Check that all constraints vanish on the subgroup.