sigp / opcode-purityLinks
A document describing purity detection in EVM opcode
☆16Updated 3 years ago
Alternatives and similar repositories for opcode-purity
Users that are interested in opcode-purity are comparing it to the libraries listed below
Sorting:
- evm playground - optimizations, patterns and bytecode decoding☆15Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Updated 3 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- Using various tools to rediscover popsicle exploit☆15Updated 3 years ago
- ☆13Updated 4 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 3 years ago
- Emergency Shutdown Module☆17Updated 2 years ago
- ☆31Updated 2 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 3 years ago
- Shows how optimistic geth modifies transactions that get submitted to it by converting them to OVM Messages and then calls to the OVM Exe…☆27Updated 4 years ago
- ☆14Updated 2 years ago
- ☆13Updated 2 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Updated 2 years ago
- ☆10Updated 3 years ago
- Whitenoise CTF I: Doves in the Wind☆20Updated 2 years ago
- ☆12Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- ☆19Updated 3 years ago
- a rust SDK for the gelato relay, using ethers-rs☆31Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- Minimal EVM implementation in Rust☆29Updated 7 years ago
- ☆17Updated 2 years ago
- pseudonymous transfers of Ether tokens using create2 & selfdestruct()☆32Updated 2 years ago
- ☆23Updated 5 years ago
- Know if a call is from an EOA no matter what☆35Updated 4 years ago
- Proof of concept trade simulation using state overrides☆22Updated 2 years ago
- WETH3074 is a new version of the WETH contract which utilizes EIP-3074 to avoid the need for wrapping/unwrapping. In essence it turns ETH…☆39Updated 2 years ago
- ☆23Updated 2 years ago
- Fully Onchain Badges for Huff Language GitHub Contributors.☆16Updated 3 years ago