Alternatives and similar repositories for SKProof:

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

• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆45Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated last year
• protolambda / op-mordor
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Updated 2 years ago
• Maddiaa0 / noir-storage-proofs-demo
  Code used in a recent presentation showing off noir storage proofs
  ☆14Updated last year
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated last year
• realbigsean / mock-relay
  ☆21Updated last year
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated last year
• rkrasiuk / op-reth
  ☆23Updated 2 years ago
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• Modulus-Labs / leela_vs_world
  A repository for the Leela VS the World project for On-Chain machine learning
  ☆18Updated 6 months ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated last year
• personaelabs / merkle-tree
  ☆31Updated last year
• makcandrov / meplang
  An EVM low-level language that gives full control over the control flow of the smart contract.
  ☆26Updated 9 months ago
• spire-labs / litepaper
  Spire Labs' litepaper (it's pretty based bro)
  ☆17Updated 5 months ago
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• perama-v / archors
  A tool for single Ethereum archival block state proofs.
  ☆35Updated last year
• paradigmxyz / foundry-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆31Updated 11 months ago
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆17Updated last year
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆35Updated this week
• distributedstatemachine / eigenlayer-rs
  ☆19Updated last year
• libevm / hp2
  Huff Proxies with Create2 (no SLOAD)
  ☆41Updated 2 years ago
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated last year
• jtriley2p / unbug
  Solidity calldata, memory, transient storage, and storage debugger
  ☆20Updated last year
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• Maddiaa0 / solidity-circuits
  Write Zero Knowledge Circuits in Solidity
  ☆13Updated last year
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated 6 months ago
• jtriley2p / zk-calculator
  ☆30Updated 2 years ago
• merklefruit / evm-from-scratch
  Implementing the Ethereum Virtual Machine from scratch & documenting the process
  ☆23Updated 2 years ago