Alternatives and similar repositories for sp1-storage-proof:

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

• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated last year
• pluto / edge
  client side proving
  ☆28Updated last month
• paradigmxyz / foundry-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆31Updated last year
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated last year
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆45Updated last year
• axiom-crypto / axiom-apps
  ☆34Updated last year
• Maddiaa0 / high-orbit-sonic-cannon
  CAN YOU HEAR IT, CAN YOU FEEEEEEL IT
  ☆16Updated 11 months ago
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆32Updated last year
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated last year
• jsign / eth-stateless
  Ethereum stateless tools
  ☆46Updated 2 weeks ago
• vacekj / air-fried-gyatt
  Breathe air
  ☆23Updated 11 months ago
• 0xBeans / GenesisAndConclusion
  A blitz project to try to mint an onchain NFT in the last ever POW block and first ever POS block.
  ☆30Updated 2 years ago
• personaelabs / merkle-tree
  ☆31Updated last year
• 0xturboblitz / totem
  Behold the almighty 🗿totem🗿
  ☆17Updated 7 months ago
• Lev-Stambler / bulletproof-cairo
  ☆40Updated 2 years ago
• therealbytes / ticking-optimism
  A ticking-blockchain built on top of the Optimism Bedrock rollup architecture
  ☆23Updated 2 years ago
• spire-labs / based-stack
  The Spire Based Stack
  ☆17Updated this week
• op-rs / op-up
  Composable OP Stack Orchestration
  ☆41Updated last year
• dcbuild3r / ptau-deserializer
  .ptau deserializer for gnark groth16 bn254 trusted setup
  ☆25Updated last month
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated 7 months ago
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆29Updated last week
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated 2 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated last year
• axiom-crypto / uniswap-v3-oracles
  Trustless oracle of historical Uniswap v3 TWAP using ZK
  ☆38Updated last year
• anna-carroll / 3074
  Template using EIP-3074 - AUTH and AUTHCALL in Solidity
  ☆29Updated last year
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆33Updated 2 weeks ago
• lucadonnoh / graphiro
  A graph library built with Cairo
  ☆28Updated 2 years ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year