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/bandersnatch
Implementing Bendersnatch curve using Arkwork's framework in Rust.
zhenfeizhang/raptor
A PoC implementation of Raptor: lattice based linkable ring signature scheme
zhenfeizhang/lb-vrf
A rust implementation of lattice based verifiable random function
zhenfeizhang/zk-example-pedersen
This is an example code to do pedersen commitment with zexe (now artworks)
zhenfeizhang/polynomial_mul
fast polynomial multiplications using avx2
zhenfeizhang/bandersnatch-glv
benchmarking a few popular curves from arkworks etc.
zhenfeizhang/falcon-r1cs
R1CS circuit for Falcon signature verification.
zhenfeizhang/pointproofs
Pointproof vector commitment re-implemented
zhenfeizhang/accumulator
A rust implementation of pairing based accumulator over BLS12-381 curve
zhenfeizhang/add_he_poc
Additive homomorphic encryption for proof of custidy
zhenfeizhang/awesome-starknet
A curated list of awesome StarkNet resources, libraries, tools and more
zhenfeizhang/AEADs
Authenticated Encryption with Associated Data Algorithms: high-level encryption ciphers
zhenfeizhang/AlgoDeploy
zhenfeizhang/Bandersnatch-py
zhenfeizhang/constantine
Constant time pairing-based or elliptic curve based cryptography and digital signatures
zhenfeizhang/crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
zhenfeizhang/draft-irtf-cfrg-bls-signature
zhenfeizhang/go-algorand
Algorand's official implementation in Go.
zhenfeizhang/Indifferentiable-hashing-to-ordinary-elliptic-curves-of-j-0-with-the-cost-of-one-exponentiation
zhenfeizhang/ldt
An `arkworks` library for low-degree testing
zhenfeizhang/manta-api
zhenfeizhang/manta-crypto
The underlying cryptographic primitives for Manta Ecosystem
zhenfeizhang/manta-subxt-integrated
Submit extrinsics (transactions and ZKPs) to a Manta node via RPC
zhenfeizhang/manta-types
The crate that holds type definition for manta ecosystem
zhenfeizhang/merlin
Composable proof transcripts for public-coin arguments of knowledge
zhenfeizhang/Open-Grants-Program
Web3 Foundation Open Grants Program
zhenfeizhang/pallet-manta-pay
A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.
zhenfeizhang/stark-anatomy
Tutorial for STARKs with supporting code in python
zhenfeizhang/substrate
Substrate: The platform for blockchain innovators
zhenfeizhang/zhenfeizhang