Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Spartan: High-speed zkSNARKs without trusted setup

Making client-side proving on mobile simple.

WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

Circom interpreter to arithmetic circuit description

SMT 2023 Submission; license pending

Spartan on Arkworks

ZK Circuit Fuzzer (IEEE S&P'26)

For practice to using halo2

Compares gas usage in Solidity projects using Foundry and comments the changes on the PR

A practically efficient hash-based succinct argument that bypasses the arithmetization overheads

Include halo2 example circuits from haichen