Or model checking fault-tolerant algorithms that have more states than the atoms in the universe| Protocols Made Fun
Standard way to verify a signature when the account is a smart contract| Ethereum Improvement Proposals
