Celestia derivation pipeline and proof crate built with kona

Succinct's Production-Grade Proving Engine for the OP Stack

Monorepo for OP Stack Types, Components, and Services built in Rust.

Tools for STARK proving using cupy

A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

awesome-zkml repository

A curated list of zkVM, zero-knowledge virtual machine

The Ultimate ZK Proving Software Suite for Securing OP Rollups

CUDA on non-NVIDIA GPUs

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Sparse Fast Fourier Transform Library (C/C++/Python)

An Open Source Machine Learning Framework for Everyone

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

The official GitHub mirror of the Chromium source

Modular ZK(Zero Knowledge) backend accelerated by GPU

BUIDLersberg-Fund: A chain-agnostic yet decentralized infrastructure to govern & manage assets across diverse chains for LP funds & DAOs 🗣🗨️💸

Libraries for finite field, elliptic curve, and polynomial arithmetic

cuZK: An Efficient GPU Implemetation of zkSNARK

This is a mirror of zkevm-circuits(https://github.com/scroll-tech/zkevm-circuits).

A curated list of zero-knowledge folding schemes