☆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
- ETHDenver 2023 Buidl-a-thon☆15May 27, 2023Updated 3 years ago
- ☆18Nov 9, 2022Updated 3 years ago
- ☆20Apr 1, 2024Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆15Jul 25, 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.
- Safe multi-sig rewritten in Huff☆13Mar 16, 2023Updated 3 years ago
- ☆50May 12, 2023Updated 3 years ago
- Reduce the number of queries to Ethereum☆10Dec 23, 2022Updated 3 years ago
- ☆17Mar 25, 2023Updated 3 years ago
- An end to end test suite for the OP Stack☆17Apr 24, 2023Updated 3 years ago
- ☆13Oct 16, 2023Updated 3 years ago
- A minimal example of recursion in Noir.☆11Oct 21, 2023Updated 3 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- ☆25Apr 22, 2026Updated 6 months ago
- 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.
- Cross-chain message testing for Arbitrum with Foundry☆64Mar 22, 2023Updated 3 years ago
- Trust-minimized commitment pools with zkSNARKs☆37Apr 10, 2023Updated 3 years ago
- Cumsoft [Cursorority_Pak2] Resource☆20Dec 11, 2023Updated 2 years ago
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated 2 years ago
- ☆17Aug 24, 2022Updated 4 years ago
- Blazingly fast function selector miner written in Rust.☆77Apr 7, 2023Updated 3 years ago
- utilities for more granular and realistic gas measuring in forge tests☆29Feb 9, 2024Updated 2 years ago
- Gather blocks and headers from an ethers provider☆17Oct 6, 2022Updated 4 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This repo reflects the tests conducted by Nescience Team on selected zkVMs.☆12Aug 18, 2025Updated last year
- Whitenoise CTF I: Doves in the Wind☆20Oct 11, 2022Updated 4 years ago
- ☆19Dec 9, 2022Updated 3 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 4 years ago
- ☆18Oct 13, 2022Updated 4 years ago
- ☆34Jan 4, 2024Updated 2 years ago
- A Zig implementation of Ethereum stealth addresses (ERC-5564)☆34May 4, 2024Updated 2 years ago
- Verifying curve25519-dalek using Lean☆14Oct 12, 2026Updated 2 weeks ago
- ☆11Dec 3, 2025Updated 10 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Formal verification tool for Noir programs using the Rocq system☆12May 28, 2025Updated last year
- A collection of all the project ideas involving zk, blockchains & what not☆23Aug 30, 2023Updated 3 years ago
- IOTA community initiative to solve issues and implement suggestions prioritized by the community.☆10Sep 3, 2021Updated 5 years ago
- Gnosis Safe Tx Service API client & associated tooling☆21Apr 7, 2023Updated 3 years ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆132Jan 4, 2023Updated 3 years ago
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆49Mar 5, 2023Updated 3 years ago
- Partial Block Building with TEEs☆19Mar 27, 2024Updated 2 years ago