0xPolygonMiden / crypto
Cryptographic primitives used in Polygon Miden rollup
☆101Updated this week
Related projects ⓘ
Alternatives and complementary repositories for crypto
- Core components of the Polygon Miden rollup☆70Updated this week
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- ☆145Updated 8 months ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 5 months ago
- ☆84Updated this week
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆63Updated last month
- ☆115Updated 2 months ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆58Updated last month
- Compiler from MidenIR to Miden Assembly☆64Updated this week
- Polynomials Identity Language☆67Updated 8 months ago
- ☆122Updated this week
- ☆184Updated this week
- ☆59Updated 2 months ago
- A performant, type-1 zkEVM written in Rust & SP1.☆125Updated 3 weeks ago
- Client library that facilitates interaction with the Miden rollup☆36Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆78Updated 6 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆85Updated 2 weeks ago
- ☆93Updated 2 months ago
- 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
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆117Updated last month
- zkEVM proof generator reference written in Javascript☆77Updated 3 weeks ago
- barretenburg in rust (here we go)☆97Updated 10 months ago
- A domain-specific language for writing AIR constraints for STARKs☆73Updated last month
- The schelling point for ZK applications.☆134Updated 6 months ago
- Out-of-circuit zkEVM implementation☆81Updated 2 months ago
- ☆49Updated last month
- Generates a stark from a pil☆95Updated 3 months ago
- A PoC repo for a HyperNova impl☆83Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆96Updated 2 months ago
- ☆85Updated 3 months ago