☆37Jul 3, 2026Updated this 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 6 months ago
- Our latest brand assets and guidelines☆17May 1, 2024Updated 2 years ago
- Miden tutorials for a smooth onboarding☆15Jul 2, 2026Updated last week
- adamant.finance contracts☆18Jul 10, 2021Updated 4 years ago
- Client library that facilitates interaction with the Miden blockchain☆74Updated 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 collection of awesome Miden links, resources and shiny things.☆18Jun 12, 2025Updated last year
- 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☆127Updated this week
- 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 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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☆100Updated this week
- A minimalist TUI block explorer for Ethereum networks☆23May 28, 2025Updated last year
- Spark is a DeFi super app on the Fuel.network☆10May 13, 2025Updated last year
- bignum☆31Apr 13, 2026Updated 2 months ago
- Solidity snippets for integrating and using Uniswap v4, a fork of solidity-by-example☆14May 31, 2024Updated 2 years ago
- A Rust library to interact with ERC-20 contracts using Alloy.☆15Apr 29, 2026Updated 2 months ago
- A test suite for working with Uniswap v4 Hooks☆12Jun 20, 2023Updated 3 years ago
- An implementation of the Paillier cryptosystem☆19Nov 4, 2024Updated last year
- 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.
- 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
- Cryptographic primitives used in Polygon Miden rollup☆136Updated this week
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆64Jul 27, 2024Updated last year
- Ethereum indexer using Reth Execution Extensions (ExEx)☆31Nov 18, 2025Updated 7 months ago
- [DEPRECATED] The GPU code of the latest version of SP1 is in the main sp1 repo https://github.com/succinctlabs/sp1☆33Feb 19, 2026Updated 4 months ago
- ☆15Jul 13, 2024Updated last year
- 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.
- A monorepo of reusable crates for zero-knowledge technologies.☆22Feb 8, 2026Updated 5 months ago
- ☆16Nov 17, 2024Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆57Nov 27, 2023Updated 2 years ago
- General Equilibrium (GE) Gravity model in python☆14Jul 15, 2024Updated last year
- This repo explains the design and usage of Unified Bridge and Bridge-and-Call.☆18Apr 24, 2025Updated last year
- A SNARK using towers of binary fields, implemented in Rust .☆136Sep 9, 2025Updated 10 months ago
- High performance EraVM for zkSync.☆23Jul 2, 2026Updated last week