[Back]

J. Abfalter:
"Adaptor Signature Based Atomic Swaps Between Bitcoin and a Mimblewimble Based Cryptocurrency";
Supervisor: M. Maffei, P. Moreno-Sanchez; Institut of Logic and Computation, Security and Privacy, 2021; final examination: 2021-07-01.

Since the inception of Bitcoin in 2008, we have witnessed continuous growth in the Bitcoin and blockchain space. As the number of individual cryptocurrencies rises, interoperability between them becomes a critical topic, for instance, to allow for decentralized coin exchange. By utilizing smart contracts or script constructs available on most blockchain systems, connecting two cryptocurrencies is possible via so-called Atomic Swaps. However, for the currencies focusing on privacy enhancements, no such capabilities exist. This thesis explores the Mimblewimble protocol, a construction of an exceptionally efficient privacy-enhancing cryptocurrency. By building on other authors' previous work, we formalize different kinds of Mimblewimble transactions that allow for shared coin ownership and simple contracts and prove their security and correctness. We improve on the protocol's security model by identifying and resolving a weakness in prior formalizations. Utilizing our advanced transaction protocols, we manage to design an Atomic Swap protocol for Mimblewimble-based systems built solely with cryptographic primitives. We further formalize an Atomic Swap protocol between Bitcoin and Grin, a Mimblewimble-based cryptocurrency. We then implement a proof of concept in the programming language Rust, which we successfully deploy and evaluate on the Bitcoin and Grin testnets.

Seit der Einführung von Bitcoin im Jahr 2008 haben wir ein kontinuierliches Wachstum im Bitcoin- und Blockchain-Bereich erlebt. Da die Anzahl der Kryptowährungen steigt, wird die Interoperabilität zwischen ihnen zu einem interessanten Thema, zum Beispiel um dezentralen Exchange zwischen den Kryptowährungen zu ermöglichen. Durch die Nutzung von Smart Contracts oder Skriptkonstrukten, die auf den meisten Blockchain-Systemen verfügbar sind, ist die Verbindung zweier Kryptowährungen über sogenannte Atomic Swaps möglich. Für Währungen, die sich auf die Verbesserung der Privatsphäre konzentrieren, gibt es jedoch keine solchen Möglichkeiten. Diese Arbeit erforscht das Mimblewimble-Protokoll, eine Konstruktion einer außergewöhnlich effizienten, die Privatsphäre verbessernden Kryptowährung. Aufbauend auf früheren Arbeiten anderer Autoren formalisieren wir verschiedene Arten von Mimblewimble-Transaktionen, die primitive Smart Contracts ermöglichen, und beweisen ihre Sicherheit und Korrektheit. Wir verbessern das Sicherheitsmodell des Protokolls, indem wir eine Schwäche in früheren Formalisierungen identifizieren und beheben. Unter Verwendung unserer fortschrittlichen Transaktionsprotokolle gelingt es uns, ein Atomic-Swap-Protokoll für Mimblewimble-basierte Systeme zu entwerfen, das ausschließlich aus kryptografischen Primitiven aufgebaut ist. Außerdem formalisieren wir ein Atomic Swap-Protokoll zwischen Bitcoin und Grin, einer Mimblewimble-basierten Kryptowährung. Anschließend implementieren wir einen Proof of Concept in der Programmiersprache Rust, den wir erfolgreich in den Testnets von Bitcoin und Grin einsetzen und evaluieren.

Bitcoin/ Cryptocurrency / Cryptography / Signature Scheme / Schnorr / Mimblewimble

https://publik.tuwien.ac.at/files/publik_297776.pdf