Vitalik Buterin's Sept. 27 vision describes Ethereum moving from a system in which every verifier repeats much of the work toward one where data can be sampled and execution can be checked with compact proofs.