Layr-Labs / rust-kzg-bn254

Related projects: ⓘ

• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆27Updated last week
• DoHoonKim8 / stark-verifier
  ☆44Updated 6 months ago
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated last month
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• scroll-tech / stateless-block-verifier
  ☆34Updated this week
• privacy-scaling-explorations / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆42Updated last year
• DelphinusLab / zkWasm-host-circuits
  ☆22Updated 2 weeks ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆21Updated this week
• 0xPolygonHermez / zkasmcom
  This repo compiles .zkasm to a json ready for the zkExecutor
  ☆29Updated 4 months ago
• privacy-scaling-explorations / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆37Updated last year
• DoHoonKim8 / halo2-lasso
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆29Updated 6 months ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆36Updated last year
• lambdaclass / era_vm
  EraVM implementation
  ☆19Updated 2 weeks ago
• succinctlabs / plonky3
  ☆23Updated 5 months ago
• ingonyama-zk / super-sumcheck
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆34Updated 5 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆40Updated last week
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆47Updated last year
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated last month
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆20Updated last year
• han0110 / halo2-kzg-srs
  ☆32Updated 8 months ago
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆36Updated last month
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆49Updated 5 months ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated 8 months ago
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆28Updated last year
• privacy-scaling-explorations / multisetups
  A simple, IPFS-based multi-party trusted setup utility for snarkjs
  ☆27Updated last year
• EDGDrummond / EF-grant
  ☆23Updated 10 months ago
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆69Updated 4 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆23Updated this week
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆46Updated last year