libsnark merkle circuit example
The example shows how to generate proof for one merkle path on one merkle tree with depth 3.
1/ init
git submodule update --init --recursive
2/ compile
mkdir build; cd build; cmake ..; make
You can find the "merkle" binary under the merkle folder.
3/ setup
./merkle setup
4/ prove
./merkle prove [data1] [data2] [data3] [data4] [data5] [data6] [data7] [data8] [index]
Record down the root information, which is used on verify.
5/ verify
./merkle [root]