David Nevado's repositories
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
bls12_381
Implementation of the BLS12-381 pairing-friendly elliptic curve group
cap
Configurable Asset Privacy
constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.
CryptOpt
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Goat-hash
The Ajtai hash function Over Goldilocks
halo2-lib
Monorepo of halo2 crates
halo2arith
Various arithmetic gates for halo2 library
halo2ecc-s
A re-implemented ECC circuits with halo2.
jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
pasta_curves
Rust implementation for zcash/pasta
plonk
A pure Rust PLONK implementation using arkworks as a backend.
rabe
rabe is an Attribute Based Encryption library, written in Rust
voidrice
My dotfiles (deployed by LARBS)