Alternatives and similar repositories for neptune-core

Users that are interested in neptune-core are comparing it to the libraries listed below

• 0xMiden / air-script
  A domain-specific language for writing AIR constraints for STARKs
  ☆86Updated last week
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆174Updated 4 months ago
• IrreducibleOSS / binius
  A SNARK using towers of binary fields, implemented in Rust
  ☆122Updated this week
• Neptune-Crypto / twenty-first
  Collection of mathematics routines and cryptography for the twenty-first century
  ☆85Updated 2 weeks ago
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆83Updated 3 months ago
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆157Updated 2 years ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆85Updated 5 months ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆72Updated 6 months ago
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆119Updated last week
• caulk-crypto / caulk
  ☆112Updated last year
• openvm-org / stark-backend
  Proof system backends for OpenVM.
  ☆31Updated 2 weeks ago
• TritonVM / tasm-lang
  Writing tasm with Rust syntax
  ☆14Updated 3 months ago
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆73Updated 3 weeks ago
• NethermindEth / latticefold
  A lattice-based non-interactive folding scheme written in Rust
  ☆91Updated last week
• openzklib / openzl
  Zero-Knowledge Cryptography Infrastructure Stack
  ☆128Updated 2 years ago
• anoma / vamp-ir
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆165Updated last year
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆160Updated 7 months ago
• 0xPolygonZero / zk_evm
  ☆96Updated 3 months ago
• WizardOfMenlo / whir
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆150Updated 2 weeks ago
• phantomzone-org / phantom-zone
  ☆127Updated 7 months ago
• wborgeaud / ecfft-bn254
  ECFFT in Rust
  ☆58Updated last year
• aszepieniec / stark-brainfuck
  Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…
  ☆56Updated last year
• entropyxyz / synedrion
  Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme
  ☆78Updated last month
• yetanotherco / zkvm_benchmarks
  ☆27Updated 4 months ago
• privacy-scaling-explorations / halo2curves
  ☆208Updated 2 weeks ago
• privacy-scaling-explorations / halo2wrong
  ☆120Updated 8 months ago
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆74Updated last year
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆120Updated 2 years ago
• PolyhedraZK / Expander
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆131Updated this week
• openvm-org / openvm
  A performant and modular zkVM framework built for customization and extensibility.
  ☆256Updated this week