Port of Circom Sparse Merkle Tree verifier to Noir (v0.22.0 or later).
Compatible with Vocdoni's Go implementation (Arbo by @arnaucube).
An example program is provided under example. To run it:
-
Generate inputs with
scripts/generate_inputs:cd scripts/generate_inputs && go mod tidy && go run main.go
-
Generate a proof:
cd ../.. && nargo prove --package smtverifier_example
-
Verify it:
nargo verify --package smtverifier_example
DISCLAIMER: This repository provides proof-of-concept implementations. These implementations are for demonstration purposes only. These circuits are not audited, and this is not intended to be used as a library for production-grade applications.