Function kimchi_msm::serialization::interpreter::serialization_circuit

source ·

pub fn serialization_circuit<F: PrimeField, Ff: PrimeField, Env: ColWriteCap<F, SerializationColumn> + LookupCap<F, SerializationColumn, LookupTable<Ff>> + HybridCopyCap<F, SerializationColumn> + HybridSerHelpers<F, SerializationColumn, LookupTable<Ff>> + MultiRowReadCap<F, SerializationColumn>>(
    env: &mut Env,
    input_chal: Ff,
    field_elements: Vec<[F; 3]>,
    domain_size: usize
)

Expand description

Full serialization circuit.