fe-lang / sonatina

Related projects ⓘ

Alternatives and complementary repositories for sonatina

• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆32Updated 2 years ago
• init4tech / trevm
  Typestate interface for revm
  ☆61Updated 2 weeks ago
• ralexstokes / ssz-rs
  Implementation of ethereum's `ssz`
  ☆103Updated last month
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated last year
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆50Updated 11 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆55Updated this week
• meoawtistic / ruff
  ☆37Updated 2 years ago
• ralexstokes / beacon-api-client
  A client for the Ethereum beacon node APIs
  ☆37Updated last year
• alloy-rs / rlp
  Fast implementation of Ethereum RLP serialization
  ☆88Updated 2 weeks ago
• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆73Updated this week
• rubydusa / circom-lsp
  A Language Server Protocol Implementation for Circom
  ☆30Updated last year
• anton-rs / op-up
  Composable OP Stack Orchestration
  ☆41Updated 11 months ago
• lambdaclass / lambdaworks_kzg
  An ABI compatible for KZG EIP-4844 in Rust
  ☆23Updated last year
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆30Updated 3 months ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆71Updated 2 years ago
• alloy-rs / op-alloy
  Transports, Middleware, and Networks for Optimism built with Alloy
  ☆37Updated this week
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆92Updated 2 months ago
• DaniPopes / keccak-asm
  ☆13Updated last month
• rkrasiuk / metrics-derive
  Procedural macro for automatically implementing metrics description and initialization.
  ☆17Updated last month
• anton-rs / cannon-rs
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆59Updated 3 months ago
• mattsse / cairo-lang-rs
  ☆39Updated 2 years ago
• flashbots / rollup-boost
  Sidecar to Enable Rollup Extensions
  ☆48Updated this week
• prestwich / sisyphus
  My utils for long-lived, fault-tolerant rust tasks
  ☆44Updated 11 months ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆70Updated last week
• succinctlabs / sp1-contracts
  Contracts for onchain verification of SP1.
  ☆59Updated last week
• parmanuxyz / solidity-analyzer
  Solidity LSP server written in rust
  ☆57Updated last month
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆63Updated 2 weeks ago
• rkdud007 / xxfunc
  Serverless function on Reth
  ☆67Updated 2 months ago
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆76Updated this week
• malik672 / open-stylus
  openzepplin smart contracts written in rust for arbritum stylus
  ☆12Updated 6 months ago