Bringing Zero-Knowledge Proofs of Knowledge to Practice

By (author) Stephan Krenn

Extent: 170, 170 pages

Publisher: Logos Verlag Berlin

Subjects: Technical Sciences: Computer Science, Engineering, IT, & Math

Language: English

Paperback (Published)

(September 2012)

ISBN: 9783832532178

5.71 x 8.27 inches

Price: $54.00

Out of stock

Synopsis
Contributing Authors

A zero-knowledge proof of knowledge allows one party to convince another party that it knows a secret piece of information without revealing anything about it. Such protocols are important building blocks for many interesting higher-level cryptographic applications, such as e-voting and e-cash systems, digital signature and identification schemes, or anonymous credential systems. Unfortunately, their high computational costs, as well as long and error-prone implementation cycles, are major hurdles on their way to real-world usage. This thesis contributes to overcoming these restrictions. On the practical side, we introduce a compiler which automatically translates natural specifications of zero-knowledge proofs into concrete implementations. In addition, it generates formal proofs that the generated protocols are indeed sound. On the theoretical side, we analyze inherent efficiency limitations of igma-protocols, proving the optimality of currently known protocols. Finally, we consider zero-knowledge proofs in the Universal Composability framework. By enabling UC-compliant proofs of existence for the first time, we are able to decrease the computational complexity of many practically relevant UC-secure zero-knowledge protocols to an acceptable level.

By (author) Stephan Krenn

Similar Books

The New Other

Alien Intelligence and the Innovation Drive

By (author) Amy Levy

Transitive Media [Philosophy]

Think(er)ing Technologies in Real-Time

By (author) Wolfgang Ernst

Care in an Era of New Technologies and Artificial Intelligence

Relationships in a Connected World

Volume 14

By (author) V. Nurock

City in the Cloud – Data on the Ground

The Architecture of Data (English-language)

Edited by Damjan Kokalevski Edited by Andres Lepik Edited by Cara Hähl-Pfeifer Contributions by James…

Global Histories of Video Game Music Technology

Volume 8

Edited by Karen M. Cook Edited by William Bibbons Edited by Fanny Rebillard

Natural Resources in Early Modern Economies of Knowledge

Volume 40

Edited by Pietro Daniel Omodeo Edited by Helge Wendt

Physical Characterization of Coatings

Introduction to Rheology and Surface Analysis

By (author) Michael Osterhold

The Digital Turn in Religious Studies

Research, Services, Infrastructures

Edited by Alberto Melloni Edited by Francesca Cadeddu

The Physics of the Mind

New Perspectives for Psychotherapists, Healers and Seekers

By (author) Phil Mollon

Buchblogs zwischen Passion und Profession

Zur Diskursivierung digitaler literaturbezogener Anschlusskommunikation als Arbeit

By (author) Kristina Petzold

Die Einführung ins richtige Handeln in der Arithmetik (Madḫal ar-rašad ilā ʿilm al-ʿadad) von al-Qalaṣādī (st. 1486)

Bearbeitung und Einordnung in die maġribinische Mathematikgeschichte

Volume 19

By (author) Ulrich Rebstock

Digitale Medien und Religionsunterricht

Ein domänenspezifischer Beitrag zu einer kritischen Medienbildung unter Berücksichtigung medien-, bildungs- und lerntheoretischer Perspektiven

By (author) Anja Graf

Ein Glucksritter als Wegbereiter der Motorisierung

Der Basler Kaufmann Eduard Burckhardt (1847-1897)

by Christoph Ditzler and Ilse Rolle Ditzler

Erinnerung an Wilhelm Gottlieb Hankel (1814–1899) aus Anlass seines 125. Todestages

By (author) Bodo Geyer

Falschung, Betrug, Beliebigkeit

der Vertrauensverlust der Wissenschaft

by Manfred Velden

Leó Szilárd – Der Mann hinter der Bombe

By (author) Arne Molfenter

Partizipative Produktentwicklung in der Modeindustrie

Methoden, Vorgehensmodelle und ihre Anwendung in der Wertschöpfung smarter Outdoorbekleidung

By (author) Laura Tihon

Articulations of the Nuclear

Postwar Japan under the Spell of the Atomic Age

Volume 13

edited by Stephan Kohn and Katharina Hulsmann

Artificial Morality

An Exploration of Moral Machines

Volume 4

by Andrei Nutas

Decameter Radio Emission of the Sun

edited by Valentin Nikolayevich Melnik and Helmut O. Rucker

Development of a telemetry system for monitoring piston characteristics inside combustion engines

By (author) Paul Lagaly

Global History of Techniques

(19th-21st Centuries)

Volume 9

Edited by Guillaume Carnino Edited by Liliane Hilaire-Perez Edited by Jerome Lamy

Heterarchical Production Planning and Control Architectures in the Context of Industry 4.0

Complexity-based Selection and Guidance for Implementation

Volume 67

By (author) Dennis Horstkemper

Language, Technology, Humanities in Society 5.0

Edited by Maria Banaś Edited by Grzegorz Wlaźlak

Numbers, Measures, and the Transfer of Goods in Prehistory

Volume 6

Edited by Philippe Della Casa Edited by Aleksander Dzbyński

On the Scattering Behavior of Dielectric Corner Reflectors in Distributed Radar Systems

By (author) Christian Alexander Buchberger

Proceedings of the 7th Symposium of the Hellenic Society for Archaeometry

Archaeology Archaeometry: 30 Years Later

Edited by Eleni Filippaki

RNA Made Simple

The Essential Guide to Extraction

By (author) Christian Siadjeu By (author) Dirk C Albach

Route and Operating Optimization of Maritime Vessels Using Machine Learning Techniques

By (author) Mohammad Hossein Moradi

Short-Term Load Forecasting using Machine Learning Methods

Volume 7

By (author) Sylwia Henselmeyer

Sovereign by Design

The LIONS Approach to Digital Sovereignty

Edited by Isabelle Fries Edited by Michael Grabatin Edited by Manfred Hofmeier

The Promise and Peril of AI and IA

New Technology Meets Religion, Theology, and Ethics

edited by Ted Peters

Die unsichtbare Welt

Beitrage zur Weltwahrnehmung in den Wissenschaften

edited by Klaus Bohmer, Paul-Gerhard Reinhard and Dirk Evers

A Cultural History of Silicon Valley

Volume 325

By (author) Neslihan Bulut

I disegni e i discorsi di Giovanni Antonio Nigrone vol. I

fontanaro e ingegniero de acqua (1585-1609 ca.)

Volume 481

by Gaia Bruno

I disegni e i discorsi di Giovanni Antonio Nigrone vol. II

Fontanaro e ingegniero de acqua (1585-1609 ca.)

Volume 497

edited by Gaia Bruno and David Gentilcore

Ingenieurs mais apprentis

Volume 32

by Arnaud Pierrel

Annual Report 2022

Laboratory of Ion Beam Physics

By (author) LIBRUM Publishers & Editors

Building and Designing Transistor Radios

A Beginner's Guide

by R H Warring

Building and Designing Transistor Radios

A Beginner's Guide

by R H Warring

Learning with Light and Shadows

Educational Lantern and Film Projection, 1860-1990

Volume 8

Edited by Nelleke Teughels Edited by Kaat Wils

Learning-based Model Predictive Control with closed-loop guarantees

By (author) Raffaele Soloperto

Bringing Zero-Knowledge Proofs of Knowledge to Practice

Tell a Colleague/Librarian/Friend

Similar Books

Join the ISD Mailing List