0xPolygonHermez / pil-stark
Generates a stark from a pil
☆94Updated last month
Related projects: ⓘ
- Polynomials Identity Language☆67Updated 6 months ago
- halo2 ecc circuit☆110Updated last year
- Out-of-circuit zkEVM implementation☆81Updated last month
- ☆144Updated 6 months ago
- ☆115Updated last month
- Technical documentation of the zkEVM☆86Updated 3 months ago
- ☆182Updated this week
- ☆93Updated last month
- The schelling point for ZK applications.☆135Updated 4 months ago
- ☆85Updated last month
- ☆133Updated this week
- This repo contains the zkasm source code of the zkEVM☆124Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆183Updated this week
- ☆116Updated this week
- Experimental folding schemes library☆186Updated this week
- ☆119Updated this week
- Benchmark of multiple zk implementations.☆83Updated last year
- Core components of the Polygon Miden rollup☆67Updated this week
- DSL for Halo2 circuits☆185Updated 3 weeks ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Updated last year
- ☆79Updated this week
- zkevm-chain: Deprecated☆86Updated last year
- Circom interpreter to arithmetic circuit description☆41Updated last week
- zkEVM proof generator reference written in Javascript☆77Updated 2 weeks ago
- A performant, type-1 zkEVM written in Rust & SP1.☆124Updated this week
- ☆94Updated last month
- ☆73Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆55Updated last week
- Cryptographic primitives used in Polygon Miden rollup☆97Updated this week
- ☆170Updated last week