
\begingroup

\titleformat{\chapter}[display]
   {\normalfont\huge\bfseries}{\chaptertitlename\ \thechapter}{20pt}{\Huge}
\titlespacing*{\chapter}{0pt}{0pt}{00pt}


\chapter{Résumé}

\endgroup

\begin{samepage}

\noindent \textbf{Titre en Français } : Le système GNU Taler : Paiements électroniques pratiques et sécurisés.

Les nouveaux protocoles de réseautage et cryptographiques peuvent
considérablement améliorer les systèmes de paiement électroniques en ligne.
Le présent mémoire porte sur la conception, la mise en œuvre et l'analyse
sécuritaire du GNU Taler, un système de paiement respectueux de la vie privée
conçu pour être pratique pour l’utilisation en ligne comme méthode de
(micro-)paiement, et en même temps socialement et moralement responsable.

La base technique du GNU Taler peut être dû à l'e-cash de David Chaum.  Notre
travail va au-delà de l’e-cash de Chaum avec un changement efficace, et la
nouvelle notion de transparence des revenus garantissant que les marchands ne
peuvent recevoir de manière fiable un paiement d'un payeur non fiable que
lorsque leurs revenus du paiement est visible aux autorités fiscales. 

La transparence des revenus est obtenue grâce à l'introduction d'un protocole
d’actualisation donnant lieu à un changement anonyme pour un jeton
partiellement dépensé sans avoir besoin de l’introduction d’une évasion
fiscale échappatoire.
%En outre, le protocole d'actualisation peut être
%utilisé pour la mise en œuvre des swaps atomiques de style Camenisch, et pour
%la préservation de l'anonymat en présence d'annulation du protocole et
%d'erreurs de crash avec perte de données par les participants.
De plus, nous
démontrons la sécurité prouvable de la transparence anonyme de nos revenus
e-cash, qui concerne en plus l'anonymat habituel et les propriétés
infalsifiables de l'e-cash, ainsi que la conservation formelle des fonds et
la transparence des revenus.

Notre mise en œuvre du GNU Taler est utilisable par des utilisateurs
non-experts et s'intègre à l'architecture  du web moderne.   Notre plateforme
de paiement aborde une série de questions pratiques telles que la prodigue
des conseils aux clients, le mode de remboursement, l'intégration avec les
banques et les chèques ``know-your-customer (KYC)'', ainsi que les exigences
de sécurité et de fiabilité de la plateforme web.  Sur une seule machine,
nous réalisons des taux d’opérations qui rivalisent avec ceux des processeurs
de cartes de crédit commerciaux globaux.
%Nous améliorons la robustesse des
%échanges - la composante qui détient l'argent de banque en mains tierces en
%échange de l'e-cash - en ajoutant une composante d'auditeur qui vérifie le
%fonctionnement correct du système, et permet une détection tôt d’un compromis
%ou d’un mauvais comportement de l'échange. 

%Tout comme les comptes bancaires ont raisons d'exister de même que les billets
%de banque, l’e-cash ne sert que dans le cadre d'un empilement  de système de
%paiement. Les registres distribués ont récemment gagné une immense popularité
%en tant que substituant potentiel des parties de l'industrie financière
%traditionnelle.

Pendant que les crypto-monnaies basées sur la preuve de travail à l’instar de
Bitcoin doivent encore être mises à l'échelle pour servir de substituant aux
systèmes de paiement établis, d'autres systèmes plus efficaces basés sur les
Blockchains avec des algorithmes de consensus plus classiques pourraient
avoir des applications prometteurs dans le secteur financier. Nous faisons
dans la conception, la mise en œuvre et l’analyse de la Byzantine Set Union
Consensus, un protocole de Byzantine consensus qui s'accorde sur un
(Super-)ensemble d'éléments à la fois, au lieu d'accepter en séquence les
éléments individuels sur un ensemble. Byzantine Set consensus peut être
utilisé comme composante de base pour des chaînes de blocs de permissions, où
(à l’instar du style Nakamoto consensus) des blocs entiers d’opérations sont
convenus à la fois d’augmenter le taux d’opération.
\end{samepage}
