Function ivc::ivc::interpreter::ivc_circuit_base_case

source ·

pub fn ivc_circuit_base_case<F, Env, const N_COL_TOTAL: usize, const N_CHALS: usize>(
    env: &mut Env,
    domain_size: usize
)where
    F: PrimeField,
    Env: DirectWitnessCap<F, IVCColumn> + HybridCopyCap<F, IVCColumn>,

Expand description

Base case IVC circuit, completely turned off. For the base case, we do set the fold iteration to 0, and we don’t do any computation. As each constraint is multiplied by the fold iteration, this will simulate a “deactivation” of the IVC circuit.