Alternatives and similar repositories for hdp-sp1

Users that are interested in hdp-sp1 are comparing it to the libraries listed below

• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆25Updated 9 months ago
• crate-crypto / rust-eth-kzg
  ☆31Updated 3 months ago
• crema-labs / sxg-sp1
  Web Proofs using zk-SXG
  ☆30Updated last year
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆23Updated 2 years ago
• SorellaLabs / angstrom-santa-claus
  Uses magic (zk) to distribute gifts (rewards) to kids (validators)
  ☆13Updated 8 months ago
• vacekj / air-fried-gyatt
  Breathe air
  ☆25Updated last year
• spire-labs / litepaper
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆23Updated 2 years ago
• privacy-ethereum / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated 6 months ago
• shuklaayush / chip0
  The first CHIP-8 zkvm
  ☆21Updated last year
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 11 months ago
• horsefacts / huff-test
  Better assertion macros for pure Huff tests.
  ☆19Updated 2 years ago
• malik672 / open-stylus
  openzepplin smart contracts written in rust for arbritum stylus
  ☆13Updated last year
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated 2 years ago
• nullity00 / maci-noir
  Writing MACI circuits in Noir
  ☆16Updated 2 years ago
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated 2 years ago
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆29Updated 6 months ago
• lambdaclass / lambdaworks_kzg
  An ABI compatible for KZG EIP-4844 in Rust
  ☆23Updated 2 years ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated last year
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆37Updated this week
• rkrasiuk / wormhole
  ☆54Updated 7 months ago
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆35Updated 5 months ago
• shuklaayush / halo2-lib-eddsa
  halo2-lib-eddsa
  ☆11Updated last year
• pluto / edge
  client side proving
  ☆39Updated 10 months ago
• rkdud007 / solchip8
  SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM
  ☆35Updated last year
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆14Updated 6 months ago
• odyssey2077 / halo2-cairo
  verify cairo execution in Halo2
  ☆15Updated 2 years ago
• Janmajayamall / ObliviousMessageRetrieval-Old
  ☆17Updated 2 years ago