init4tech / trevm
Typestate interface for revm
☆54Updated this week
Related projects: ⓘ
- Minimal template for simulating contracts with arbiter.☆45Updated 3 months ago
- Solidity contracts for a next-gen rollup system.☆57Updated last week
- Serverless function on Reth☆65Updated 3 weeks ago
- Composable OP Stack Orchestration☆41Updated 10 months ago
- Collection of helpful smart contracts to build Suapps☆42Updated this week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆89Updated last month
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆43Updated 8 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆32Updated 4 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆57Updated last month
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆40Updated this week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆65Updated this week
- ☆31Updated 6 months ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated 7 months ago
- an introduction to noir, with simple examples☆43Updated 8 months ago
- Canonical type definitions for EIP-155 chains☆52Updated this week
- 🦄 UniswapV3 fork that uses a zkVM to compute swaps off-chain.☆80Updated 10 months ago
- Elliptic curve cryptography in pure Solidity for on- and offchain operations☆53Updated last week
- Collection of ExEx examples built on Reth☆98Updated last week
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆49Updated 9 months ago
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆63Updated 10 months ago
- Utilities for working with native solc and compiling projects.☆69Updated this week
- Solidity LSP server written in rust☆56Updated 2 months ago
- Blobscan's indexer rewritten in Rust.☆36Updated 2 weeks ago
- ☆50Updated 7 months ago
- Verifier contracts for onchain verification of SP1.☆55Updated this week
- Breathe air☆21Updated 4 months ago
- ☆34Updated this week
- 🔒💬 A protocol for credible commitments.☆73Updated 7 months ago
- CLI tool to develop Starknet projects written in Cairo☆56Updated 9 months ago
- 🔥 flamegraphs for solidity☆35Updated last week