Alternatives and similar repositories for neptune-core:

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

• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆83Updated 3 weeks ago
• 0xPolygonMiden / air-script
  A domain-specific language for writing AIR constraints for STARKs
  ☆80Updated last week
• Neptune-Crypto / twenty-first
  Collection of mathematics routines and cryptography for the twenty-first century
  ☆81Updated last month
• 0xPolygonZero / zk_evm
  ☆91Updated 3 months ago
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆169Updated last week
• IrreducibleOSS / binius
  A SNARK using towers of binary fields, implemented in Rust
  ☆94Updated this week
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆67Updated last month
• aszepieniec / stark-brainfuck
  Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…
  ☆53Updated 7 months ago
• crate-crypto / rust-verkle
  ☆121Updated 5 months ago
• zkcrypto / group
  Elliptic curve group traits and utilities.
  ☆94Updated last year
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆71Updated 2 months ago
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆53Updated this week
• TritonVM / tasm-lang
  Writing tasm with Rust syntax
  ☆14Updated last month
• entropyxyz / synedrion
  Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme
  ☆71Updated this week
• phantomzone-org / phantom-zone
  ☆117Updated 3 months ago
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆90Updated last week
• WizardOfMenlo / whir
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆105Updated this week
• arkworks-rs / r1cs-std
  R1CS constraints for bits, fields, and elliptic curves
  ☆152Updated this week
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆158Updated 2 years ago
• privacy-scaling-explorations / snark-verifier
  ☆150Updated last year
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆120Updated last year
• celer-network / zk-benchmark
  Benchmark of multiple zk implementations.
  ☆83Updated last year
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆82Updated last year
• PolyhedraZK / ExpanderCompilerCollection
  Expander Compiler
  ☆33Updated this week
• WizardOfMenlo / stir
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆58Updated 4 months ago
• EspressoSystems / hyperplonk
  ☆241Updated 3 weeks ago
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆159Updated 2 months ago
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆60Updated this week
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆55Updated last week
• caulk-crypto / caulk
  ☆112Updated last year