Alternatives and similar repositories for NitroProver

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

• iden3 / circom-witnesscalc
  ☆19Updated 2 weeks ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆60Updated 2 years ago
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• weijiekoh / poseidon-encryption-circom
  Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve
  ☆13Updated 2 years ago
• joshbeal / derecho
  A Rust library for proof-carrying disclosures
  ☆21Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• abdk-consulting / abdk-libraries-circom
  Open-Source Libraries for Circom by ABDK Consulting
  ☆19Updated 5 years ago
• circlefin / malaketh-layered
  Malachite as consensus engine for Ethereum execution clients via Engine API
  ☆20Updated 2 weeks ago
• vocdoni / smtverifier-noir
  Port of Circom Sparse Merkle Tree verifier to Noir.
  ☆13Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated 2 years ago
• varun-doshi / eth-binary-tree
  Rust Implementation of Ethereum Binary Tree EIP-7864
  ☆16Updated 3 months ago
• evstack / bitcoin-da
  Bitcoin as a Data Availability layer
  ☆58Updated 8 months ago
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆34Updated 3 years ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆28Updated last year
• w3f / fflonk
  ☆31Updated 6 months ago
• ZenGo-X / zengo-will
  ☆15Updated 4 years ago
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆25Updated last year
• blockhackersio / zrclib
  To bring zero knowledge privacy primitives to all web3 developers.
  ☆13Updated 2 years ago
• yondonfu / sol-baby-jubjub
  Solidity implementation of the baby jubjub curve
  ☆21Updated last year
• hashcloak / stoffelMPC
  ☆45Updated 5 months ago
• sbellem / qtee
  Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
  ☆44Updated last year
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 7 months ago
• EDGDrummond / DeVo
  Decentralised Voting Scheme
  ☆15Updated 3 years ago
• semaphore-protocol / semaphore-rs
  Semaphore v4 implemented in Rust
  ☆10Updated 2 weeks ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• dappnetbby / eth-verifiable-rpc
  Verifiable RPC for Ethereum state, in-browser, no node
  ☆44Updated 2 years ago
• ChorusOne / tendermint-sol
  Tendermint in Solidity
  ☆61Updated 3 years ago
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆32Updated last year
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago