0xPolygonMiden / crypto
Cryptographic primitives used in Polygon Miden rollup
☆104Updated this week
Related projects ⓘ
Alternatives and complementary repositories for crypto
- Core components of the Polygon Miden rollup☆73Updated this week
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- Compiler from MidenIR to Miden Assembly☆65Updated this week
- Client library that facilitates interaction with the Miden rollup☆39Updated this week
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆165Updated 3 months ago
- ☆147Updated 8 months ago
- ☆86Updated 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
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 5 months ago
- A storage system inspired by Besu using Starknet Merkle Trees☆60Updated this week
- The schelling point for ZK applications.☆134Updated 6 months ago
- ☆49Updated last week
- A performant, type-1 zkEVM written in Rust & SP1.☆125Updated last month
- ☆126Updated this week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆169Updated 3 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 7 months ago
- 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
- ☆102Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆73Updated last week
- Polynomials Identity Language☆67Updated 8 months ago
- ☆115Updated 3 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆58Updated this week
- ☆59Updated 4 months ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆58Updated last month
- zkEVM proof generator reference written in Javascript☆77Updated 2 weeks ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆158Updated 8 months ago
- halo2 ecc circuit☆114Updated last year
- 🐺 Starknet Rust types 🦀☆66Updated 2 weeks ago
- Wasm friendly Celestia light node implementation in Rust☆122Updated this week