using agents to monitor proving training and inference techniques
☆29Jul 16, 2026Updated 3 months ago
Alternatives and similar repositories for awesome-zk-ai
Users that are interested in awesome-zk-ai are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆14Sep 28, 2025Updated last year
- A monorepo of reusable crates for zero-knowledge technologies.☆23Feb 8, 2026Updated 8 months ago
- Trustless Randomness Generation on Bitcoin☆15Jun 18, 2025Updated last year
- ☆45Oct 6, 2026Updated 2 weeks ago
- Make your zero-knowledge circuits safe with formal verification. 🍀☆35Aug 24, 2026Updated last month
- 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.
- ☆32Oct 27, 2025Updated 11 months ago
- Verifiable FHE with GKR☆27Oct 5, 2024Updated 2 years ago
- The Valida execution engine, prover, and verifier☆32Oct 6, 2025Updated last year
- Post-quantum cryptography in Rust☆68Oct 5, 2026Updated 2 weeks ago
- Awesome things around client-side GPU ecosystems.☆18Mar 23, 2026Updated 7 months ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated last year
- ☆12Jun 5, 2025Updated last year
- ☆21Apr 24, 2024Updated 2 years ago
- awesome-fhenix is a curated collection of resources for building with Fhenix and the CoFHE coprocessor☆16Feb 23, 2026Updated 8 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.
- Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI☆15Apr 6, 2026Updated 6 months ago
- implentation of Ligerito☆20Apr 16, 2026Updated 6 months ago
- Solidity implementation of the Renegade darkpool☆13Mar 26, 2026Updated 6 months ago
- Rust implementation of KZG point evaluation☆36May 7, 2026Updated 5 months ago
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated 2 years ago
- A curated list of awesome things related to learning Binius☆17Jan 9, 2025Updated last year
- A parallel proving service for ZKM.☆22Oct 5, 2026Updated 2 weeks ago
- Rust implementation of the current leanSig proposal.☆49Apr 29, 2026Updated 5 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A browser-focused Tor client written in Rust and compiled to WebAssembly (WASM)☆26Updated this week
- ☆16May 28, 2026Updated 4 months ago
- Node module for scanning and visualize Solana accounts☆39Oct 14, 2026Updated last week
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆56Dec 18, 2025Updated 10 months ago
- Common MPC Pitfalls☆22Jul 15, 2026Updated 3 months ago
- An API compatible port of the Stone prover.☆20Nov 4, 2024Updated last year
- Noir support for Zed☆12Mar 23, 2026Updated 7 months ago
- For practice to using halo2☆22Jun 7, 2023Updated 3 years ago
- Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡☆79Oct 7, 2026Updated 2 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An open-source protocol and distributed network for confidential coordination.☆85Updated this week
- Read dex state (e.g. Uniswap) from reth db☆29Oct 20, 2024Updated 2 years ago
- Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.☆32Sep 30, 2026Updated 3 weeks ago
- Building Zero Knowledge Proof from Scratch in Rust☆54Nov 10, 2025Updated 11 months ago
- Introduction to various ZK languages☆88Sep 5, 2025Updated last year
- zk-autoresearch — autonomous LLM agent optimizing a production ZK prover via benchmark feedback loop. First known application of Karpathy…☆27Sep 15, 2026Updated last month
- Circom to Gnark Groth16 parser and recursion example☆18Aug 28, 2026Updated last month