Turing-complete blockchain protocols such as Ethereum approximate the idealized abstraction of a shared “computer in the sky” that is open access (anyone can install software or interact with already-installed software), runs in plain view, and, in effect, has no owner or operator.This technology can, among other things, enable stronger notions ...