Nomos blockchain node

Ethereum consensus client in Rust

A lattice-based non-interactive folding scheme written in Rust

A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use

[WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf

StealthNote is an application for people in an organization to anonymously broadcast messages.

Verifiable FHE with GKR

Monorepo of tools for using the halo2 proving system in-browser using WASM.

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

The fastest, most feature-complete zkVM for developers.

zkSNARK trusted setup experiment

Basic scaffolding for setting up and writing a Halo2 ZK circuit

educational python plonk implementation, based on vitalik's py_plonk

TypeScript framework for zk-SNARKs and zkApps

STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain …

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

Implementation of modern POW blockchain using the Rust programming language

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

scale ethereum with snarks

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop