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

ZK Circuit Fuzzer (IEEE S&P'26)

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