Function simple_arith_circuit::builder::add_binary_equality_check

source · [−]
pub fn add_binary_equality_check(
    circuit: Circuit<F2>,
    values: &[F2]
) -> Circuit<F2>
Expand description

Adds an equality check to binary circuit such that the new circuit outputs zero if the outputs of the old circuit match values.

Errors

Errors out if the length of values does not equal the number of outputs of the circuit.