snark.fast
snark.fast operates a public benchmarking platform that measures post-quantum proof compression performance for Ethereum on x86 architecture. The platform runs a rigorous evaluation protocol where each submission executes 262,144 compression operations across 100 fresh worker runs, with every proof validated by a pinned trusted verifier. Results are displayed on a live leaderboard, with the current top submission achieving 2,007,919 compressions per second.
- Blockchain & Cryptocurrency
- Developer Tools
- Web3 & NFTs
- Data & Analytics
- Software Only
- Artificial Intelligence
Funding
Founders
Founder details are not available yet.
Product
Problem
Post-quantum cryptographic schemes for Ethereum face significant performance bottlenecks, particularly in proof generation and compression throughput on standard x86 hardware. Without standardized, verifiable benchmarks, developers struggle to compare optimization approaches, slowing the adoption of quantum-resistant solutions.
Solution
snark.fast operates a public benchmarking platform that measures post-quantum proof compression performance for Ethereum on x86 architecture. The platform runs a rigorous evaluation protocol: each submission executes 262,144 compression operations across 100 fresh worker runs, with the median time recorded and every proof validated by a pinned trusted verifier. Results are displayed on a live leaderboard that tracks throughput improvements, with the current top submission achieving 2,007,919 compressions per second. The platform also maintains per-solver contribution ledgers and run notes, enabling transparent tracking of optimization progress over time.
Target Audience
Primary users are cryptographic engineers, zero-knowledge proof developers, and blockchain infrastructure teams working on post-quantum optimization for Ethereum and related systems.
Features
- Standardized benchmark protocol using 262,144 compression operations per trial across 100 fresh worker runs
- Pinned trusted verifier that checks every proof before results are accepted
- Public leaderboard ranking submissions by throughput, with 200 promoted submissions from 27 solvers
- Per-solver contribution ledgers and detailed run notes for each submission
- Support for multiple AI-assisted solver approaches, including Fable, GPT, DeepSeek, and Opus model variants
- Proof size tracking, with current submissions averaging approximately 429 KiB per proof