zero_check

kimchi::circuits::polynomials::complete_add

Function zero_check 

Source 
fn zero_check<F: Field, T: ExprOps<F, BerkeleyChallengeTerm>>(
    z: T,
    z_inv: T,
    r: T,
) -> Vec<T>
Expand description

This enforces that

r = (z == 0) ? 1 : 0

Additionally, if r == 0, then z_inv = 1 / z.

If r == 1 however (i.e., if z == 0), then z_inv is unconstrained.