zhenfeizhang

zhenfeizhang's Stars

• nexus-xyz/nexus-zkvm

  The Nexus zkVM: The zero-knowledge virtual machine

  Language:Rust2.1k2293364

• succinctlabs/sp1

  The fastest, most feature-complete zkVM for developers.

  Language:Rust1.1k42135399

• openfheorg/openfhe-development

  This is the development repository for the OpenFHE library. The current (stable) version is v1.2.3 (released on October 30, 2024).

  Language:C++80114443199

• starkware-libs/stwo

  Language:Rust26510995

• hash-based-snargs-book/hash-based-snargs-book

  Source code for "Building Cryptographic Proofs from Hash Functions"

  Language:TeX1708626

• Bitcoin-Wildlife-Sanctuary/bitcoin-circle-stark

  Building blocks of a Circle STARK verifier in Bitcoin script

  Language:Rust1354324

• privacy-scaling-explorations/acceleration-program

  Accelerate Early Stage Programmable Cryptography Talents

  10710607

• PolyhedraZK/Expander

  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

  Language:Rust8042232

• WizardOfMenlo/whir

  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

  Language:Rust7419

• PolyhedraZK/Expander-cpp

  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

  Language:C++645317

• jvhs0706/zkllm-ccs2024

  Language:Cuda631315

• a16z/zkvm-benchmarks

  Benchmarks of popular zkVMs including Jolt

  Language:Rust586117

• WizardOfMenlo/stir

  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries

  Language:Rust553113

• LBruyne/Scalable-Collaborative-zkSNARK

  Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.

  Language:Rust43314

• morgana-proofs/hashcaster

  Frobenius sumcheck for vectorized boolean ops

  Language:Rust43005

• ingonyama-zk/super-sumcheck

  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU

  Language:Rust344129

• dreamATD/pianist-gnark

  The implementation of Pianist (a distributed variant of Plonk) based on gnark.

  Language:Go321210

• compsec-epfl/space-efficient-sumcheck

  Language:Rust313143

• PolyhedraZK/ExpanderCompilerCollection

  Expander Compiler

  Language:Rust233614

• PolyhedraZK/blogs

  Polyhedra ZK knowledge base

  Language:Jupyter Notebook189

• QEDProtocol/plonky2.5

  🪩 verify plonky3 proofs in plonky2

  Language:Rust18203

• crate-crypto/rust-eth-kzg

  Language:Rust131945

• Lagrange-Labs/plonky2-recursion

  plonky2 recursion framework handling different circuits in unified way.

  Language:Rust13503

• ZKPStatement/statement

  13416

• aszepieniec/falcon-rust

  A rust implementation of the Falcon post-quantum signature scheme

  Language:Rust12252

• sragss/gpu-sumcheck

  Language:Rust11200

• dreamATD/SOPHIE

  This is the implementation for my bachelor thesis about an improvement for CKKS based on CIS.

  Language:C++4100

• PolyhedraZK/proof-arena

  Proof Arena E2E codebase

  Language:TypeScript46

• PolyhedraZK/sumcheck-builders

  Language:JavaScript40

• PolyhedraZK/ExpanderDocs

  Language:TypeScript10