Formal Verification vs Smart Contract Security Audit
A security audit finds likely bugs. Formal verification proves their absence mathematically. The difference in cost, time, and guarantees, laid out plainly.
№ 002SecurityHow Smart Contract Bytecode Hides Malicious Logic
Standard audit tools miss tricks buried in EVM bytecode. Here's the concrete mechanism, with real techniques and what auditors actually check.
№ 003SecurityWhy Smart Contract Audits Miss Reentrancy Bugs
Single-function reentrancy is well-understood. Cross-function and cross-contract variants still slip through audits. Here's exactly why, and how.