zk-autoresearch — autonomous LLM agent optimizing a production ZK prover via benchmark feedback loop. First known application of Karpathy's autoresearch pattern to a ZK proof system.
☆27Sep 15, 2026Updated last month
Alternatives and similar repositories for zk-autoresearch
Users that are interested in zk-autoresearch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Sep 12, 2026Updated last month
- ethproofs monorepo☆21Feb 12, 2026Updated 8 months ago
- A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.☆39Jun 24, 2026Updated 4 months ago
- C implementation of Lean consensus for post-quantum Ethereum.☆15Oct 8, 2026Updated 2 weeks ago
- ☆95Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 9vms Global Cloud Servers: Starting at $49.95/month — Enterprise Dedicated Servers with Unlimited Traffic & High-Performance Bare Metal☆95Oct 7, 2026Updated 2 weeks ago
- AMM optimized for 10,000 stablecoins in 1 pool.☆14Jun 17, 2025Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆155Sep 17, 2026Updated last month
- Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture☆33Sep 28, 2026Updated 3 weeks ago
- Binary Proofs, Blazing Fast☆206Oct 12, 2026Updated last week
- Stress Testing ZK Systems Through Maximum Pain☆28Jan 28, 2026Updated 8 months ago
- Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡☆79Updated this week
- Formally Verified Arguments of Knowledge in Lean☆348Updated this week
- WITNESS Protocol - Core Contracts☆18Sep 10, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆35Nov 17, 2024Updated last year
- trusted setup MPC tools☆12Apr 5, 2020Updated 6 years ago
- A ML-based tyre strategy engine based on real-time F1 data☆30Oct 17, 2026Updated last week
- Minimal zkVM for Ethereum.☆175Updated this week
- ☆23Sep 18, 2019Updated 7 years ago
- RISC-V prover system☆55May 1, 2026Updated 5 months ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 3 years ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆22Feb 26, 2026Updated 7 months ago
- ☆21Jul 23, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆23May 18, 2026Updated 5 months ago
- ☆27Oct 15, 2023Updated 3 years ago
- Zero-Knowledge Database 🧠☆11Dec 14, 2024Updated last year
- Client side zero-knowledge proving.☆147Updated this week
- Another Minecraft clone, written in Rust.☆14Updated this week
- ☆69Apr 1, 2026Updated 6 months ago
- A curated list of zkVM, zero-knowledge virtual machine☆331Sep 29, 2025Updated last year
- ☆33Feb 14, 2025Updated last year
- ☆16Jun 25, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Metadata-first trust control plane for authorized security workflows, evidence retention, release trust, and business-flow proof.☆14Aug 11, 2026Updated 2 months ago
- pseudonymous transfers of Ether tokens using create2 & selfdestruct()☆32Oct 27, 2022Updated 3 years ago
- Simulate txs to human readable format☆29Feb 20, 2026Updated 8 months ago
- A tool for referencing the Ethereum specifications in clients☆11Updated this week
- build hercules hyperion☆12Mar 21, 2026Updated 7 months ago
- The Valida execution engine, prover, and verifier☆32Oct 6, 2025Updated last year
- ☆13Jun 15, 2025Updated last year