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