☆37Apr 30, 2026Updated last week
Alternatives and similar repositories for pragma-miden
Users that are interested in pragma-miden are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆43Dec 26, 2025Updated 4 months ago
- Our latest brand assets and guidelines☆17May 1, 2024Updated 2 years ago
- Miden tutorials for a smooth onboarding☆14Apr 28, 2026Updated last week
- adamant.finance contracts☆18Jul 10, 2021Updated 4 years ago
- Examples of using Polygon Miden☆21Aug 25, 2025Updated 8 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Client library that facilitates interaction with the Miden blockchain☆70May 2, 2026Updated last week
- A collection of awesome Miden links, resources and shiny things.☆18Jun 12, 2025Updated 10 months ago
- ☆17May 11, 2022Updated 3 years ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- A simple library to better manage AI prompts in your Rust code.☆14Apr 29, 2024Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- ☆12Aug 19, 2024Updated last year
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Feb 21, 2025Updated last year
- Core components of the Miden protocol☆114Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Reth Execution Extension (ExEx) with shared object (.so / .dylib) plugins☆16Oct 12, 2024Updated last year
- My Submission for the Eth-Tokyo Hackathon☆12May 16, 2023Updated 2 years ago
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago
- Reference implementation of the node for the Miden blockchain☆92Updated this week
- A minimalist TUI block explorer for Ethereum networks☆23May 28, 2025Updated 11 months ago
- RETIRED, Sahara Horizon plugin. Mirror of code maintained at opendev.org.☆47May 15, 2024Updated last year
- Spark is a DeFi super app on the Fuel.network☆10May 13, 2025Updated 11 months ago
- bignum☆30Apr 13, 2026Updated 3 weeks ago
- Solidity snippets for integrating and using Uniswap v4, a fork of solidity-by-example☆14May 31, 2024Updated last year
- 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.
- A Rust library to interact with ERC-20 contracts using Alloy.☆15Apr 29, 2026Updated last week
- A test suite for working with Uniswap v4 Hooks☆12Jun 20, 2023Updated 2 years ago
- An implementation of the Paillier cryptosystem☆17Nov 4, 2024Updated last year
- A suite of portable, extensible `std` components for the superchain.☆21Jan 20, 2025Updated last year
- ☆24Nov 11, 2024Updated last year
- EraVM implementation☆19Sep 5, 2024Updated last year
- 6.858 final project.☆18Jan 14, 2016Updated 10 years ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆65Jul 27, 2024Updated last year
- Ethereum indexer using Reth Execution Extensions (ExEx)☆29Nov 18, 2025Updated 5 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- [DEPRECATED] The GPU code of the latest version of SP1 is in the main sp1 repo https://github.com/succinctlabs/sp1☆33Feb 19, 2026Updated 2 months ago
- ☆15Jul 13, 2024Updated last year
- A monorepo of reusable crates for zero-knowledge technologies.☆22Feb 8, 2026Updated 3 months ago
- ☆16Nov 17, 2024Updated last year
- 🚀 this project aims to develop an app using an existing open-source LLM with data collected for domain-specific Jenkins knowledge that c…☆12Aug 29, 2024Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆57Nov 27, 2023Updated 2 years ago
- This repo explains the design and usage of Unified Bridge and Bridge-and-Call.☆18Apr 24, 2025Updated last year