buffi.cicom

template IsZero() {
    signal input in;
    signal output out;

    signal inv;

    inv <-- in!=0 ? 1/in : 0;

    out <== -in*inv +1;
    in*out === 0;
}

template BuffiCircuit() {
    signal input a;
    signal output b;

    component isz1 = IsZero();
    component isz2 = IsZero();
    a ==> isz1.in;
    isz1.out ==> isz2.in;
    isz2.out ==> b;
}

component main = BuffiCircuit();