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
- evm playground - optimizations, patterns and bytecode decoding☆15Updated 3 years ago
- SUPERCEDED by ricobank/multifab☆20Updated 3 years ago
- ☆13Updated 4 years ago
- Using various tools to rediscover popsicle exploit☆15Updated 3 years ago
- ☆12Updated 3 years ago
- ☆28Updated 4 years ago
- Solidity error logging☆23Updated 4 years ago
- Know if a call is from an EOA no matter what☆33Updated 4 years ago
- ☆10Updated 4 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 4 years ago
- A set of tools for use with the huff language.☆21Updated 3 years ago
- prove eth_call result☆15Updated last year
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- Protocol☆18Updated 2 years ago
- Emergency Shutdown Module☆17Updated 2 years ago
- ☆14Updated 2 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated 2 years ago
- A tool for single Ethereum archival block state proofs.☆35Updated 2 years ago
- Minimal Ethereum delegatecall proxies☆22Updated 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
- Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.☆16Updated last year
- 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
- pseudonymous transfers of Ether tokens using create2 & selfdestruct()☆32Updated 3 years ago
- ☆31Updated 3 years ago
- A salmonella token built with foundry☆20Updated 3 years ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆15Updated 3 years ago
- Groth16 verifier in EVM☆23Updated 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