dmpierre

honk-verifier

Honk Verifier in Solidity

poseidon2

rkyv

Zero-copy deserialization framework for Rust

wasm-bindgen-rayon

An adapter for enabling Rayon-based concurrency on the Web with WebAssembly.

nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

yatima

A zero-knowledge Lean4 compiler and kernel

circom-scotia

nfc-denver

Codebase for NFC experiments in Denver

lattice-estimator

An attempt at a new LWE estimator

Nova

Nova: Recursive SNARKs without trusted setup

Reef

Reef: A zkSNARK system for proving that a committed document matches a regex

super-sumcheck

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

revm

Ethereum Virtual Machine written in rust that is fast and simple to use

circom-witness-rs

assemblyphysics

mpz

Multi-party computation libraries written in Rust 🦀

nimue

website

rweth website

open-iris

Open Iris Recognition Inference System (IRIS)

r1cs-std

R1CS constraints for bits, fields, and elliptic curves

powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.

snark

Interfaces for Relations and SNARKs for these relations

criterion.rs

Statistics-driven benchmarking library for Rust

zig-zkp

zig zkp toolkit

taskwarrior-tui

`taskwarrior-tui`: A terminal user interface for taskwarrior

ratatui

Rust library that's all about cooking up terminal user interfaces (TUIs) 👨‍🍳🐀

hyperplonk

sirius

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

math

Notes, code and documents done while reading books and papers.

libsnark

C++ library for zkSNARKs