Phying News
P非影 中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

Ethereum Virtual Machine Internals – Part 2

netspi.com | blog | #smart-contracts | #blockchain | #ethereum | #solidity | #evm | #storage-slots

Summary

Part two on EVM internals covers persistent contract Storage: how Solidity types map to 32-byte storage slots, SSTORE and SLOAD semantics, and the gas costs that make storage writes expensive.
Published
Collected

original ↗

Related coverage

research · netspi.com
Ethereum Virtual Machine Internals – Part 1
Part one on EVM internals explains how the Ethereum Virtual Machine executes smart contracts deterministically, covering volatile memory, function selection, and bytecode-level vulnerabilities.
blog · blog.trailofbits.com
State Machine Testing with Echidna
A Trail of Bits engineer adapts Hedgehog-style state machine testing to EVM contracts with Echidna, showing how random call sequences can verify invariants and surface logic bugs in Solidity code.
blog · blog.trailofbits.com
Echidna, a smart fuzzer for Ethereum
Trail of Bits releases Echidna at EthCC, the first fuzzer built for smart contracts, pairing a simple echidna-test runner for Solidity assertions with a library for custom state-machine analyses.
blog · hackenproof.com
How to: Smart Contracts Bug Hunting
A beginner's guide to smart contract bug hunting: learn Ethereum and Solidity basics through CryptoZombies and Remix IDE, then study OpenZeppelin contracts with tools like solc and Mythril.
blog · hackenproof.com
Optimizing Gas Usage in Solidity
A guide to gas optimization in Solidity: how gas and opcodes work under the EVM's fee model, and practical techniques for writing contracts that execute more cheaply and resist misuse.
blog · certik.com
What Are Decentralized Apps (dApps)?
Decentralized apps (dApps) run on blockchain networks like Ethereum, Solana, BSC, SUI, and Avalanche. Learn what dApps are, how they work, examples, and their advantages in Web3.
back