Verity formally verified Ethereum's EIP-8282 for the Ethereum Foundation, proving three bytecode guarantees and flagging ...
Proof of concepts highlighting Java formal verification below source level, at the JVM bytecode and native code levels. Every commit links to a readable summary and to the full, hash-verified ...
A verified badge lets you inspect source code that matches deployed bytecode under the explorer’s matching rules; it does not show that using the contract is safe. Matching code can still contain vuln ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results