Skip to content

Latest commit

 

History

History
28 lines (19 loc) · 944 Bytes

README.md

File metadata and controls

28 lines (19 loc) · 944 Bytes
Raw

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.