no code implementations • 8 May 2014 • Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek
We hope that our work can draw the attention of the researchers working on formal modeling to the problem of the Bitcoin contract verification, and spark off more research on this topic.
Cryptography and Security