-
Copy of phd
Besides using this defense as an occasion to bash at ENS' security, this thesis explores non-interactive arguments of knowledge, a cryptographic primitive that allows a prover to convince a verifier of the truth of a certain statement. We will focus on cryptographic constructions that allow a user to prove knowledge of a so-called witness that satisfies a circuit, while simultaneously hiding it.
-
Anonymous Tokens
Anonymous Tokens enable an issuer to provide a user with anonymous trust tokens that can embed a single private bit, which is accessible only to the party who holds the secret authority key and is private with respect to anyone else. Our construction extends the functionality of Privacy Pass (PETS 2018) with this private metadata bit capability.
-
mimblewimble
Aggregate Cash Systems: a cryptographic investigation of Mimblewimble On August 2nd 2016, "Tom Elvis Jedusor" posted a .onion link to a text file on IRC, titled MIMBLEWIMBLE. The file illustrated how to construct a cryptocurrency with several privacy-enhancing techniques initially endeavored for Bitcoin, such as confidential transactions, non-interactive merging of transactions and cut-trough of transaction inputs and outputs. In this talk, we will provide security definition for an abstraction of Mimblewimble that we call Aggregate Cash System. Then, we will provide a provable-security analysis of Mimblewimble in this definitional framework. This talk is joint work with Georg Fuchsbauer and Yannick Seurin.
-
phd
Besides using this defense as an occasion to bash at ENS' security, this thesis explores non-interactive arguments of knowledge, a cryptographic primitive that allows a prover to convince a verifier of the truth of a certain statement. We will focus on cryptographic constructions that allow a user to prove knowledge of a so-called witness that satisfies a circuit, while simultaneously hiding it.