Verification and Simulation as Necessary Complements in Smart Contract Security | Dark Hacker News