Alternatives and similar repositories for spla-repo

Users that are interested in spla-repo are comparing it to the libraries listed below

• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated 3 months ago
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆27Updated last month
• pluto / edge
  client side proving
  ☆31Updated 3 months ago
• Lev-Stambler / bulletproof-cairo
  ☆40Updated 2 years ago
• succinctlabs / sp1-tee
  ☆21Updated this week
• 0x3327 / SKProof
  Scikit-learn compatible Python library for generating ZK proofs of execution
  ☆18Updated 4 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 4 months ago
• SorellaLabs / angstrom-santa-claus
  Uses magic (zk) to distribute gifts (rewards) to kids (validators)
  ☆13Updated last month
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated last year
• 0xfuturistic / prime-field-arithmetic
  🍭 A Solidity library for prime field arithmetic
  ☆16Updated last year
• personaelabs / merkle-tree
  ☆31Updated last year
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆48Updated last year
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆20Updated last year
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆49Updated last year
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆31Updated 11 months ago
• delendum-xyz / starkvm-compiler
  compiler tooling for Stark-based zkVMs
  ☆16Updated 2 years ago
• DaniPopes / zevm
  Zig EVM
  ☆32Updated 6 months ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated last year
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated 8 months ago
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆22Updated last year
• zemse / zk-static-call
  prove eth_call result
  ☆15Updated last year
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆43Updated last year
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• kilic / halo2msm
  ☆13Updated last year
• malik672 / open-stylus
  openzepplin smart contracts written in rust for arbritum stylus
  ☆13Updated last year
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated last year