Awesome

smtverifier-noir

Port of Circom Sparse Merkle Tree verifier to Noir (v0.22.0 or later).

Compatible with Vocdoni's Go implementation (Arbo by @arnaucube).

Example

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.