1pragma circom 2.0.0;
 2// From: https://github.com/iden3/circomlib/blob/master/circuits/comparators.circom
 3
 4template IsZero() {
 5    signal input in;
 6    signal output out;
 7
 8    signal inv;
 9
10    inv <-- in!=0 ? 1/in : 0;
11
12    out <== -in*inv +1;
13    in*out === 0;
14}