Blockchain, Smart Contracts, Database, Electrical Engineering.
rather than on some particular servers somewhere. Like a computer virus, but with more control (and a wallet). As mentioned for digital circuits: once you have internal state, then verification becomes much harder. E.g. the difference between 8 possible states versus 4.2 states to verify. Formal