☆12Mar 30, 2023Updated 3 years ago
Alternatives and similar repositories for mini-zkvm
Users that are interested in mini-zkvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆41Aug 31, 2023Updated 3 years ago
- ☆18Nov 9, 2022Updated 3 years ago
- ETHDenver 2023 Buidl-a-thon☆15May 27, 2023Updated 3 years ago
- ☆19Apr 1, 2024Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Safe multi-sig rewritten in Huff☆13Mar 16, 2023Updated 3 years ago
- Reduce the number of queries to Ethereum☆10Dec 23, 2022Updated 3 years ago
- ☆17Mar 25, 2023Updated 3 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- ☆13Oct 16, 2023Updated 2 years ago
- ☆25Apr 22, 2026Updated 4 months ago
- Cross-chain message testing for Arbitrum with Foundry☆66Mar 22, 2023Updated 3 years ago
- Trust-minimized commitment pools with zkSNARKs☆37Apr 10, 2023Updated 3 years ago
- ☆17Aug 24, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Whitenoise CTF I: Doves in the Wind☆20Oct 11, 2022Updated 3 years ago
- powdr application running Ethereum tests via revm☆18Jun 24, 2024Updated 2 years ago
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated 2 years ago
- Gnosis Safe Tx Service API client & associated tooling☆21Apr 7, 2023Updated 3 years ago
- Gather blocks and headers from an ethers provider☆17Oct 6, 2022Updated 3 years ago
- Blazingly fast function selector miner written in Rust.☆78Apr 7, 2023Updated 3 years ago
- Partial Block Building with TEEs☆19Mar 27, 2024Updated 2 years ago
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.☆10Mar 17, 2023Updated 3 years ago
- ☆51May 12, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆19Dec 9, 2022Updated 3 years ago
- utilities for more granular and realistic gas measuring in forge tests☆29Feb 9, 2024Updated 2 years ago
- IOTA community initiative to solve issues and implement suggestions prioritized by the community.☆10Sep 3, 2021Updated 4 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- ☆18Oct 13, 2022Updated 3 years ago
- ☆10Dec 3, 2025Updated 8 months ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆131Jan 4, 2023Updated 3 years ago
- ☆23Mar 6, 2023Updated 3 years ago
- ☆15Jun 20, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆41Apr 23, 2025Updated last year
- A template for noir.☆143Nov 24, 2023Updated 2 years ago
- A Zig implementation of Ethereum stealth addresses (ERC-5564)☆33May 4, 2024Updated 2 years ago
- A collection of all the project ideas involving zk, blockchains & what not☆23Aug 30, 2023Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆52Sep 13, 2022Updated 3 years ago
- ☆39Oct 25, 2025Updated 10 months ago
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆49Mar 5, 2023Updated 3 years ago