Tyranny of the Majority: On the (Im)possibility of Correctness of Smart Contracts | IEEE Journals & Magazine | IEEE Xplore