0xPolygonMiden / crypto
Cryptographic primitives used in Polygon Miden rollup
☆111Updated last month
Alternatives and similar repositories for crypto:
Users that are interested in crypto are comparing it to the libraries listed below
- Core components of the Polygon Miden rollup☆77Updated this week
- Reference implementation of the node for the Polygon Miden rollup☆61Updated this week
- ☆92Updated 4 months ago
- ☆150Updated last year
- Compiler from MidenIR to Miden Assembly☆71Updated 2 weeks ago
- Client library that facilitates interaction with the Miden rollup☆45Updated this week
- ☆56Updated 5 months ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 10 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆99Updated this week
- Succinct's Production-Grade Proving Engine for the OP Stack☆154Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 6 months ago
- ☆115Updated 8 months ago
- Polynomials Identity Language☆68Updated last year
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆92Updated this week
- ☆142Updated last month
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆158Updated 3 months ago
- The schelling point for ZK applications.☆137Updated 11 months ago
- Out-of-circuit zkEVM implementation☆80Updated 8 months ago
- Generates a stark from a pil☆95Updated 8 months ago
- An advanced fork of Nova (contact:@huitseeker)☆83Updated last month
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆187Updated this week
- ☆94Updated 8 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆98Updated this week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆174Updated 8 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆91Updated last month
- ☆98Updated 8 months ago
- Smart contracts for onchain verification of SP1.☆88Updated last month
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- halo2 ecc circuit☆116Updated 2 years ago