Merge branch 'Rapport_Dorian' into 'develop'

Rapport dorian

See merge request v18003685/pfe-blockchain!17

docs/rapportFinal/decentralisation/atomic_swaps_htlc.tex

@@ -1,5 +1,40 @@
 %author: Dorian VOLPE
-\subsubsection{Atomic swaps}
-Atomic
 \subsubsection{HTLC}
-HTLC
+
+Un HTLC est un type de \textit{smart contract} utilisé dans les applications \textit{blockchain} qui réduit le risque de contrepartie en créant une garantie basée sur le temps et une autre sur un verrou cryptographique.
+Ils reposent sur deux primitives fondamentales: le verrou de hachage et le verrou temporel.\\
+Premièrement le verrou de hachage (ou bien \textit{hashlock}): Ce dernier va fonctionner comme une assurance qui va couvrir les parties participantes à la transaction, en leur garantissant que chaque modification de l'échange soit réalisée d'un commun accord de toutes les parties.
+Cela est mis en place grâce à un partage du hachage de la clef privée de la transaction, ce partage va donc impliquer que le canal de paiement mis en place ne puisse être ouvert ou fermé qu'avec l'accord de tous les participants.\\
+Ensuite le verrou temporel (ou bien \textit{timelock}) va laisser un laps de temps prédéterminé afin que chaque côté du canal puisse prendre ses dispositions avant d'effectuer la transaction. Si jamais ce temps est écoulé alors la clause secondaire du contract (elle aussi prédéterminée) sera exécuté. 
+Dans la plupart des cas cette clause secondaire va simplement fermer le canal de paiement et terminer la transaction sans la diffuser sur une \textit{blockchain}.\\
+L’intérêt principal de ce type de contrat est qu'il permet d'effectuer facilement des échanges hors chaines. En effet, vu que les participants s'accordent au préalable sur le montant de la transaction ils peuvent tout à fait réaliser l'échange sur des \textit{blockchains} différentes, sous réserve que ces \textit{blockchains} aient des mécanismes de \textit{smarts contracts}.
+
+\begin{figure}[h!]
+    \centering
+    \includegraphics[scale=0.35]{decentralisation/Timed-HashLocks-Diagram-Image.png}
+    \caption{Utilisation basique d'un HTLC}
+    \label{fig:HTLC}
+\end{figure}
+\subsubsection{Atomic swaps}
+Les \textit{atomics swaps} ou bien échanges atomiques sont des échanges effectués entre deux \textit{blockchains}. On les appelle "atomiques" car il respecte une primitive essentielle à leur fonctionnement et à leur principe d'utilisation: 
+l'échange est insécable, c'est-à-dire qu'a son issue, soit il s'est pleinement exécuté, soit l'état antérieur à l'échange est préservé.
+Cette primitive permet de garantir que les participants ne seront jamais dans des états jugés "inacceptables". \\
+En effet les échanges atomiques partent du postulat que si une partie suit le protocole à la lettre alors, 
+il ne sera jamais perdant. A contrario les partis ne suivant pas le protocole par malveillance ou par erreur, prennent le risque de perdre leurs mises de départ.\\ \\
+Lors d'un échange atomique les HTLC vont être utilisés de manière centrale car ils vont permettre d'apporter les garanties que nous avons vue dans la partie précédente. Il faut voir les échanges atomiques comme une généralisation de l'utilisation des HTLC. Lors d'un échange atomique les deux \textit{blockchains} mises en relation doivent pouvoir communiquer et échanger sur une interface commune comme un portefeuille multi signature ou un canal d'échange mis en place spécialement pour cette transaction. \\ \\
+Si nous nous penchons sur le déroulement d'un échange atomique à deux parties nous pouvons déduire les étapes suivantes: 
+\begin{enumerate}
+    \item Les deux parties participent à l'échange, créant un HTLC (sur chaque \textit{blockchain}) dans lequel les fonds sont bloqués. 
+    \item Les deux parties échangent les informations nécessaires pour effectuer une transaction sur la \textit{blockchain} de l'autre partie. 
+    \item Les deux parties vérifient l'exactitude des informations reçues et signent la transaction. 
+    \item Les événements sont envoyés sur les \textit{blockchains} respectives. 
+    \item Les transactions sont confirmés par les \textit{blockchains} respectives et les fonds sont débloqués.
+\end{enumerate}
+
+\begin{figure}[h!]
+    \centering
+    \includegraphics[scale=0.15]{decentralisation/atomicSwap.png}
+    \caption{Déroulement simplifié d'un échange atomique}
+    \label{fig:atomicSwap}
+\end{figure}
+

docs/rapportFinal/decentralisation/index.tex

@@ -10,5 +10,5 @@
 \subsection[Atomic swaps et HTLC]{Atomic swaps et HTLC}
 \input{decentralisation/atomic_swaps_htlc.tex}
 
-\subsection[Réseau Lightning]{Réseau Lightning}
+\subsection[Échanges "off-chain"]{Les échanges \textit{off-chain}}
 \input{decentralisation/lightning.tex}

docs/rapportFinal/decentralisation/lightning.tex

@@ -1,6 +1,67 @@
 %author: Dorian VOLPE
-\subsubsection{Le réseau Lightning}
-Lightning
+\subsubsection{Fonctionnement des échanges \textit{off-chain}}
+Les échanges \textit{off-chain} sont des transactions de crypto-actif dont on déplace la valeur en dehors de la \textit{blockchain} mère. En d’autres termes, il s’agit de la négociation de la valeur d’un actif crypto en dehors de la \textit{blockchain} source. Les transactions \textit{on-chain} sont les échanges d'actifs qui ont lieu sur la \textit{blockchain} elle-même.
+Ils sont des échanges d’actifs internes au réseau et ont donc leurs propres grands livres, authentification et coûts qui ont lieu parmi la \textit{blockchain}.
+\begin{figure}[h!]
+    \centering
+    \includegraphics[scale=0.3]{decentralisation/offchain.png}
+    \caption{Architecture \textit{off-chain}}
+    \label{fig:offchain}
+\end{figure}
+Les transactions \textit{off-chain} sont confirmées en dehors du réseau principal de la \textit{blockchain}, ce qui entraîne souvent un processus moins cher et plus rapide pour l’utilisateur. 
+Tout cela se fait dans un objectif bien précis qui est de garder le maximum de sécurité/fiabilité de la \textit{blockchain} mère tout en essayant d'améliorer la vitesse d'échange et les frais de transaction.
+Afin d'illustrer comment fonctionne les échanges \textit{off-chain} nous allons nous concentrer sur une implémentation en particulier: le réseau Lightning. 
 
-\subsubsection{Amélioration par le MIT}
-MIT
+\subsubsection{Le réseau lightning}
+
+Le réseau lightning (provenant de l'anglais \textit{Lightning Network} et abrégé par LN) fait partie des processus d'échanges que l'on qualifie d'\textit{off-chain} car il se déroule en dehors de leur \textit{blockchains} principale, ce protocole est un cas concret de cette famille.
+Ce réseau est une couche de protocole de paiement construite au-dessus de la \textit{blockchain} Bitcoin qui vise à accélérer les transactions  Bitcoin, à réduire les coûts et à améliorer la mise a l'échelle.
+Il permet aux utilisateurs de créer des canaux de paiement peer-to-peer bidirectionnels  pour effectuer des transactions en dehors de la \textit{blockchain} principale (voir Figure \ref{fig:lightningCouche}), permettant des transactions plus rapides, moins chères et plus privées.\\
+Les transactions sur le réseau lightning sont effectuées avec des smart contracts qui permettent aux utilisateurs de transférer des fonds à des tiers sans l'approbation de la \textit{blockchain} principale ou bien d'un tiers de confiance. 
+Les canaux de paiement flash sont créés en verrouillant temporairement des fonds sur une adresse multi-signature (voir Figure \ref{fig:lightningNetwork}), qui est ensuite utilisée pour envoyer des transactions à d'autres participants du réseau.\\ 
+Le réseau lightning utilise un système de routage pour acheminer les paiements entre les participants, en utilisant les canaux de paiement existant pour créer des itinéraires optimaux entre les participants. 
+Les frais d'utilisation de ce réseau sont généralement bien inférieurs aux frais de transaction sur la \textit{blockchain} principale, ce qui en fait une option plus attrayante pour les  petites et moyennes transactions.
+
+\begin{figure}[h!]  
+    \includegraphics[scale = 0.3 ]{decentralisation/lightningCouche.png}    \centering
+        \caption{Le réseau Lightning par rapport a la \textit{blockchain} Bitcoin principale}
+        \label{fig:lightningCouche}
+    \end{figure}
+
+\begin{figure}[h!]
+    \centering
+    \includegraphics[scale=0.3]{decentralisation/Procedures-of-Lightning-network.png}
+    \caption{Déroulement d'un échange sur le réseau Lightning}
+    \label{fig:lightningNetwork}
+\end{figure}
+
+Voici le déroulement classique d'un échange sur le réseau Lightning:\\ Alice veut échanger avec Bob à travers le réseau Lightning (sur la même ou bien sur des \textit{blockchains} différentes). 
+Alice va donc ouvrir un portefeuille multi-signature\footnote{Portefeuille qui nécessite plusieurs signatures pour effectuer une transaction} avec Bob. Ils vont mettre une "mise de départ" qu'ils vont déposer dans le portefeuille mentionné précédemment (le canal d'échange aura donc la taille des deux mises de départ cumulées).
+Ensuite ils vont effectuer leurs transactions dans ce portefeuille qui va être mis à jour à chaque transaction.\\ \\ 
+Il est fondamental de noter que chaque transaction invalide les précédentes (à l'exception de la toute première). Lorsque l'un des participants souhaite terminer l'échange il va publier sur la \textit{blockchain} Bitcoin la dernière transaction effectuée.
+Ce mécanisme de transaction intermédiaire est mis en place afin d'éviter qu'un des deux acteurs de l'échange ne puisse "s'échapper" de l'échange, car chacune des parties va signer avec sa clef privée la dernière transaction. \\
+Aussi tous ces échanges se passent à l'intérieur du réseau Lightning, la \textit{blockchain} principale n'a donc aucune idée du nombre exact de transactions intermédiaires effectuées puisque seule une transaction sera envoyer sur la \textit{blockchain} principale. 
+Cela permet d'éviter d'engendrer des frais de transactions inutiles ou bien de congestionner la \textit{blockchain} principale.\\ \\
+ Enfin il existe aussi une autre caractéristique intéressante du réseau Lightning: le \textit{channel hopping}. 
+Cette propriété permet de mettre en place une transitivité entre les parties du réseau. Par exemple si Alice a déjà échangé avec Bob et Bob à déjà échangé avec Carol alors Alice pourra échanger avec Carol et vice-versa. 
+
+
+\subsubsection{Amélioration du réseau lightning par le MIT}
+
+Même si le réseau Lightning permet déjà de faire des échanges \textit{cross-chains}, il est de la responsabilité des blockchains de s'adapter au réseau afin de pouvoir échanger sur ce dernier.
+Le MIT a donc proposé un ouvrage scientifique (voir Références) afin de proposer une interface plus simple à la fois pour les blockchains mises en cause et les utilisateurs souhaitant utiliser le réseau.
+Leur \textit{Proof of Concept} se base sur un fork du réseau Lightning appelé "lit" leur but est de contrer le problème de mise à l'échelle du réseau lightning grace à leurs améliorations.
+De même ils cherchent à inclure dans le réseau lightning des blockchains qui n'ont pas de valeurs monétaires (informations, NFT,etc.).
+
+Leur programme rajoute 4 commandes au réseau Lightning mentionné précédemment, ce qui va permettre d'avoir une interface plus simple pour les acteurs des échanges :
+\begin{itemize}
+    \item \textit{Price}: Commande qui permet aux utilisateurs de rechercher la valeur marchande actuelle en USD de toute crypto-monnaie disponible sur le site \textit{coinranking.com}.\\
+    \item \textit{Compare}: Permet de comparer la valeur en USD de deux cryptomonnaies différente et de faire l'équivalent d'une cryptomonnaie à une autre. Cette commande utilise la commande \textit{Price} mentionnée au-dessus.\\
+    \item \textit{Exchange} : La commande \textit{Exchange} est la première des deux commandes développées pour effectuer des échanges inter-chaînes. Elle permet de spécifier les montants mis en jeu lors de l'échange. Si Alice veut échanger 20 Bitcoin (à travers le canal 1) pour 10 Litecoin (à travers le canal 2) avec Bob, elle entrerait "Exchange 1 20 2 10 ».\\
+    \item \textit{Respond} : À ce stade, Bob a une minute pour décider si pour accepter la demande d'échange d'Alice. Il peut faire l'une des trois choses suivantes : répondre oui et accepter l'échange, répondre non et le refuser, ou laisser la demande \textit{timeout}.\\
+\end{itemize}
+
+
+Malheureusement ce protocole ne supporte pas encore le \textit{channel hopping} malgré le fait qu'il se base sur le réseau lightning. 
+De même il ne supporte pas de sécurité au niveau des valeurs échangées, même si une commande permet de vérifier le prix en USD de l'échange, et cela tout particulièrement pour les chaines non monétaires.
+Cette amélioration du MIT laisse donc libres les valeurs mises en place lors des échanges.