0xPolygonMiden / miden-base
Core components of the Polygon Miden rollup
☆67Updated this week
Related projects: ⓘ
- Cryptographic primitives used in Polygon Miden rollup☆97Updated this week
- Reference implementation of the node for the Polygon Miden rollup☆52Updated this week
- Client library that facilitates interaction with the Miden rollup☆32Updated this week
- Compiler from MidenIR to Miden Assembly☆62Updated this week
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆60Updated this week
- 🐺 Starknet Rust types 🦀☆62Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆53Updated this week
- A performant, type-1 zkEVM written in Rust & SP1.☆124Updated this week
- ☆79Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆55Updated last week
- A storage system inspired by Besu using Starknet Merkle Trees☆54Updated 2 months ago
- ☆45Updated this week
- ☆73Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated last month
- Poseidon hash circuit☆88Updated last week
- The schelling point for ZK applications.☆135Updated 4 months ago
- ☆34Updated this week
- ☆59Updated last month
- Polynomials Identity Language☆67Updated 6 months ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆46Updated 3 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆62Updated this week
- ☆144Updated 6 months ago
- Verifier contracts for onchain verification of SP1.☆55Updated this week
- Starknet Core Contract components in Cairo.☆25Updated last week
- NodeKit SEQ is a Shared Sequencer Subnet☆17Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆77Updated 5 months ago
- Bridge from Mina to Ethereum☆77Updated this week
- Out-of-circuit zkEVM implementation☆81Updated last month
- ☆59Updated last month
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆77Updated 11 months ago