Skip to content

Latest commit

 

History

History
20 lines (14 loc) · 718 Bytes

README.md

File metadata and controls

20 lines (14 loc) · 718 Bytes
Raw

xjsnark-gnark-prover

This repo implements a gnark backend to compile and prove a zk-SNARK circuit defined in xjsnark framework.

Build

go build

Use

./xjsnark-gnark-prover compile <arith-circuit> <output-gnark-circuit>
./xjsnark-gnark-prover keygen <gnark-circuit> <output-pk> <output-vk>
./xjsnark-gnark-prover prove <gnark-circuit> <pk> <input> <output-proof>
./xjsnark-gnark-prover verify <proof> <vk> <public-input>

There is a couple of circuit and sample input in test-cases/, for example, for the aes128 circuit, <arith-circuit> is test-cases/AES128.arith and <input> is test-cases/aes128-input.in.