Alternatives and similar repositories for sp1-storage-proof

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

• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated last year
• paradigmxyz / foundry-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆31Updated last year
• personaelabs / merkle-tree
  ☆31Updated last year
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated last year
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• therealbytes / ticking-optimism
  A ticking-blockchain built on top of the Optimism Bedrock rollup architecture
  ☆24Updated 2 years ago
• sambarnes / cairo-dutch
  Various ERC-721 Dutch Auctions for StarkNet
  ☆30Updated 3 years ago
• jtriley2p / monomorphized
  ☆34Updated 9 months ago
• succinctlabs / rsp-subblock
  ☆19Updated last month
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year
• ithacaxyz / exp-0003
  ☆26Updated 3 weeks ago
• lucadonnoh / graphiro
  A graph library built with Cairo
  ☆28Updated 2 years ago
• vacekj / air-fried-gyatt
  Breathe air
  ☆24Updated last year
• anna-carroll / 3074
  Template using EIP-3074 - AUTH and AUTHCALL in Solidity
  ☆29Updated last year
• makcandrov / meplang
  An EVM low-level language that gives full control over the control flow of the smart contract.
  ☆26Updated 11 months ago
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated 2 years ago
• across-protocol / xdelegate
  Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience
  ☆33Updated 6 months ago
• shadow-hq / shadow-starter-pack
  ☆2Updated last year
• verklegarden / crysol
  secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations
  ☆59Updated 3 months ago
• Maddiaa0 / high-orbit-sonic-cannon
  CAN YOU HEAR IT, CAN YOU FEEEEEEL IT
  ☆16Updated last year
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated 2 years ago
• michaelneuder / crypto-primitives
  ☆16Updated 2 years ago
• emo-eth / the-circus
  Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.
  ☆30Updated 2 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated last year
• franalgaba / pre-commit-cairo
  Cairo hooks for pre-commit
  ☆17Updated 3 years ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆55Updated last year
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆30Updated last week
• transmissions11 / morale
  More life to give on demand, are you ready?
  ☆32Updated 2 years ago
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 2 months ago