lightclient / evm
An EVM interpreter (wip)
☆12Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for evm
- [Optimism] Plugins!☆12Updated 3 years ago
- Token for accruing protocol revenues☆16Updated 2 years ago
- ☆19Updated 3 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- Tool to generate EIP-712 compatible Solidity☆14Updated 2 years ago
- ☆21Updated 3 years ago
- [Optimism] Batches go zoom☆12Updated 3 years ago
- rollup node experiments☆15Updated 2 years ago
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆17Updated 3 years ago
- ☆14Updated 2 years ago
- CLI & Library for interacting with https://fractional.art/☆21Updated 3 years ago
- ☆19Updated 2 years ago
- A twitter bot that reports slashing events on the eth2 network (with a special twist)☆12Updated 3 years ago
- Minimalist optimistic rollup tech☆13Updated 3 years ago
- Peg Stability Module for Maker☆11Updated 3 years ago
- Start a Hardhat Network node from the command line☆12Updated 3 years ago
- Know if a call is from an EOA no matter what☆34Updated 3 years ago
- ☆22Updated 2 months ago
- evm playground - optimizations, patterns and bytecode decoding☆15Updated last year
- ☆18Updated last year
- formal verification of multicollateral dai in the K framework☆14Updated 3 years ago
- etk-Foundry project template☆20Updated last year
- iden3 documentation☆13Updated 9 months ago
- ETHPrague☆31Updated last year
- Solidity error logging☆23Updated 3 years ago
- ☆17Updated 2 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago