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:
- Experimental python optimistic rollup fraud-proof generation☆29Updated 3 years ago
- ☆13Updated 4 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Updated 3 years ago
- Using various tools to rediscover popsicle exploit☆15Updated 3 years ago
- ☆12Updated 3 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 3 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated 2 years ago
- a rust SDK for the gelato relay, using ethers-rs☆32Updated 2 years ago
- Protocol☆18Updated 2 years ago
- Minimal EVM implementation in Rust☆29Updated 7 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 3 years ago
- Moved to https://github.com/ethereum/kzg-ceremony-sequencer☆17Updated 3 years ago
- Introduction to core development via CTF challenges☆41Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆17Updated 2 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Updated 3 years ago
- https://multicall3.com☆14Updated 8 months ago
- pseudonymous transfers of Ether tokens using create2 & selfdestruct()☆32Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- Groth16 verifier in EVM☆23Updated 2 years ago
- Testing Ethereum reorgs in a private geth network☆30Updated 2 years ago
- Minimal Ethereum delegatecall proxies☆22Updated 2 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
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Updated 4 years ago
- ☆14Updated 2 years ago
- ☆10Updated 4 years ago
- A set of tools for use with the huff language.☆21Updated 3 years ago
- Solidity error logging☆23Updated 4 years ago
- Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.☆16Updated last year
- Whitenoise CTF I: Doves in the Wind☆20Updated 3 years ago