Pi-Squared-Inc/proof-checker-public external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Pi-Squared-Inc/proof-checker-public

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Pi-Squared-Inc/proof-checker-public)

Close

Pi-Squared-Inc / proof-checker-publicView on GitHubMore

• External links
• Readme badge

☆25Jul 18, 2024Updated last year

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
• 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.
  ☆21Mar 1, 2026Updated last week
• Cybersecurity-LINKS / zkryptium

  View on GitHub
  Rust crypto library for zero-knowledge proofs
  ☆20Jan 14, 2026Updated last month
• 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 11 months ago
• peiyuechen / MEV-weekend-reading-list-

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

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆23Nov 14, 2024Updated last year
• z-prize / 2023-entries

  View on GitHub
  Source code for all entries from the 2023 ZPrize competition
  ☆25Jan 29, 2026Updated last month
• starkware-bitcoin / askeladd

  View on GitHub
  Powering Verifiable Computation for Nostr Data Vending Machines.
  ☆25Dec 4, 2024Updated last year
• worldcoin / iris-mpc

  View on GitHub
  iris-mpc repository
  ☆48Updated this week
• Yoii-Inc / zk-mpc

  View on GitHub
  ☆32Feb 14, 2026Updated 3 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
• 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
• namnc / circom-2-arithc

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

  View on GitHub
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆45Sep 11, 2025Updated 5 months ago
• 0xsequence / reorgme

  View on GitHub
  Ethereum local test chain with block reorg on-demand
  ☆34Feb 13, 2026Updated 3 weeks ago
• jonas089 / DISEQ

  View on GitHub
  distributed sequencer with zk consensus
  ☆31Apr 13, 2025Updated 10 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
• 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
• paritytech / fflonk

  View on GitHub
  ☆31Feb 19, 2026Updated 2 weeks ago
• CharmsDev / polymath

  View on GitHub
  Polymath: Groth16 Is Not The Limit
  ☆31Feb 6, 2025Updated last year
• hadasz / plonkish_basefold

  View on GitHub
  ☆38Jul 30, 2025Updated 7 months ago
• demox-labs / webgpu-crypto

  View on GitHub
  ☆41Apr 23, 2025Updated 10 months ago
• succinctlabs / rsp

  View on GitHub
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆158Updated this week
• gakonst / sgx-revm

  View on GitHub
  PoC of Revm execution in SGX
  ☆78Oct 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.
  ☆102Updated this week
• NilFoundation / zkllvm-blueprint

  View on GitHub
  Circuit components definition library for zkLLVM circuit compiler
  ☆42Sep 7, 2024Updated last year
• LlamaLend / oracle

  View on GitHub
  ☆10Feb 1, 2024Updated 2 years ago