0xPolygonMiden / compiler
Compiler from MidenIR to Miden Assembly
☆65Updated this week
Related projects ⓘ
Alternatives and complementary repositories for compiler
- Core components of the Polygon Miden rollup☆73Updated this week
- Client library that facilitates interaction with the Miden rollup☆39Updated this week
- Cryptographic primitives used in Polygon Miden rollup☆104Updated this week
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆59Updated this week
- ☆124Updated this week
- Poseidon hash circuit☆94Updated 3 weeks ago
- ☆85Updated this week
- The schelling point for ZK applications.☆134Updated 6 months ago
- ☆49Updated last week
- A storage system inspired by Besu using Starknet Merkle Trees☆59Updated 2 weeks ago
- halo2 ecc circuit☆114Updated last year
- Out-of-circuit zkEVM implementation☆81Updated 3 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆86Updated last month
- A performant, type-1 zkEVM written in Rust & SP1.☆125Updated last month
- ☆60Updated 6 months ago
- ☆59Updated 4 months ago
- Smart contracts for onchain verification of SP1.☆59Updated 2 weeks ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 5 months ago
- An advanced fork of Nova (contact:@huitseeker)☆80Updated last week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆58Updated last month
- ☆59Updated 3 months ago
- ☆115Updated 3 months ago
- Polynomials Identity Language☆67Updated 8 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 7 months ago
- 🐺 Starknet Rust types 🦀☆66Updated 2 weeks ago
- Rust implementation of the Agglayer.☆74Updated this week
- ☆30Updated this week
- ☆43Updated this week