README
¶
Vocdoni Gnark Crypto Primitives
A set of custom circuits writted in Gnark that are required to support anonymous voting on Vocdoni.
Primitives 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 also compatible with the circomlib SMT Verifier.
- Homomorphic Addition (using point reduction of TwistedEdwards curve to transform circom BabyJubJub points into Gnark BabyJubJub points) (source code) (helpers source code)
- Address derivation from ECDSA public key (hash the key coords with Keccak256 and take the last 20 bytes) (source code).
- Some other helper functions that are useful in previous primitives (source code)
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 |
|---|---|
|
ecc
|
|
|
bn254/eddsa
eddsa package contains the implementation of a EdDSA signature verifier compatible with Iden3 and Circomlib scheme in Gnark.
|
eddsa package contains the implementation of a EdDSA signature verifier compatible with Iden3 and Circomlib scheme in Gnark. |
|
format
format package provides helper circuit functions to transform points (x, y) from the TwistedEdwards format to Reduced TwistedEdwards format and vice versa, over BabyJubJub curve.
|
format package provides helper circuit functions to transform points (x, y) from the TwistedEdwards format to Reduced TwistedEdwards format and vice versa, over BabyJubJub curve. |
|
emulated/bn254/poseidon
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) |
|
native/bn254/poseidon
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) |
|
tree
|
|
Click to show internal directories.
Click to hide internal directories.