zero Knowledge proof, Circom snarkJS, example