...by Daniel Szego
"On a long enough timeline we will all become Satoshi Nakamoto.."
Daniel Szego

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.