@misc{cryptoeprint:2018:400, author = {Nicholas Stifter and Aljosha Judmayer and Philipp Schindler and Alexei Zamyatin and Edgar Weippl}, title = {Agreement with Satoshi – On the Formalization of Nakamoto Consensus}, howpublished = {Cryptology ePrint Archive, Report 2018/400}, year = {2018}, url = {https://eprint.iacr.org/2018/400}, }