compute_fully_bound_binary_gate_function

Function compute_fully_bound_binary_gate_function 

Source
pub(crate) fn compute_fully_bound_binary_gate_function<F: Field>(
    nondataparallel_round_u_challenges: &[F],
    nondataparallel_round_v_challenges: &[F],
    nondataparallel_claim_challenges_vec: &[&[F]],
    wiring: &[(u32, u32, u32)],
    random_coefficients: &[F],
) -> F
Expand description

Similar to compute_fully_bound_identity_gate_function, this function uses the “Rothblum” trick in order to evaluate the fully bound gate function in a streaming fashion.