Skip to content

StarLI-Trapdoor/libsnark_sample

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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]

About

Example to create merkle path proof using libsnark

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published