PolyhedraZK / ExpanderCompilerCollection

Related projects ⓘ

Alternatives and complementary repositories for ExpanderCompilerCollection

• PolyhedraZK / blogs
  Polyhedra ZK knowledge base
  ☆17Updated 3 weeks ago
• succinctlabs / vectorx
  Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
  ☆45Updated 5 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆36Updated this week
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆30Updated 3 weeks ago
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆53Updated this week
• ChainSafe / Spectre
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆58Updated last month
• starkware-libs / stwo-cairo
  ☆27Updated this week
• argumentcomputer / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆17Updated last month
• QEDProtocol / plonky2.5
  🪩 verify plonky3 proofs in plonky2
  ☆19Updated 7 months ago
• scroll-tech / stateless-block-verifier
  ☆43Updated this week
• DoHoonKim8 / halo2-lasso
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆30Updated 8 months ago
• z-prize / 2023-entries
  Source code for all entries from the 2023 ZPrize competition
  ☆22Updated 2 weeks ago
• 0xPolygonZero / zk_evm
  ☆85Updated this week
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆18Updated 2 months ago
• DelphinusLab / halo2-gpu-specific
  ☆37Updated 3 weeks ago
• DelphinusLab / zkWasm-host-circuits
  ☆24Updated 3 weeks ago
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated 3 months ago
• privacy-scaling-explorations / zk-kit.rust
  A monorepo of reusable crates for zero-knowledge technologies.
  ☆10Updated last month
• brech1 / keaki
  Extractable Witness Encryption for KZG Commitments
  ☆26Updated last month
• ingonyama-zk / super-sumcheck
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆35Updated last week
• pseXperiments / cuda-sumcheck
  Experimental implementation of Sumcheck protocol using CUDA
  ☆15Updated last week
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 4 months ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 3 weeks ago
• scroll-tech / ceno
  Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆52Updated this week
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆30Updated this week
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆38Updated 2 months ago
• scroll-tech / poseidon-circuit
  Poseidon hash circuit
  ☆94Updated 3 weeks ago
• arnaucube / nova-study
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆43Updated last year
• privacy-scaling-explorations / zkevm-docs
  AppliedZKP's zkEVM Documentation
  ☆23Updated 4 months ago
• 0xPolygonZero / zero-bin
  plonky2 proving over paladin
  ☆24Updated 5 months ago