Alternatives and similar repositories for polynomial-solver

Users that are interested in polynomial-solver are comparing it to the libraries listed below

• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆45Updated last year
• Veridise / Coda
  ☆47Updated 2 years ago
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆35Updated 2 years ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆57Updated last week
• wborgeaud / ecfft-bn254
  ECFFT in Rust
  ☆58Updated 2 years ago
• rot256 / research-we-kzg
  Witness encryption for KZG openings
  ☆33Updated last year
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆45Updated 4 months ago
• gy001 / hypercube
  ☆41Updated 2 years ago
• GaloisInc / zkLean
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆19Updated this week
• b-wagn / hash-sig
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆47Updated last month
• eth-act / zkevm-benchmark-workload
  zkVM benchmarking for Ethereum
  ☆41Updated this week
• arnaucube / protogalaxy-poc
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Updated 2 years ago
• lucasgleba / zkRiscV
  A Risc-V CPU implemented as a zk-SNARK
  ☆52Updated 3 years ago
• compsec-epfl / efficient-sumcheck
  ☆49Updated 2 weeks ago
• conroi / lcpc
  polynomial commitments from linear codes
  ☆50Updated last year
• lattirust / lattirust
  ☆66Updated 8 months ago
• halo2-ce / halo2
  ☆30Updated 3 years ago
• binius-zk / binius64
  Binary Proofs, Blazing Fast
  ☆113Updated last week
• h-hafezi / kzh_fold
  ☆28Updated 3 months ago
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆48Updated 7 months ago
• aszepieniec / stark-brainfuck
  Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…
  ☆58Updated last year
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆64Updated 2 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆93Updated last year
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆73Updated last year
• ligeroinc / ligero-prover
  ☆59Updated last month
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆39Updated 3 years ago
• zksecurity / halo2-course
  A course on Halo2 in collaboration with Zircuit
  ☆35Updated last year
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆76Updated 2 years ago
• yetanotherco / zkvm_benchmarks
  ☆26Updated 9 months ago