jonas089 / L2-sequencer

Related projects: ⓘ

• jsign / phant
  A stateless Ethereum execution client
  ☆13Updated 2 weeks ago
• kkrt-labs / keth
  Integration of the Kakarot Ethereum execution layer in the Reth client.
  ☆24Updated this week
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆23Updated this week
• alloy-rs / eips
  Rust implementations of Ethereum Improvement Proposals (EIPs)
  ☆16Updated last week
• personaelabs / merkle-tree
  ☆31Updated 6 months ago
• succinctlabs / plonky3
  ☆23Updated 5 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆40Updated last week
• iosis-tech / zetina
  Shared peer-to-peer network of zero-knowledge provers
  ☆13Updated last month
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆23Updated this week
• refcell / decolor
  Asynchronous runtime abstractions for implicit function decoloring.
  ☆12Updated 10 months ago
• alloy-rs / op-alloy
  ☆28Updated this week
• pcaversaccio / p256-verifier-vyper
  P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.
  ☆19Updated this week
• 0x3327 / SKProof
  Scikit-learn compatible Python library for generating ZK proofs of execution
  ☆18Updated last year
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆25Updated 2 months ago
• anton-rs / cannon-rs
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆57Updated last month
• iosis-tech / swiftness
  Cairo-VM STARK Verifier Rust implementation
  ☆22Updated this week
• supranational / pasta-msm
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆20Updated 9 months ago
• celestiaorg / bittwister
  Bit Twister: A CLI tool for precise network traffic shaping. Simulate latency, bandwith limitation, drop packets, impose jitter with ease…
  ☆15Updated 8 months ago
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆13Updated last week
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆29Updated last month
• vacekj / air-fried-gyatt
  Breathe air
  ☆21Updated 4 months ago
• anton-rs / op-up
  Composable OP Stack Orchestration
  ☆41Updated 10 months ago
• paradigmxyz / uint
  ☆10Updated this week
• Consensys / plonk-solidity-audit
  Plonk verifier in solidity (using Commit api)
  ☆20Updated 2 months ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• clabby / keccak256-aarch64
  A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.
  ☆19Updated 10 months ago
• paradigmxyz / foundry-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆32Updated 4 months ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆49Updated 9 months ago
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆23Updated 7 months ago
• zemse / forge-flamegraph
  🔥 flamegraphs for solidity
  ☆35Updated last week