Alternatives and similar repositories for Polynomial-Commitment-Schemes

Users that are interested in Polynomial-Commitment-Schemes are comparing it to the libraries listed below

• tchajed / coq-ltac2-experiments

  View on GitHub
  All the code I've ever written in Ltac2
  ☆11Jan 19, 2021Updated 5 years ago
• asanso / CryptoWithSageMath

  View on GitHub
  Cryptography in SageMath.
  ☆10Dec 17, 2018Updated 7 years ago
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• toonsegers / verifiable_mpc

  View on GitHub
  A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…
  ☆26Feb 20, 2024Updated last year
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated last year
• zkpstandard / wg-plonkish

  View on GitHub
  ☆18Jan 2, 2026Updated last month
• kwantam / fffft

  View on GitHub
  fft impl for ff::Field
  ☆17May 9, 2024Updated last year
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• SuccinctPaul / awesome-zk-verifier

  View on GitHub
  ☆18Mar 9, 2025Updated 11 months ago
• greenhat / omnizk

  View on GitHub
  Compiler framework for ZK VMs
  ☆35Aug 2, 2023Updated 2 years ago
• SimonBoulier / TypingFlags

  View on GitHub
  A Coq plugin to disable positivity check, guard check and termination check
  ☆16Nov 2, 2019Updated 6 years ago
• shaih / cpp-lwevss

  View on GitHub
  C++ implementation of VSS using LWE encryption and proofs
  ☆15Oct 18, 2021Updated 4 years ago
• strub / elliptic-curves-ssr

  View on GitHub
  A Formal Library about Elliptic Curves for the Mathematical Components Library.
  ☆15Nov 10, 2021Updated 4 years ago
• fluentlabs-xyz / rwasm

  View on GitHub
  A zk-friendly, Rust-based WebAssembly virtual machine designed for safe, high-performance execution and blockchain compatibility.
  ☆17Updated this week
• zkpstandard / wg-sigma-protocols

  View on GitHub
  ☆15Sep 20, 2025Updated 4 months ago
• powdr-labs / powdr-revme

  View on GitHub
  powdr application running Ethereum tests via revm
  ☆17Jun 24, 2024Updated last year
• runtimeverification / beacon-chain-verification

  View on GitHub
  ☆17Mar 17, 2023Updated 2 years 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 11 months ago
• mmcco / verified-parser-example

  View on GitHub
  A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
  ☆21Mar 19, 2015Updated 10 years ago
• adietrichs / kzg-sharding

  View on GitHub
  ☆19Aug 4, 2022Updated 3 years ago
• lattice-dogs / labrador

  View on GitHub
  ☆48Feb 20, 2025Updated 11 months ago
• privacy-ethereum / nova-bench

  View on GitHub
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Apr 6, 2023Updated 2 years ago
• hyperproofs / hyperproofs-go

  View on GitHub
  ☆22Dec 19, 2024Updated last year
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 2023Updated 2 years ago
• mmaker / tinybear

  View on GitHub
  ☆26Feb 20, 2025Updated 11 months ago
• Verified-zkEVM / VCV-io

  View on GitHub
  Formalized Cryptography Proofs in Lean 4
  ☆65Feb 7, 2026Updated last week
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 10 months ago
• BoltonBailey / formal-snarks-project

  View on GitHub
  A formal verification of Linear PCP SNARKs.
  ☆60Jul 20, 2024Updated last year
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 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
• geometryxyz / cq

  View on GitHub
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆61May 22, 2023Updated 2 years ago
• eth-act / zkevm-benchmark-workload

  View on GitHub
  zkVM benchmarking for Ethereum
  ☆41Feb 7, 2026Updated last week
• starkware-libs / formal-proofs

  View on GitHub
  ☆66Oct 31, 2024Updated last year
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 3 months ago
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated last year
• flashbots / suave-andromeda-revm

  View on GitHub
  Andromeda revm execution service
  ☆32Jul 25, 2024Updated last year
• barryWhiteHat / zkvm

  View on GitHub
  a sketch of what a zkvm could look like
  ☆26Apr 19, 2021Updated 4 years ago
• l2iterative / ll0

  View on GitHub
  Delve into low-level RISC Zero machine
  ☆30Dec 25, 2023Updated 2 years ago
• PetraProver / PetraVM

  View on GitHub
  A verifiable supercomputer
  ☆77Jun 26, 2025Updated 7 months ago