zhenfei's repositories
pasta-solidity
A Solidity implementation of Halo2's Pasta curves
rcb15-group-law
Implement group law for SW curves in RCB15 paper
falcon-r1cs
R1CS circuit for Falcon signature verification.
ark-spartan
Spartan on Arkworks
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
bellperson-nonnative
Non-native arithmetic for SNARKs
c-kzg-4844
Minimal 4844 version of c-kzg
cryptography-research-website
Ethereum Foundation Cryptography Research Website
curves
Implementations of popular elliptic curves
go-ethereum
Official Go implementation of the Ethereum protocol
halo2-examples
Include halo2 example circuits
halo2-snark-aggregator
halo2 ecc circuit
Nova
Nova: Recursive SNARKs without trusted setup
poly-commit
A Rust library for polynomial commitments
rescue-poseidon
Rescue and Poseidon hash function implementations
snarkVM
A Virtual Machine for Zero-Knowledge Executions
sumcheck
linear-time sumcheck protocol for multilinear polynomials and related addends
supernova
Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
veri-zexe
DPC with Universal Setup