README
¶
Vocdoni Gnark Crypto Primitives
A set of custom circuits writted in Gnark that are required to support anonymous voting on Vocdoni.
Libs included
- Hash Poseidon (source code).
- SMT Verifier port from @iden3/circomlib (source code).
- Arbo (by @arnaucube) proof checker from @vocdoni/arbo (source code)
- This is compatible with the SMT Verifier.
SMT Verifier vs. Arbo
| SMT Verifier | Arbo | |
|---|---|---|
| Inputs | 4 | 5 |
| Constrains | 42316 | 39396 (🏆) |
| Solver time | 169.192292ms | 162.1965ms (🏆) |
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.
Directories
¶
| Path | Synopsis |
|---|---|
|
Using recommended parameters from whitepaper https://eprint.iacr.org/2019/458.pdf (table 2, table 8)
|
Using recommended parameters from whitepaper https://eprint.iacr.org/2019/458.pdf (table 2, table 8) |
|
smt is a port of Circom SMTVerifier.
|
smt is a port of Circom SMTVerifier. |
Click to show internal directories.
Click to hide internal directories.