Function ivc::ivc::interpreter::process_inputs

source ·

pub fn process_inputs<F, Ff, Env, const N_COL_TOTAL: usize, const N_CHALS: usize>(
    env: &mut Env,
    fold_iteration: usize,
    comms: [Box<[(Ff, Ff); N_COL_TOTAL]>; 3]
) -> (Box<[[[F; 34]; N_COL_TOTAL]; 3]>, Box<[[[F; 8]; N_COL_TOTAL]; 3]>, Box<[[[F; 4]; N_COL_TOTAL]; 3]>)where
    F: PrimeField,
    Ff: PrimeField,
    Env: MultiRowReadCap<F, IVCColumn> + LookupCap<F, IVCColumn, IVCLookupTable<Ff>>,

Expand description

comms is lefts, rights, and outs. Returns the packed commitments in three different representations.