blockchain · 3
Blockchain
Inspect EVM selectors and proxy contracts, compare bytecode and ABI evidence, and use REA for deeper offline smart-contract analysis. Guides check selectors, proxy behavior and verification mismatches. The REA example starts from a contract you compile with solc so inferred arguments can be checked against compiler output; inference does not recover names or source.
Etherscan Verification Failed? Read solc Version from Bytecode
Etherscan says your bytecode does not match? Read the solc version and metadata hash from the CBOR tail of deployed code, then find the setting that differs.
Recover EVM Function Selectors from Bytecode Offline with REA
Use REA's inspect-evm-interface (bundled EVMole 0.9.3) to infer function selectors, argument types and mutability from EVM bytecode offline, then verify them.
Unverified Contract? Tell a Proxy from a Token by Its Bytecode
No verified source on Etherscan? Use bytecode to tell an EIP-1967 proxy, a minimal clone and an ERC-20 token apart, and see which admin functions it has.