Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/vocdoni/smtverifier-noir
Port of Circom Sparse Merkle Tree verifier to Noir.
https://github.com/vocdoni/smtverifier-noir
Last synced: about 2 months ago
JSON representation
Port of Circom Sparse Merkle Tree verifier to Noir.
- Host: GitHub
- URL: https://github.com/vocdoni/smtverifier-noir
- Owner: vocdoni
- License: agpl-3.0
- Created: 2023-06-05T17:18:19.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-01-26T13:37:23.000Z (8 months ago)
- Last Synced: 2024-06-12T09:42:15.167Z (3 months ago)
- Language: Roff
- Size: 51.8 KB
- Stars: 8
- Watchers: 5
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-noir - Sparse Merkle Tree Verifier - a library for verification of sparse Merkle trees (Get Coding / Libraries)
README
# smtverifier-noir
Port of [Circom Sparse Merkle Tree verifier](https://github.com/iden3/circomlib/blob/master/circuits/smt/smtverifier.circom) to Noir (v0.22.0 or later).
Compatible with [Vocdoni's Go implementation (Arbo by @arnaucube)](https://github.com/vocdoni/vocdoni-node/tree/main/tree/arbo).
## Example
An example program is provided under `example`. To run it:
* Generate inputs with `scripts/generate_inputs`:
```bash
cd scripts/generate_inputs && go mod tidy && go run main.go
```
* Generate a proof:
```bash
cd ../.. && nargo prove --package smtverifier_example
```
* Verify it:
```bash
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.