...by Daniel Szego
"Simplicity is the ultimate sophistication."
Leonardo da Vinci

Monday, March 6, 2017

Blockchain, consensus and modal logic

From a logical point of view transient data state of the individual nodes of a Blockchain could be regarded as possible wolds of a modal logical system. In this sense it might make sense to write expressions with a specific modal logic to describe different characteristics of a smart contract or a specific consensus mechanism.