pseXperiments / cuda-sumcheck

Related projects ⓘ

Alternatives and complementary repositories for cuda-sumcheck

• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆33Updated this week
• brech1 / keaki
  Extractable Witness Encryption for KZG Commitments
  ☆26Updated 3 weeks ago
• daira / plonk-standard
  Draft documents for standardization of Plonkish arithmetization
  ☆23Updated 7 months ago
• DoHoonKim8 / halo2-lasso
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆30Updated 8 months ago
• argumentcomputer / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆17Updated last month
• ICME-Lab / zkEngine_dev
  A world's first zkWASM with a SuperNova backend
  ☆19Updated this week
• Electron-Labs / starky_bls12_381
  Starky implementation of Bls12-381
  ☆12Updated 5 months ago
• dmpierre / ark-superspartan
  An arkworks implementation of the superspartan PIOP
  ☆13Updated 2 months ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 4 months ago
• NP-Eng / gkr_tutorial
  ☆12Updated last year
• ed255 / polyexen-demo
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Updated 8 months ago
• arnaucube / nova-study
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆43Updated last year
• succinctlabs / plonky3
  ☆23Updated 7 months ago
• sragss / gpu-sumcheck
  ☆10Updated 2 months ago
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated last year
• CPerezz / Awesome-crypto-articles
  A list of worth-reading articles about Cryptohraphy
  ☆16Updated 3 months ago
• QEDProtocol / plonky2.5
  🪩 verify plonky3 proofs in plonky2
  ☆19Updated 7 months ago
• conroi / lcpc
  polynomial commitments from linear codes
  ☆37Updated last year
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆35Updated 2 months ago
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year
• z-prize / 2023-entries
  Source code for all entries from the 2023 ZPrize competition
  ☆21Updated last week
• geometryxyz / sangria_impl
  An implementation of Sangria
  ☆18Updated last year
• zksecurity / stark-book
  STARK book
  ☆21Updated last month
• qope / plonky2-bn254-pairing
  plonky2 implementation of bn254 pairing
  ☆18Updated 9 months ago
• argumentcomputer / circom-scotia
  ☆19Updated 8 months ago
• hero78119 / risc0-nova
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆29Updated last year
• starkware-libs / stwo-cairo
  ☆24Updated this week
• ingonyama-zk / smallfield-super-sumcheck
  Proof of concept implementation of sumcheck over fields of small characteristics.
  ☆13Updated 2 weeks ago
• w3f / fflonk
  ☆25Updated 5 months ago
• vacp2p / zk-explorations
  ☆31Updated 6 months ago