Alternatives and similar repositories for hunter

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

• pluto / edge
  client side proving
  ☆30Updated 2 months ago
• hashcloak / fuel-crypto
  Various Cryptographic Primitives in Sway for the Fuel VM
  ☆9Updated last year
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆34Updated 2 years ago
• succinctlabs / plonky3
  ☆23Updated 5 months ago
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆33Updated last week
• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated 2 months ago
• malik672 / open-stylus
  openzepplin smart contracts written in rust for arbritum stylus
  ☆13Updated last year
• noir-lang / acvm
  ☆47Updated last year
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆43Updated last year
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆29Updated last week
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆39Updated 2 years ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆55Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated last year
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆31Updated 10 months ago
• vacekj / air-fried-gyatt
  Breathe air
  ☆24Updated last year
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆34Updated last month
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆21Updated last month
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated last year
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆30Updated last week
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆29Updated last week
• DaniPopes / keccak-asm
  ☆14Updated 8 months ago
• noir-lang / noirup
  Installation tooling for Noir
  ☆25Updated this week
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated 8 months ago
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆60Updated last week
• NethermindEth / Taiko-Preconf-AVS
  The preconfer sidecar for Taiko Alethia preconfirmations 🥁
  ☆27Updated this week
• Lev-Stambler / bulletproof-cairo
  ☆40Updated 2 years ago
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆27Updated 2 weeks ago
• nullity00 / maci-noir
  Writing MACI circuits in Noir
  ☆16Updated last year
• shuklaayush / chip0
  The first CHIP-8 zkvm
  ☆20Updated last year