PolyhedraZK/ExpanderCompilerCollection external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

PolyhedraZK/ExpanderCompilerCollection

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/PolyhedraZK/ExpanderCompilerCollection)

Close

PolyhedraZK / ExpanderCompilerCollectionView on GitHubMore

• External links
• Readme badge

Expander Compiler

☆42Updated this week

Alternatives and similar repositories for ExpanderCompilerCollection

Users that are interested in ExpanderCompilerCollection are comparing it to the libraries listed below

• PolyhedraZK / awesome-expander

  View on GitHub
  Polyhedra ZK knowledge base
  ☆25Oct 28, 2024Updated last year
• PolyhedraZK / Expander

  View on GitHub
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆142Updated this week
• privacy-ethereum / sol-whir

  View on GitHub
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Dec 19, 2024Updated last year
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Feb 12, 2026Updated 2 weeks ago
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 3 months ago
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Nov 9, 2025Updated 3 months ago
• Okm165 / binius-web-snark

  View on GitHub
  Binius circuits web demos
  ☆14Dec 15, 2024Updated last year
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• openvm-org / stark-backend

  View on GitHub
  Proof system backends for OpenVM.
  ☆34Updated this week
• succinctlabs / kzg-rs

  View on GitHub
  Rust implementation of KZG point evaluation
  ☆35Feb 16, 2026Updated last week
• b-wagn / hash-sig

  View on GitHub
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆47Dec 18, 2025Updated 2 months ago
• 0xPolygonZero / zk_evm

  View on GitHub
  ☆100May 2, 2025Updated 9 months ago
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark

  View on GitHub
  Building blocks of a Circle STARK verifier in Bitcoin script
  ☆159Dec 3, 2025Updated 2 months ago
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• babybear-labs / benchmark

  View on GitHub
  Benchmark of ZKVMs and Proving Schemes
  ☆32Dec 12, 2025Updated 2 months ago
• coset-io / zkp-academy

  View on GitHub
  A month-long zkp study group, one topic at a time.
  ☆184Jul 28, 2025Updated 7 months ago
• matter-labs / zksync-crypto-gpu

  View on GitHub
  GPU-acceselerated cryptography libraries for ZKsync
  ☆22Feb 20, 2026Updated last week
• DelphinusLab / zkWasm-prover

  View on GitHub
  ☆20Jul 10, 2025Updated 7 months ago
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 10 months ago
• zypher-game / uzkge

  View on GitHub
  Universal zero knowledge game engine based on PLONK
  ☆13Feb 7, 2025Updated last year
• 0xEigenLabs / eigen-zeth

  View on GitHub
  A "Type 0" zkEVM
  ☆12Jul 16, 2025Updated 7 months ago
• scroll-tech / ceno

  View on GitHub
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆135Feb 13, 2026Updated 2 weeks ago
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• varun-doshi / eth-binary-tree

  View on GitHub
  Rust Implementation of Ethereum Binary Tree EIP-7864
  ☆16Jul 13, 2025Updated 7 months ago
• 0xPolygonZero / plonky2-ecdsa

  View on GitHub
  ECDSA gadgets for plonky2
  ☆19Oct 20, 2023Updated 2 years ago
• arkworks-rs / sumcheck

  View on GitHub
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆86Nov 21, 2025Updated 3 months ago
• hash-based-snargs-book / hash-based-snargs-book

  View on GitHub
  Source code for "Building Cryptographic Proofs from Hash Functions"
  ☆225Dec 4, 2025Updated 2 months ago
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• privacy-ethereum / chiquito

  View on GitHub
  DSL for Halo2 circuits
  ☆188Nov 4, 2024Updated last year
• iden3 / wasmcurves

  View on GitHub
  Web Assembly low level implementation of pairing friendly curves.
  ☆15Feb 10, 2026Updated 2 weeks ago
• ret2basic / ZK-by-Hand

  View on GitHub
  My talks on zk: Groth16, Plonk, and STARK
  ☆12Aug 22, 2024Updated last year
• zkmopro / gpu-acceleration

  View on GitHub
  Explorations on mobile-first GPU acceleration, currently support MSM.
  ☆28Aug 19, 2025Updated 6 months ago
• lurk-lang / arecibo

  View on GitHub
  An advanced fork of Nova (contact:@huitseeker)
  ☆88Mar 3, 2025Updated 11 months ago
• WizardOfMenlo / whir

  View on GitHub
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆189Updated this week
• Determinant / phd-dissertation

  View on GitHub
  My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems
  ☆15Sep 10, 2021Updated 4 years ago