Alternatives and similar repositories for NitroProver

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

• aragonzkresearch / ark-ec-blind-signatures
  Blind signatures over elliptic curve implementation (native & r1cs constraints).
  ☆13Updated 2 years ago
• zama-ai / fhevm-decryptions-db
  The fhEVM Decryptions Database is a key-value database of decryption results.
  ☆12Updated last year
• maceip / sgx-tlsn-notary-server
  tlsn notary server inside a gramine SGX enclave
  ☆9Updated 10 months ago
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• penumbra-zone / cnidarium
  A high-performance verifiable storage layer for appchains and L2s.
  ☆11Updated 3 months ago
• Wassasin / ibe
  Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve
  ☆20Updated 3 years ago
• olehmisar / nodash
  A Swiss knife for Noir
  ☆14Updated 3 weeks ago
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆14Updated 2 weeks ago
• iden3 / circom-witnesscalc
  ☆15Updated this week
• zkmopro / gpu-acceleration
  Explorations on mobile-first GPU acceleration, currently support MSM.
  ☆20Updated this week
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated last year
• nulltea / two-party-adaptor
  Joint 2-Party generation of the one-time Verifiable Encrypted Signature (VES) aka adaptor signatures
  ☆12Updated 2 years ago
• potuz / rlnc_poc
  ☆13Updated 6 months ago
• varun-doshi / eth-binary-tree
  Rust Implementation of Ethereum Binary Tree EIP-7864
  ☆16Updated this week
• gubsheep / Setup
  trusted setup MPC tools
  ☆12Updated 5 years ago
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated 2 years ago
• informalsystems / malaketh-layered
  Malachite as consensus engine for Ethereum execution clients via Engine API
  ☆13Updated this week
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• AdvaithD / protocol-pg
  evm playground - optimizations, patterns and bytecode decoding
  ☆15Updated 2 years ago
• sigp / opcode-purity
  A document describing purity detection in EVM opcode
  ☆16Updated 3 years ago
• ZenGo-X / zengo-will
  ☆15Updated 4 years ago
• ChainSafe / das-prototype
  Research prototypes of Data Availability Sampling for Ethereum (WIP)
  ☆16Updated 2 years ago
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated 4 months ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated 2 years ago
• vorot93 / ethereum-txpool
  Transaction pool for Ethereum
  ☆13Updated 4 years ago
• arnaucube / fri-commitment
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Updated 2 years ago
• lambdaclass / aleo_lambda_blockchain
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆15Updated 2 years ago
• alinush / asvc-paper
  Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
  ☆11Updated 4 years ago