0xPolygonHermez / pilcom
Polynomials Identity Language
☆67Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for pilcom
- Generates a stark from a pil☆95Updated 3 months ago
- ☆85Updated 3 months ago
- Circom interpreter to arithmetic circuit description☆50Updated 2 months ago
- ☆85Updated this week
- ☆94Updated 3 months ago
- A PoC repo for a HyperNova impl☆83Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆96Updated 2 months ago
- ☆117Updated 2 months ago
- ☆147Updated 8 months ago
- halo2 ecc circuit☆114Updated last year
- A FRI verifier circuit for the Halo2 proof system☆73Updated last year
- ☆60Updated 8 months ago
- Email verification circuit in halo2☆63Updated 4 months ago
- Benchmarks of popular zkVMs including Jolt☆57Updated 7 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆102Updated last year
- barretenburg in rust (here we go)☆97Updated 10 months ago
- Technical documentation of the zkEVM☆88Updated 5 months ago
- Benchmark of multiple zk implementations.☆82Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆63Updated last month
- OS for next iteration of the world computer☆45Updated last year
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆97Updated this week
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A curated list of repos related to Circom☆94Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago
- ☆191Updated last week
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated 10 months ago
- Kate commitment based PLONK recursive aggregation circuit☆40Updated 11 months ago
- Experimental folding schemes library☆204Updated this week