Alternatives and similar repositories for 2023-entries

Users that are interested in 2023-entries are comparing it to the libraries listed below

• td-kwj-zp2023 / webgpu-msm-bls12-377

  View on GitHub
  WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023
  ☆14Nov 18, 2024Updated last year
• pseXperiments / cuda-sumcheck

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆22Nov 14, 2024Updated last year
• greenhat / omnizk

  View on GitHub
  Compiler framework for ZK VMs
  ☆35Aug 2, 2023Updated 2 years ago
• a16z / zkvm-benchmarks

  View on GitHub
  Benchmarks of popular zkVMs including Jolt
  ☆64Apr 19, 2024Updated last year
• conroi / lcpc

  View on GitHub
  polynomial commitments from linear codes
  ☆50Dec 13, 2024Updated last year
• EstephaniaCalvoC / holberton-system_engineering-devops

  View on GitHub
  This is the project 0x00.Shell, basics repository.
  ☆11May 28, 2021Updated 4 years ago
• swagasoft / alx-higher_level_programming

  View on GitHub
  ☆10Aug 2, 2023Updated 2 years ago
• arnaucube / protogalaxy-poc

  View on GitHub
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Sep 14, 2023Updated 2 years ago
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• zksecurity / zprize-ecdsa-varuna

  View on GitHub
  specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification
  ☆10Oct 9, 2023Updated 2 years ago
• gy001 / hypercube

  View on GitHub
  ☆41Jan 7, 2024Updated 2 years ago
• sidneyriffic / holbertonschool-low_level_programming

  View on GitHub
  Holberton curriculum projects dealing mostly with C. Some assembly/others.
  ☆12Mar 31, 2023Updated 2 years ago
• arnaucube / sigmabus-poc

  View on GitHub
  Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406
  ☆10Dec 20, 2023Updated 2 years ago
• CharmsDev / polymath

  View on GitHub
  Polymath: Groth16 Is Not The Limit
  ☆31Feb 6, 2025Updated last year
• z-prize / 2022-entries

  View on GitHub
  ZPrize 2022 - All qualified entries
  ☆55Sep 21, 2023Updated 2 years ago
• a16z / vectorized-fields

  View on GitHub
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Sep 28, 2024Updated last year
• 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
• snarkify / arkmsm

  View on GitHub
  ☆50Feb 11, 2025Updated last year
• Mahiuha / alx-higher_level_programming

  View on GitHub
  alx-higher_level_programming python projects
  ☆10Feb 26, 2022Updated 3 years ago
• Aleo-DevRel-Ambas / zero-to-zk

  View on GitHub
  ☆14Aug 16, 2024Updated last year
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• arturovictoriar / holberton-system_engineering-devops

  View on GitHub
  Implementation of some concepts about Bash Scripting, Web Stack Debugging, Networking & Security, and CI/CD.
  ☆10Dec 12, 2020Updated 5 years ago
• ingonyama-zk / open-binius

  View on GitHub
  building blocks for accelerating ZK proofs over binary fields
  ☆48Jun 19, 2025Updated 7 months ago
• lurk-lang / arecibo

  View on GitHub
  An advanced fork of Nova (contact:@huitseeker)
  ☆88Mar 3, 2025Updated 11 months ago
• matter-labs / z-prize-msm-gpu

  View on GitHub
  Submission for https://www.zprize.io/prizes/accelerating-msm-operations-on-gpu-fpga
  ☆20Feb 21, 2023Updated 2 years ago
• ProvableHQ / aleo-standard-programs

  View on GitHub
  ☆26Updated this week
• geometryxyz / halo2-cq

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• kurtpan666 / Baby-Binius

  View on GitHub
  Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes​.
  ☆12May 27, 2024Updated last year
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 10 months ago
• jgadelugo / holbertonschool-low_level_programming

  View on GitHub
  Low Level Programming In C
  ☆13Sep 1, 2020Updated 5 years ago
• quantstamp / halo2-analyzer

  View on GitHub
  SMT 2023 Submission; license pending
  ☆57Jan 28, 2026Updated 2 weeks ago
• geometryxyz / cq

  View on GitHub
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆61May 22, 2023Updated 2 years ago
• ed255 / riscu-jolt

  View on GitHub
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Dec 11, 2023Updated 2 years ago
• privacy-ethereum / sol-whir

  View on GitHub
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Dec 19, 2024Updated last year
• ICME-Lab / zkEngine_dev

  View on GitHub
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆40Oct 28, 2025Updated 3 months ago
• ingonyama-zk / super-sumcheck

  View on GitHub
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆40Feb 17, 2025Updated last year
• ICME-Lab / msm-webgpu

  View on GitHub
  WebGPU MSM implementation
  ☆17Oct 28, 2025Updated 3 months ago