zksnark 0.0.2

An implementation of zkSNARK using groth16.
Documentation 
1
2
3
4
5
6
7
8
9

(in a b c)
(out x)
(verify b x)

(program
    (= temp
        (* a b))
    (= x
        (* 1 (+ (* 4 temp) c 6))))