zksnark 0.0.2

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

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

(program
    (= t1
        (* x a))
    (= t2
        (* x (+ t1 b)))
    (= y
        (* 1 (+ t2 c))))