Koukyosyumei

AIJack

Security and Privacy Risk Simulator for Machine Learning (arXiv:2312.17667)

MyZKP

Building Zero Knowledge Proof from Scratch in Rust

zkFuzz

ZK Circuit Fuzzer (IEEE S&P'26)

PoL

Proof of Lean: Formalizing Blockchain Fundamentals in Lean

Runwai

Where zk Proofs Take Flight

wasm-mutate

brainfuck-stark

A ZK-VM for the Brainfuck language, built on Plonky3.

circom101

Circom arithmetic circuits and concepts explained, in depth.

crescent-credentials

Crescent adds privacy to existing credentials with zero-knowledge

encrypted-scholarship

https://hackmd.io/leP1ia5KRQ2dWJxgCsa-NA#3-General-system-architecture

ew-zw

zk-Mafia push 1

hot-proofs-blake3-circom

banyan's hot on-chain data storage zk proofs

Koukyosyumei

Koukyosyumei.github.io

LeanDiary

Solving Software Foundations in Lean4

Loda

Certified ZK Circuit in Lean4

noir

Noir is a domain specific language for zero knowledge proofs

omron-circom

Circom source for Omron's incentive mechanism

openvm

A performant and modular zkVM framework built for customization and extensibility.

remix-challenges

secretly-cancellable-votes

sp1

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

Useless-ZKVM

valida

A STARK-based VM focused on code reuse, performance, and modularity

valida-vm

The Valida execution engine, prover, and verifier

womir-openvm

Ziren

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

zk-SQL

ZK-based engine for self-sovereign SQL queries

zk_whitelist

The Zero Knowledge Whitelist Tool is a powerful utility for managing an address whitelist using Zero-Knowledge (ZK) proofs.

zksigmoid

An approximation of a sigmoid function as a Circom Circuit