Alternatives and similar repositories for arecibo

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

• lurk-lang / bellpepper

  View on GitHub
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆78Jan 27, 2025Updated last year
• privacy-ethereum / sonobe

  View on GitHub
  Experimental folding schemes library
  ☆260Feb 6, 2026Updated last week
• lurk-lab / bellpepper-gadgets

  View on GitHub
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆18Mar 3, 2025Updated 11 months ago
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• snarkify / sirius

  View on GitHub
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆177Mar 24, 2025Updated 10 months ago
• 0xPolygonZero / zk_evm

  View on GitHub
  ☆100May 2, 2025Updated 9 months ago
• lurk-lab / solidity-verifier

  View on GitHub
  Solidity implementation of Nova proving system verifier
  ☆66Mar 17, 2024Updated last year
• argumentcomputer / zk-light-clients

  View on GitHub
  A collection of ZK light client libraries for various blockchains
  ☆67Dec 4, 2024Updated last year
• arnaucube / protogalaxy-poc

  View on GitHub
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Sep 14, 2023Updated 2 years ago
• CharmsDev / polymath

  View on GitHub
  Polymath: Groth16 Is Not The Limit
  ☆31Feb 6, 2025Updated last year
• lurk-lab / neptune

  View on GitHub
  Rust Poseidon implementation (contact: @porcuquine)
  ☆342May 19, 2025Updated 8 months ago
• privacy-ethereum / snark-verifier

  View on GitHub
  ☆155Feb 26, 2024Updated last year
• philsippl / circom-witness-rs

  View on GitHub
  ☆63Jan 28, 2026Updated 2 weeks ago
• WizardOfMenlo / stir

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

  View on GitHub
  Nova: High-speed recursive zero-knowledge arguments from folding schemes
  ☆820Updated this week
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Updated this week
• arkworks-rs / spongefish

  View on GitHub
  Fiat-Shamir for the masses.
  ☆87Dec 27, 2025Updated last month
• lurk-lab / lurk-beta

  View on GitHub
  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…
  ☆451Feb 25, 2025Updated 11 months ago
• nalinbhardwaj / Nova-Scotia

  View on GitHub
  Middleware to compile Circom circuits to Nova prover
  ☆244Mar 1, 2024Updated last year
• phantomzone-org / gauss

  View on GitHub
  FHE library
  ☆25Apr 19, 2024Updated last year
• arnaucube / nova-study

  View on GitHub
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45May 31, 2023Updated 2 years ago
• microsoft / Spartan2

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

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• DoHoonKim8 / halo2-lasso

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆37Mar 3, 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
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 9 months ago
• Sladuca / plonky2-ecgfp5

  View on GitHub
  Plonky2 gadgets for EcGFp5 curve and base field arithmetic
  ☆20Feb 19, 2023Updated 2 years ago
• valida-xyz / valida

  View on GitHub
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆341Jul 31, 2025Updated 6 months ago
• 0xMiden / crypto

  View on GitHub
  Cryptographic primitives used in Polygon Miden rollup
  ☆131Updated this week
• ICME-Lab / zkEngine_dev

  View on GitHub
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆41Oct 28, 2025Updated 3 months 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
• arkworks-rs / marlin

  View on GitHub
  A Rust library for the Marlin preprocessing zkSNARK
  ☆325Jan 18, 2024Updated 2 years ago
• 0xPolygonZero / plonky2-ecdsa

  View on GitHub
  ECDSA gadgets for plonky2
  ☆19Oct 20, 2023Updated 2 years ago
• lurk-lab / awesome-folding

  View on GitHub
  A curated list of zero-knowledge folding schemes
  ☆307Aug 6, 2024Updated last year
• dusk-network / Poseidon252

  View on GitHub
  Reference implementation for the Poseidon Snark-friendly Hash algorithm.
  ☆218Feb 2, 2026Updated 2 weeks ago
• han0110 / plonkish

  View on GitHub
  ☆111Nov 27, 2025Updated 2 months ago
• namnc / circom-2-arithc

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

  View on GitHub
  The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
  ☆920Updated this week