Alternatives and similar repositories for spla-repo

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

• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆60Updated 2 years ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated last year
• 0xfuturistic / prime-field-arithmetic
  🍭 A Solidity library for prime field arithmetic
  ☆16Updated last year
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 9 months ago
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 7 months ago
• geometryxyz / zkhack-groth-puzzle
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆49Updated 3 years ago
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆43Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆34Updated 3 months ago
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 10 months ago
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆50Updated 2 years ago
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆29Updated 4 months ago
• vacekj / air-fried-gyatt
  Breathe air
  ☆25Updated last year
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆70Updated 3 weeks ago
• merklefruit / evm-from-scratch
  Implementing the Ethereum Virtual Machine from scratch & documenting the process
  ☆24Updated 3 years ago
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated last year
• SorellaLabs / angstrom-santa-claus
  Uses magic (zk) to distribute gifts (rewards) to kids (validators)
  ☆13Updated 6 months ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year
• zkemail / halo2-regex
  Library and gadget to do regex string matches in halo2
  ☆35Updated last year
• NebraZKP / upa
  UPA is the proof aggregation engine built by NEBRA team.
  ☆36Updated last week
• smsunarto / daedalus
  Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
  ☆34Updated 2 years ago
• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated 8 months ago
• HerodotusDev / hdp-sp1
  Herodotus Data Processor using SP1 as backend
  ☆16Updated last year
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆38Updated 2 years ago
• AztecProtocol / aztec-verifier-contracts
  ☆27Updated 2 years ago
• proof-of-exploit / cli
  Prove knowledge of smart contract bugs using zkEVM
  ☆43Updated last year
• enricobottazzi / halo2-intro
  ☆30Updated 2 years ago
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆32Updated last year
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆56Updated 2 years ago