Alternatives and similar repositories for plonky3_fibonacci

Users that are interested in plonky3_fibonacci are comparing it to the libraries listed below

• BrianSeong99 / Plonky3_RangeCheck

  View on GitHub
  This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…
  ☆27Apr 4, 2025Updated 10 months ago
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• danilowhk / swiftness-sp1

  View on GitHub
  Verifying Cairo Programs in SP1
  ☆14Oct 16, 2024Updated last year
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• 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
• ingonyama-zk / smallfield-super-sumcheck

  View on GitHub
  Proof of concept implementation of sumcheck over fields of small characteristics.
  ☆19May 16, 2025Updated 9 months ago
• QEDProtocol / plonky2.5

  View on GitHub
  🪩 verify plonky3 proofs in plonky2
  ☆19Mar 28, 2024Updated last year
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year
• GaloisInc / zkLean

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆19Feb 6, 2026Updated last week
• Okm165 / binius-web-snark

  View on GitHub
  Binius circuits web demos
  ☆14Dec 15, 2024Updated last year
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Updated this week
• microsoft / Spartan2

  View on GitHub
  Spartan: High-speed zkSNARKs without trusted setup
  ☆126Jan 30, 2026Updated 2 weeks ago
• a16z / zkvm-benchmarks

  View on GitHub
  Benchmarks of popular zkVMs including Jolt
  ☆64Apr 19, 2024Updated last year
• zk-bankai / soulforge

  View on GitHub
  ☆18Jul 16, 2025Updated 6 months ago
• NethermindEth / verify-everything

  View on GitHub
  Aims to create various ZK verifiers on Starknet for network growth
  ☆18Nov 19, 2025Updated 2 months ago
• hashcloak / plonky2-merkle-trees

  View on GitHub
  ☆15Jan 5, 2024Updated 2 years ago
• dmpierre / nova-browser-ecdsa

  View on GitHub
  In-browser ECDSA aggregation using Nova over secp/secq
  ☆35Sep 13, 2023Updated 2 years ago
• NethermindEth / condor-rs

  View on GitHub
  Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust
  ☆21Sep 9, 2025Updated 5 months ago
• axiom-crypto / halo2-browser

  View on GitHub
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆56Jun 20, 2024Updated last year
• geometryxyz / protostar

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• kkrt-labs / stwo-brainfuck

  View on GitHub
  A ZK-VM for the Brainfuck language, based on Stwo
  ☆34Apr 3, 2025Updated 10 months ago
• 0xPolygonZero / plonky2-ecdsa

  View on GitHub
  ECDSA gadgets for plonky2
  ☆19Oct 20, 2023Updated 2 years ago
• ret2basic / Groth16

  View on GitHub
  Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.
  ☆22Aug 28, 2025Updated 5 months ago
• arkworks-rs / spartan

  View on GitHub
  Spartan on Arkworks
  ☆47Aug 19, 2025Updated 5 months ago
• Plonky3 / Plonky3

  View on GitHub
  A toolkit for polynomial IOPs (PIOPs)
  ☆750Updated this week
• eth-act / ere

  View on GitHub
  Unified zkVM Interface & Toolkit
  ☆74Feb 9, 2026Updated last week
• matter-labs / vm2

  View on GitHub
  High performance EraVM for zkSync.
  ☆23Oct 20, 2025Updated 3 months ago
• thor314 / ccs-hack

  View on GitHub
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆50Jul 5, 2023Updated 2 years ago
• WizardOfMenlo / stir

  View on GitHub
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆72Nov 6, 2025Updated 3 months ago
• succinctlabs / plonky3

  View on GitHub
  ☆24Dec 21, 2024Updated last year
• 0xPolygonZero / zk_evm

  View on GitHub
  ☆100May 2, 2025Updated 9 months ago
• gizatechxyz / LuminAIR

  View on GitHub
  A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs
  ☆53Sep 3, 2025Updated 5 months ago
• 0xPolygonZero / paladin

  View on GitHub
  Bringing divine order to remote task execution.
  ☆30Nov 25, 2024Updated last year
• 0xPolygonZero / zero-bin

  View on GitHub
  plonky2 proving over paladin
  ☆22Jun 19, 2024Updated last year
• privacy-ethereum / DefinitelySetup

  View on GitHub
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Jul 18, 2025Updated 6 months ago
• PolyhedraZK / awesome-expander

  View on GitHub
  Polyhedra ZK knowledge base
  ☆25Oct 28, 2024Updated last year
• zkemail / zkemail.nr

  View on GitHub
  ZK Email in Noir
  ☆82Updated this week
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago