PolyhedraZK / ExpanderCompilerCollection

Related projects ⓘ

Alternatives and complementary repositories for ExpanderCompilerCollection

• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆30Updated last week
• PolyhedraZK / blogs
  Polyhedra ZK knowledge base
  ☆17Updated last week
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆53Updated this week
• DoHoonKim8 / halo2-lasso
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆30Updated 8 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆32Updated this week
• scroll-tech / ceno
  Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆34Updated this week
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆18Updated last month
• DelphinusLab / halo2-gpu-specific
  ☆36Updated last week
• DelphinusLab / zkWasm-host-circuits
  ☆24Updated last week
• 0xPolygonZero / zk_evm
  ☆84Updated this week
• QEDProtocol / plonky2.5
  🪩 verify plonky3 proofs in plonky2
  ☆19Updated 7 months ago
• z-prize / 2023-entries
  Source code for all entries from the 2023 ZPrize competition
  ☆21Updated this week
• brech1 / keaki
  Extractable Witness Encryption for KZG Commitments
  ☆26Updated 2 weeks ago
• starkware-libs / stwo-cairo
  ☆24Updated this week
• scroll-tech / stateless-block-verifier
  ☆42Updated this week
• argumentcomputer / sphinx
  An observatory fork of SP1 (contact: @huitseeker)
  ☆47Updated this week
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 4 months ago
• argumentcomputer / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆17Updated last month
• pseXperiments / cuda-sumcheck
  Experimental implementation of Sumcheck protocol using CUDA
  ☆13Updated this week
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated last week
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated 2 months ago
• ingonyama-zk / super-sumcheck
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆35Updated 7 months ago
• privacy-scaling-explorations / zk-kit.rust
  A monorepo of reusable crates for zero-knowledge technologies.
  ☆10Updated 3 weeks ago
• ICME-Lab / zkEngine_dev
  A world's first zkWASM with a SuperNova backend
  ☆19Updated this week
• succinctlabs / vectorx
  Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
  ☆45Updated 5 months ago
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 2 months ago
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆45Updated last year
• sideprotocol / plonky2-gpu
  ☆20Updated 10 months ago
• 0xPolygonZero / zero-bin
  plonky2 proving over paladin
  ☆24Updated 4 months ago
• ChainSafe / Spectre
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆58Updated last month