seeking truth in smart contracts