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
  ☆92Updated this week
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆177Updated 8 months ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆86Updated 9 months ago
• Neptune-Crypto / twenty-first
  Collection of mathematics routines and cryptography for the twenty-first century
  ☆92Updated last week
• Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark
  Building blocks of a Circle STARK verifier in Bitcoin script
  ☆158Updated 2 weeks ago
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆82Updated 3 weeks ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆75Updated 10 months ago
• cronokirby / cait-sith
  Threshold ECDSA via Triples
  ☆82Updated last year
• microsoft / Spartan2
  Spartan: High-speed zkSNARKs without trusted setup
  ☆118Updated last month
• NethermindEth / latticefold
  A lattice-based non-interactive folding scheme written in Rust
  ☆112Updated last week
• WizardOfMenlo / stir
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆71Updated last month
• HorizenLabs / poseidon2
  ☆69Updated last year
• IrreducibleOSS / binius
  A SNARK using towers of binary fields, implemented in Rust .
  ☆125Updated 3 months ago
• chainwayxyz / bitvm-zk-verifier
  BitVM Groth16 Verifier Toolkit - WIP
  ☆80Updated last year
• succinctlabs / gnark-plonky2-verifier
  ☆106Updated last year
• filecoin-project / ec-gpu
  OpenCL code generator for finite-field arithmetic over arbitrary prime fields
  ☆98Updated 4 months ago
• CharmsDev / zkbitcoin
  zkBitcoin: zero-knowledge proofs on Bitcoin!
  ☆163Updated last year
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆155Updated 3 years ago
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆85Updated 2 weeks ago
• caulk-crypto / caulk
  ☆112Updated last year
• privacy-ethereum / halo2curves
  ☆221Updated 4 months ago
• PolyhedraZK / ExpanderCompilerCollection
  Expander Compiler
  ☆40Updated last month
• privacy-ethereum / halo2wrong
  ☆122Updated last year
• kobigurk / aggregatable-dkg
  Aggregatable Distributed Key Generation
  ☆49Updated 3 years ago
• openvm-org / stark-backend
  Proof system backends for OpenVM.
  ☆31Updated last week
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆44Updated 4 months ago
• brevis-network / zk-benchmark
  Benchmark of multiple zk implementations.
  ☆83Updated 2 years ago
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆104Updated 2 weeks ago
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆84Updated 8 months ago
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆46Updated 2 years ago