The entire and only possible point of a "smart contract" language is to bind two signed event structures ("blockchains") together. Thus these languages MUST be in terms of logical invariants of such structures, and to allow for universal quantification MUST be interactive proofs.
-
-
You only *threathen* to execute the fragment, because the program was designed so there's a clear winning strategy for anyone who is in the right, and the other party is interested in conceding early rather than paying the tab for the entire interactive argument.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thought experiment: in the future, Million Dollar Problems in Mathematics can be put on a blockchain and whoever finds a solution can anonymously self-checkout by unlocking the corresponding contract.3
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!