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 5 years ago
- SUPERCEDED by ricobank/multifab☆20Updated 3 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- Protocol☆18Updated 3 years ago
- Using various tools to rediscover popsicle exploit☆15Updated 3 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 3 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 4 years ago
- Emergency Shutdown Module☆17Updated 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 5 years ago
- Solidity error logging☆23Updated 4 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated 3 years ago
- ☆12Updated 4 years ago
- ☆10Updated 4 years ago
- ☆31Updated 3 years ago
- A tool for single Ethereum archival block state proofs.☆35Updated 2 years ago
- Minimal EVM implementation in Rust☆29Updated 7 years ago
- a rust SDK for the gelato relay, using ethers-rs☆32Updated 3 years ago
- Moved to https://github.com/ethereum/kzg-ceremony-sequencer☆17Updated 3 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Updated 3 years ago
- Slow burner for protocol assets.☆33Updated 2 years ago
- ☆28Updated 4 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60Updated 2 years ago
- Introduction to core development via CTF challenges☆41Updated 3 years ago
- blah☆17Updated 4 years ago
- Know if a call is from an EOA no matter what☆33Updated 4 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆46Updated 3 years ago
- ☆19Updated 3 years ago
- https://multicall3.com☆15Updated 10 months ago