Alternatives and similar repositories for nightfall_4_CE

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

• iden3 / circom-witnesscalc
  ☆21Updated 2 weeks ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆77Updated 11 months ago
• Yoii-Inc / zk-mpc
  ☆32Updated this week
• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆59Updated 2 months ago
• cursive-team / stuff-with-signatures
  Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures
  ☆27Updated 2 years ago
• vocdoni / smtverifier-noir
  Port of Circom Sparse Merkle Tree verifier to Noir.
  ☆14Updated 2 years ago
• h-hafezi / kzh_fold
  ☆28Updated 3 months ago
• halo2-ce / halo2
  ☆30Updated 3 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• yetanotherco / zkvm_benchmarks
  ☆26Updated 9 months ago
• hashcloak / stoffelMPC
  ☆45Updated 9 months ago
• daira / halographs
  Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"
  ☆49Updated 3 years ago
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆32Updated last year
• hashcloak / noir-mpc-ml
  Publicly Verifiable & Private Collaborative ML Model Training in Noir
  ☆13Updated 11 months ago
• distributed-lab / noir-semaphore
  Semaphore Protocol with Noir.
  ☆11Updated 10 months ago
• hero78119 / risc0-nova
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Updated 2 years ago
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆53Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated 2 years ago
• b-wagn / hash-sig
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆47Updated last month
• geometryxyz / protostar
  ☆52Updated 2 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆53Updated 3 years ago
• kevaundray / plookup
  ☆41Updated 3 years ago
• celestiaorg / celestia-zkevm-ibc-demo
  ☆23Updated 6 months ago
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆66Updated last year
• vicsn / witness-encryption-functional-commitment
  Based on https://eprint.iacr.org/2022/1510
  ☆26Updated last year
• risc0 / battleship-example
  A battleship game using ZKPs
  ☆43Updated 2 years ago
• vuvoth / ccls
  circom language server
  ☆21Updated 8 months ago
• privacy-ethereum / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆62Updated 2 years ago
• privacy-ethereum / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated 6 months ago
• a16z / vectorized-fields
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Updated last year