zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements

Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".

Your sweet cup of eprint in the morning

Jolt-compatible zkVM prover in pure Zig with zero dependencies, zero FFI

A GKR-based zero-knowledge proof protocol for CNN model inference.

Project Management: Meeting notes and agenda items

C++ library for zkSNARKs

From the Transistor to the Web Browser, a rough outline for a 12 week course

polynomial commitments from linear codes

cmix is a lossless data compression program aimed at optimizing compression ratio at the cost of high CPU/memory usage.

π RuView: WiFi DensePose turns commodity WiFi signals into real-time human pose estimation, vital sign monitoring, and presence detection — all without a single pixel of video.

Composable proof transcripts for public-coin arguments of knowledge

A crate for mucking around with piles of bytes

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Rayon: A data parallelism library for Rust

zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!

The core implementation of the Acorn language.

Acorn's standard library of mathematical facts.

A zero-knowledge protocol for anonymous interactions.

EigenTrust - A distributed reputation system

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. ⚡

Collection of stream cipher algorithms

Normalizing a waveform around spherical topography for neural network reasons.

Fiat-Shamir for the masses.

zkSnark circuit compiler

The best ChatGPT that $100 can buy.

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

A toolbox for zkSNARKs on Ethereum