rkdud007 / sp1-storage-proof

Related projects ⓘ

Alternatives and complementary repositories for sp1-storage-proof

• paradigmxyz / foundry-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆32Updated 6 months ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated last year
• flashbots / rollup-boost
  Sidecar to Enable Rollup Extensions
  ☆48Updated this week
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆42Updated 10 months ago
• personaelabs / merkle-tree
  ☆31Updated 8 months ago
• makcandrov / meplang
  An EVM low-level language that gives full control over the control flow of the smart contract.
  ☆24Updated 4 months ago
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated 11 months ago
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆31Updated 7 months ago
• anton-rs / op-up
  Composable OP Stack Orchestration
  ☆41Updated 11 months ago
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated last year
• vacekj / air-fried-gyatt
  Breathe air
  ☆22Updated 5 months ago
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆30Updated 3 months ago
• anna-carroll / 3074
  Template using EIP-3074 - AUTH and AUTHCALL in Solidity
  ☆29Updated 11 months ago
• axiom-crypto / axiom-apps
  ☆34Updated last year
• milancermak / cairo-4626
  EIP 4626 in Cairo lang for Starknet
  ☆51Updated 2 years ago
• ethereum-optimism / lib-keccak
  Keccak-f[1600] permutation in the EVM
  ☆25Updated this week
• kopy-kat / MinimalAccount
  The most gas optimized ERC-4337 account - written in Huff
  ☆42Updated last year
• merklefruit / evm-from-scratch
  Implementing the Ethereum Virtual Machine from scratch & documenting the process
  ☆23Updated last year
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆50Updated 11 months ago
• Lev-Stambler / bulletproof-cairo
  ☆39Updated 2 years ago
• anthias-labs / arbiter-template
  Minimal template for using the Arbiter framework for simulations.
  ☆45Updated this week
• pmuens / cairo-by-example.org
  Learn Cairo and StarkNet Smart Contract programming with example code
  ☆23Updated 2 years ago
• axiom-crypto / uniswap-v3-oracles
  Trustless oracle of historical Uniswap v3 TWAP using ZK
  ☆38Updated last year
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆55Updated this week
• refcell / protec
  An Isolated Safe Environment to Execute Foundry Projects.
  ☆44Updated 2 years ago
• jtriley-eth / monomorphized
  ☆34Updated last month
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆33Updated this week
• kkrt-labs / keth
  Integration of the Kakarot Ethereum execution layer in the Reth client.
  ☆26Updated this week