zhenfeizhang

peerdas-kzg

blogs

Polyhedra ZK knowledge base

statement

ExpanderCompilerCollection

Expander Compiler

Expander-rs

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

hash-based-snargs-book

Source code for "Building Cryptographic Proofs from Hash Functions"

zkllm-ccs2024

bitcoin-circle-stark

Building blocks of a Circle STARK verifier in Bitcoin script

Expander

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

SOPHIE

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

pianist-gnark

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

plonky2.5

🪩 verify plonky3 proofs in plonky2

space-efficient-sumcheck

zkvm-benchmarks

Benchmarks of popular zkVMs including Jolt

stir

STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries

sp1

A performant, 100% open-source, contributor-friendly zkVM.

stwo

Scalable-Collaborative-zkSNARK

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

nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

acceleration-program

Accelerate Early Stage Programmable Cryptography Talents

falcon-rust

A rust implementation of the Falcon post-quantum signature scheme

plonky2-recursion

plonky2 recursion framework handling different circuits in unified way.

super-sumcheck

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

openfhe-development

This is the development repository for the OpenFHE library. The current (stable) version is v1.2.0 (released on June 25, 2024).

gkr

zero knowledge proof aggregator for general circuit

Chipmunk

gkr

Startup-CTO-Handbook

The Startup CTO's Handbook, a book covering leadership, management and technical topics for leaders of software engineering teams

tasm-lang

Writing tasm with Rust syntax

protostar