A $26 million exploit of the offline computation protocol Truebit stemmed from a smart-contract flaw that allowed an attacker ...