Satrajit Ghosh, Tobias Nilges
No abstract is available for this record.
Follow blockchain research across journals, conferences, and preprint repositories.
8,503 results ¡ page 254 of 355
Satrajit Ghosh, Tobias Nilges
No abstract is available for this record.
Xiong, Luoyuan
Strong anonymity and transaction privacy for cryptocurrencies that build on top of a permissionless blockchain is a well-known hard problem. The duplication of ledger provides public verifiability while also give rise to deanonymization attacks and unlinkability violations, where usersâ real world identities are linked to their \npseudonymous blockchain accounts. Even though some recently proposed protocols that utilize Ring Signatures [1] or Zero Knowledge Proof [2] have effectively mitigated those attacks, the computational overhead and monetary cost that comes along \nwith those fancy cryptographic primitives render them less usable, which arguably contribute to their poor adoption. \nIn this work, we proposed a practical, peer-to-peer, coin mixing protocol in the Ethereum blockchain that significantly enhance transaction privacy and bring back the unlinkability property. The protocol is primarily inspired by CoinShuffle++ [3] and Generalized State Channel [4], and it enables secure, accountable and \nincentive-compatible shuffling while only requires very weak trust assumption, minimal cost and negligible delay. \nA complete system specification and theoretical evaluation will be provided while the actual experimental the result will appear in a future update once an end-to-end Proof of Concept is built.
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki ¡ 5 authors
No abstract is available for this record.
Cody Freitag, Ilan Komargodski, Rafael Pass
No abstract is available for this record.
Wenping Ma
No abstract is available for this record.
Andrej Zwitter, Oskar Josef Gstrein, Evan Yap
While âclassicalâ human identity has kept philosophers busy since millennia, âDigital Identityâ seems primarily machine related. Telephone numbers, E-Mail inboxes, or Internet Protocol (IP)-addresses are irrelevant to define us as human beings at first glance. However, with the omnipresence of digital space the digital aspects of identity gain importance. In this submission, we aim to put recent developments in context and provide a categorization to frame the landscape as developments proceed rapidly. First, we present selected philosophical perspectives on identity. Secondly, we explore how the legal landscape is approaching identity from a traditional dogmatic perspective both in national and international law. After blending the insights from those sections together in a third step, we will go on to describe and discuss current developments that are driven by the emergence of new tools such as âDistributed Ledger Technologyâ and âZero Knowledge Proofâ. One of our main findings is that the management of digital identity is transforming from a purpose driven necessity towards a self-standing activity that becomes a resource for many digital applications. In other words, whereas traditionally identity is addressed in a predominantly sectoral fashion whenever necessary, new technologies transform digital identity management into a basic infrastructural service, sometimes even a commodity. This coincides with a trend to take the âcontrolâ over identity away from governmental institutions and corporate actors to âself-sovereign individualsâ, who have now the opportunity to manage their digital self autonomously. To make our conceptual statements more relevant, we present several already existing use cases in the public and private sector. Subsequently, we discuss potential risks that should be mitigated in order to create a desirable relationship between the individual, public institutions, and the private sector in a world where self-sovereign identity management has become the norm. We will illustrate these issues along the discussion around privacy, as well as the development of backup mechanisms for digital identities. Despite the undeniable potential for the management of identity, we suggest that particularly at this point in time there is a clear need to make detailed (non-technological) governance decisions impacting the general design and implementation of self-sovereign identity systems.
Karl WĂźst, Kari Kostiainen, Vedran Äapkun, SrÄjan Äapkun
No abstract is available for this record.
Chul Park, Jonghyun Kim, Dong Hoon Lee
No abstract is available for this record.
Alessandra Scafuro, Luisa Siniscalchi, Ivan Visconti
No abstract is available for this record.
Andrey Jivsov
No abstract is available for this record.
Srinath Setty
This paper introduces Spartan, a new family of zero-knowledge succinct non-interactive arguments of knowledge (zkSNARKs) for the rank-1 constraint satisfiability (R1CS), an NP-complete language that generalizes arithmetic circuit satisfiability. A distinctive feature of Spartan is that it offers the first zkSNARKs without trusted setup (i.e., transparent zkSNARKs) for NP where verifying a proof incurs sub-linear costsâwithout requiring uniformity in the NP statementâs structure. Furthermore, Spartan offers zkSNARKs with a time-optimal prover, a property that has remained elusive for nearly all zkSNARKs in the literature.
BenoĂŽt Libert, Khoa Nguyen, Benjamin Hong Meng Tan, Huaxiong Wang
No abstract is available for this record.
Martin Schanzenbach, Thomas Kilian, Julian SchĂźtte, Christian Banse
In this paper we present ZKlaims: a system that allows users to present attribute-based credentials in a privacy-preserving way. We achieve a zero-knowledge property on the basis of Succinct Non-interactive Arguments of Knowledge (SNARKs). ZKlaims allow users to prove statements on credentials issued by trusted third parties. The credential contents are never revealed to the verifier as part of the proving process. Further, ZKlaims can be presented non-interactively, mitigating the need for interactive proofs between the user and the verifier. This allows ZKlaims to be exchanged via fully decentralized services and storages such as traditional peer-to-peer networks based on distributed hash tables (DHTs) or even blockchains. To show this, we include a performance evaluation of ZKlaims and show how it can be integrated in decentralized identity provider services.
Ron D. Rothblum, Adam Sealfon, Katerina Sotiraki
No abstract is available for this record.
Anca Nitulescu
No abstract is available for this record.
Vanesa Daza, Alonso Gonzålez, Zaira Pindado, Carla Rà fols ¡ 5 authors
No abstract is available for this record.
RafaĂŤl del Pino, Vadim Lyubashevsky, Gregor Seiler
No abstract is available for this record.
Muhammed F. Esgin, Ron Steinfeld, Amin Sakzad, Joseph K. Liu ¡ 5 authors
No abstract is available for this record.
Guilhem Castagnos, Dario Catalano, Fabien Laguillaumie, Federico Savasta ¡ 5 authors
No abstract is available for this record.
Mary Maller, Sean Bowe, Markulf Kohlweiss, Sarah Meiklejohn
Ever since their introduction, zero-knowledge proofs have become an important tool for addressing privacy and scalability concerns in a variety of applications. In many systems each client downloads and verifies every new proof, and so proofs must be small and cheap to verify. The most practical schemes require either a trusted setup, as in (pre-processing) zk-SNARKs, or verification complexity that scales linearly with the complexity of the relation, as in Bulletproofs. The structured reference strings required by most zkSNARK schemes can be constructed with multi-party computation protocols, but the resulting parameters are specific to an individual relation. Groth et al. discovered a zk-SNARK protocol with a universal structured reference string that is also updatable, but the string scales quadratically in the size of the supported relations.<br/> <br/>Here we describe a zero-knowledge SNARK, Sonic, which supports a universal and continually updatable structured reference string that scales linearly in size. We also describe a generally useful technique in which untrusted âhelpersâ can compute advice that allows batches of proofs to be verified more efficiently. Sonic proofs are constant size, and in the âhelpedâ batch verification context the marginal cost of verification is comparable with the most efficient SNARKs in the literature<br/>
Rupeng Yang, Man Ho Au, Zhenfei Zhang, Qiuliang Xu ¡ 6 authors
No abstract is available for this record.
Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa ¡ 5 authors
No abstract is available for this record.
Chris Peikert, Sina Shiehian
No abstract is available for this record.
Eli BenâSasson, Iddo Bentov, Yinon Horesh, Michael Riabzev
No abstract is available for this record.