Add an example STARK for proving Merkle tree membership

GuildOfWeavers / genSTARK

A library for generating zk-STARKs.

MIT License

142 stars 18 forks source link

Add an example STARK for proving Merkle tree membership #6

Closed bobbinth closed 4 years ago

bobbinth commented 5 years ago

Would be great to add an example of a STARK that verifies membership of a value in a Merkle tree. This depends on #1, but also requires coming up with an AIR constraint that can check if a value is even or odd.

bobbinth commented 4 years ago

closed by #12