Time-Traveling Simulation for Security

Blockchains are a powerful technology which allow decentralized agreement with an immutable history. Since transactions can be added, but not removed, blockchains allow distributed banking as a trustworthy alternative to central banking. A vast amount of cryptographic research on…