0xMiden / miden-node
Reference implementation of the node for the Polygon Miden rollup
☆61Updated this week
Alternatives and similar repositories for miden-node:
Users that are interested in miden-node are comparing it to the libraries listed below
- Core components of the Miden protocol☆77Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Smart contracts for onchain verification of SP1.☆89Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 7 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 9 months ago
- ☆93Updated this week
- Compiler from MidenIR to Miden Assembly☆73Updated last week
- Polynomials Identity Language☆68Updated last year
- ☆21Updated 8 months ago
- Cryptographic primitives used in Polygon Miden rollup☆112Updated last week
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 10 months ago
- ☆64Updated last year
- ☆58Updated 5 months ago
- ☆51Updated last week
- NodeKit SEQ is a Shared Sequencer Subnet☆20Updated 2 months ago
- zkEVM proof generator reference written in Javascript☆81Updated 2 weeks ago
- A collection of ZK light client libraries for various blockchains☆50Updated 5 months ago
- ☆25Updated last week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆109Updated this week
- ☆60Updated 8 months ago
- Out-of-circuit zkEVM implementation☆80Updated 8 months ago
- Build Cosmos SDK applications on the OP Stack.☆29Updated 4 months ago
- Circom interpreter to arithmetic circuit description☆54Updated 7 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆62Updated last week
- Client library that facilitates interaction with the Miden blockchain☆46Updated this week
- ☆94Updated 8 months ago
- Expander Compiler☆35Updated this week
- OS for next iteration of the world computer☆44Updated last year
- ☆39Updated last month
- Email verification circuit in halo2☆68Updated 10 months ago