Function kimchi_msm::serialization::interpreter::multiplication_circuit

pub fn multiplication_circuit<F: PrimeField, Ff: PrimeField, Env: ColWriteCap<F, SerializationColumn> + LookupCap<F, SerializationColumn, LookupTable<Ff>>>(
    env: &mut Env,
    chal: Ff,
    coeff_input: Ff,
    write_chal_converted: bool
) -> Ff

Multiplication sub-circuit of the serialization/bootstrap procedure. Takes challenge x_{log i} and coefficient c_prev_i as input, returns next coefficient c_i.