Pinned Repositories
bls_sigs_ref
Algorand's reference implementation of bls signature scheme
hyperplonk
jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
Expander
Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
ceno
Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
bandersnatch
Implementing Bendersnatch curve using Arkwork's framework in Rust.
falcon.rs
Falcon signature and its ZKP extensions
larkworks
a lattice lib for building snarks
pasta-solidity
A Solidity implementation of Halo2's Pasta curves
squirrel
Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices
zhenfeizhang's Repositories
zhenfeizhang/pasta-solidity
A Solidity implementation of Halo2's Pasta curves
zhenfeizhang/falcon.rs
Falcon signature and its ZKP extensions
zhenfeizhang/origami
[wip] implementing origami VDF
zhenfeizhang/rcb15-group-law
Implement group law for SW curves in RCB15 paper
zhenfeizhang/caulk
zhenfeizhang/ark-spartan
Spartan on Arkworks
zhenfeizhang/bench-kzg-mle
zhenfeizhang/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
zhenfeizhang/bellperson-nonnative
Non-native arithmetic for SNARKs
zhenfeizhang/c-kzg-4844
Minimal 4844 version of c-kzg
zhenfeizhang/cryptography-research-website
Ethereum Foundation Cryptography Research Website
zhenfeizhang/curves
Implementations of popular elliptic curves
zhenfeizhang/go-ethereum
Official Go implementation of the Ethereum protocol
zhenfeizhang/grumpkin
Implementation of the Grumpkin curve in Rust.
zhenfeizhang/halo2
zhenfeizhang/halo2-examples
Include halo2 example circuits
zhenfeizhang/halo2-snark-aggregator
halo2 ecc circuit
zhenfeizhang/halo2wrong
zhenfeizhang/kzg-ceremony-sequencer
zhenfeizhang/learn-halo2
zhenfeizhang/Nova
Nova: Recursive SNARKs without trusted setup
zhenfeizhang/OrionLinearPC
zhenfeizhang/plonkish
zhenfeizhang/poly-commit
A Rust library for polynomial commitments
zhenfeizhang/rescue-poseidon
Rescue and Poseidon hash function implementations
zhenfeizhang/snarkVM
A Virtual Machine for Zero-Knowledge Executions
zhenfeizhang/sumcheck
linear-time sumcheck protocol for multilinear polynomials and related addends
zhenfeizhang/supernova
Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
zhenfeizhang/veri-zexe
DPC with Universal Setup
zhenfeizhang/zkevm-circuits