openvm_stark_backend::verifier::constraints

Function verify_single_rap_constraints

Source 
pub fn verify_single_rap_constraints<SC>(
    constraints: &[SymbolicExpression<Val<SC>>],
    preprocessed_values: Option<&AdjacentOpenedValues<SC::Challenge>>,
    partitioned_main_values: Vec<&AdjacentOpenedValues<SC::Challenge>>,
    after_challenge_values: Vec<&AdjacentOpenedValues<SC::Challenge>>,
    quotient_chunks: &[Vec<SC::Challenge>],
    domain: Domain<SC>,
    qc_domains: &[Domain<SC>],
    zeta: SC::Challenge,
    alpha: SC::Challenge,
    challenges: &[Vec<SC::Challenge>],
    public_values: &[Val<SC>],
    exposed_values_after_challenge: &[Vec<SC::Challenge>],
) -> Result<(), VerificationError>
where
    SC: StarkGenericConfig,