merkle

Documentation

Overview

This example defines a circuit that given a public root for a Merkle tree lets the Prover prove the presence in the tree of an element, wihtout revealing it.

We compile the circuit with gnark, build and test a proof, generate an AVM verifier and compile it with puyapy, deploy it to the local network, and simulate on the AVM a proof verification of the generated proof