Compiler from Rust to Miden Assembly
☆104Feb 27, 2026Updated this week
Alternatives and similar repositories for compiler
Users that are interested in compiler are comparing it to the libraries listed below
Sorting:
- Core components of the Miden protocol☆112Updated this week
- Client library that facilitates interaction with the Miden blockchain☆61Updated this week
- Cryptographic primitives used in Polygon Miden rollup☆132Updated this week
- Reference implementation of the node for the Miden blockchain☆91Updated this week
- A domain-specific language for writing AIR constraints for STARKs☆94Updated this week
- NodeKit SEQ is a Shared Sequencer Subnet☆20Mar 4, 2025Updated 11 months ago
- ☆39Jul 12, 2024Updated last year
- STARK-based virtual machine☆729Updated this week
- High performance EraVM for zkSync.☆23Updated this week
- ☆99Jul 17, 2025Updated 7 months ago
- General purpose Blended Execution layer☆56Feb 14, 2026Updated 2 weeks ago
- Collection of Useful Bridge Building Tools 🏗️☆14Jan 11, 2021Updated 5 years ago
- Examples of using Polygon Miden☆21Aug 25, 2025Updated 6 months ago
- Reference implementation of the Cartesi Rollups Node☆28Feb 23, 2026Updated last week
- Nova Wallet iOS is a next gen application for Polkadot & Kusama ecosystem, transparent & community-oriented, focused on convenient UX/UI,…☆60Feb 10, 2026Updated 3 weeks ago
- Polyhedra ZK knowledge base☆25Oct 28, 2024Updated last year
- ☆20Nov 3, 2025Updated 4 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Feb 12, 2025Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆88Mar 3, 2025Updated last year
- Expander Compiler☆42Feb 22, 2026Updated last week
- ☆22Aug 19, 2024Updated last year
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 10 months ago
- Default GitHub configuration files for Kroma☆12Jun 10, 2024Updated last year
- ☆12Oct 4, 2023Updated 2 years ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆85Updated this week
- ☆50Aug 7, 2024Updated last year
- SubWallet is the comprehensive non-custodial wallet solution for Polkadot, Substrate & Ethereum ecosystems☆41Updated this week
- ☆23Jun 12, 2025Updated 8 months ago
- Implementation of the BLS12-381 pairing-friendly elliptic curve group with extra features needed by the Dusk-Network team☆23Feb 2, 2026Updated last month
- Nova Spektr — All-in-one Polkadot desktop wallet supporting multisigs, staking, light clients, and more☆54Updated this week
- Vimana is an orchestration client that aims to abstract away complexities in operationalizing networks with minimal setup.☆31Sep 11, 2025Updated 5 months ago
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 4 months ago
- ☆854Jul 1, 2025Updated 8 months ago
- ☆26Feb 17, 2026Updated 2 weeks ago
- No description☆50Oct 27, 2025Updated 4 months ago
- ☆18Jul 16, 2025Updated 7 months ago
- Agglayer Smart Contracts☆310Feb 20, 2026Updated last week
- This is the project 0x00.Shell, basics repository.☆11May 28, 2021Updated 4 years ago