Alternatives and similar repositories for BulletproofVM

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

• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆92Updated 3 years ago
• gballet / verkle-block-sample
  ☆39Updated 3 years ago
• distributedstatemachine / eigenlayer-rs
  ☆19Updated last year
• Kelvyne / starknet-storage-proof-solidity
  ☆42Updated last year
• AmanGotchu / RandaoZKP
  ☆22Updated 3 years ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆50Updated 2 years ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated 2 years ago
• JSeam2 / zkml-server
  Server for ZKML
  ☆21Updated 2 years ago
• perama-v / archors
  A tool for single Ethereum archival block state proofs.
  ☆35Updated 2 years ago
• makcandrov / meplang
  An EVM low-level language that gives full control over the control flow of the smart contract.
  ☆29Updated 5 months ago
• lyronctk / treasure-house
  Private treasuries enabled by ECDH and ZKPs
  ☆17Updated 2 years ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 3 years ago
• nullity00 / maci-noir
  Writing MACI circuits in Noir
  ☆16Updated 2 years ago
• Sladuca / plonky2-ecgfp5
  Plonky2 gadgets for EcGFp5 curve and base field arithmetic
  ☆20Updated 2 years ago
• qope / plonky2-bn254-pairing
  plonky2 implementation of bn254 pairing
  ☆19Updated 2 years ago
• polytope-labs / sync-committee-rs
  A portable library for proving & verifying ethereum's sync committee consensus proofs.
  ☆29Updated 2 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 11 months ago
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated 3 years ago
• ChainSafe / Zipline-lightclient
  Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation
  ☆30Updated 3 years ago
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated 2 years ago
• JernKunpittaya / zk-github
  Proof contribute to github using zk
  ☆26Updated 2 years ago
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated 2 years ago
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated 2 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆23Updated 2 years ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated 2 years ago
• blockhackersio / zrclib
  To bring zero knowledge privacy primitives to all web3 developers.
  ☆13Updated 2 years ago