Alternatives and similar repositories for proof-checker-public

Users that are interested in proof-checker-public are comparing it to the libraries listed below

• chancehudson / ashlang

  View on GitHub
  ☆12Dec 12, 2025Updated 2 months ago
• Veridise / circom2llvm

  View on GitHub
  Compile circom code to llvm partially
  ☆12Feb 14, 2023Updated 3 years ago
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• Janmajayamall / tfhe-research

  View on GitHub
  ☆13Nov 10, 2023Updated 2 years ago
• td-kwj-zp2023 / webgpu-msm-bls12-377

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

  View on GitHub
  powdr application running Ethereum tests via revm
  ☆17Jun 24, 2024Updated last year
• Cybersecurity-LINKS / zkryptium

  View on GitHub
  Rust crypto library for zero-knowledge proofs
  ☆19Jan 14, 2026Updated last month
• adompeldorius / selfdestruct-analysis

  View on GitHub
  ☆21Sep 8, 2021Updated 4 years ago
• arnaucube / math

  View on GitHub
  Notes, code and documents done while reading books and papers.
  ☆21Updated this week
• eqlabs / eclipse

  View on GitHub
  Bridging ecosystems by storing Zero-knowledge proofs of Solana votes on the Aleo blockchain.
  ☆21Mar 14, 2024Updated last year
• Veridise / Coda

  View on GitHub
  ☆47Aug 31, 2023Updated 2 years ago
• SNUCP / celpc

  View on GitHub
  Rust Code for CELPC
  ☆20Mar 28, 2025Updated 10 months ago
• peiyuechen / MEV-weekend-reading-list-

  View on GitHub
  ☆15Mar 5, 2022Updated 3 years ago
• pseXperiments / cuda-sumcheck

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆22Nov 14, 2024Updated last year
• starkware-bitcoin / askeladd

  View on GitHub
  Powering Verifiable Computation for Nostr Data Vending Machines.
  ☆25Dec 4, 2024Updated last year
• z-prize / 2023-entries

  View on GitHub
  Source code for all entries from the 2023 ZPrize competition
  ☆25Jan 29, 2026Updated 2 weeks ago
• privacy-ethereum / sol-whir

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

  View on GitHub
  iris-mpc repository
  ☆48Updated this week
• 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
• Yoii-Inc / zk-mpc

  View on GitHub
  ☆32Feb 4, 2026Updated last week
• namnc / circom-2-arithc

  View on GitHub
  Circom interpreter to arithmetic circuit description
  ☆58Sep 12, 2024Updated last year
• jonas089 / DISEQ

  View on GitHub
  distributed sequencer with zk consensus
  ☆31Apr 13, 2025Updated 10 months ago
• 0xsequence / reorgme

  View on GitHub
  Ethereum local test chain with block reorg on-demand
  ☆34Dec 6, 2022Updated 3 years ago
• TomWambsgans / Whirlaway

  View on GitHub
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆45Sep 11, 2025Updated 5 months ago
• han0110 / halo2-kzg-srs

  View on GitHub
  ☆33Jan 4, 2024Updated 2 years ago
• iden3 / rapidsnark-old

  View on GitHub
  fast zksnark prover
  ☆118Nov 23, 2023Updated 2 years ago
• paritytech / fflonk

  View on GitHub
  ☆31Jan 30, 2026Updated 2 weeks ago
• zemse / forge-flamegraph

  View on GitHub
  🔥 flamegraphs for solidity
  ☆35Sep 11, 2024Updated last year
• arnaucube / kzg-commitments-study

  View on GitHub
  Kate-Zaverucha-Goldberg Polynomial Commitments
  ☆29Nov 20, 2021Updated 4 years ago
• CharmsDev / polymath

  View on GitHub
  Polymath: Groth16 Is Not The Limit
  ☆31Feb 6, 2025Updated last year
• demox-labs / webgpu-crypto

  View on GitHub
  ☆41Apr 23, 2025Updated 9 months ago
• hadasz / plonkish_basefold

  View on GitHub
  ☆38Jul 30, 2025Updated 6 months ago
• succinctlabs / rsp

  View on GitHub
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆152Feb 6, 2026Updated last week
• gakonst / sgx-revm

  View on GitHub
  PoC of Revm execution in SGX
  ☆79Oct 21, 2023Updated 2 years ago
• UtkarshKunwar / K-DE-Cyberpunk-Neon

  View on GitHub
  K/DE Cyberpunk Neon Themes for KDE Plasma.
  ☆10Jan 27, 2019Updated 7 years ago
• nerolation / EIP-ERC721-zk-SNARK-Extension

  View on GitHub
  Extension for zk succinct non-interactive ownership proofs.
  ☆40Aug 12, 2022Updated 3 years ago
• worldfnd / provekit

  View on GitHub
  Client side zero-knowledge proving.
  ☆101Updated this week
• NilFoundation / zkllvm-blueprint

  View on GitHub
  Circuit components definition library for zkLLVM circuit compiler
  ☆41Sep 7, 2024Updated last year
• proxima-one / keccak-circuit-benchmarks

  View on GitHub
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Oct 1, 2023Updated 2 years ago