Kryptographische Uhren und Anwendungen

Abstract

In dieser Dissertation definieren und konstruieren wir kryptographische Objekte, die das vergehen von zeit simulieren. Im Einzelnen bauen wir unter der Annahme, dass bestimmte mathematische Probleme unlösbar sind, die folgenden Grundelemente auf: (1) inkrementelle Beweise für sequentielle Arbeit ermöglichen es einem Beweisführer, einen Prüfer davon zu überzeugen, dass eine bestimmte Menge sequentieller Arbeit verrichtet wurde. (2) homomorphe Zeitschlossrätsel verbergen Geheimnisse für einen bestimmten Zeitraum und ermöglichen es jedem, Funktionen über Klartexte öffentlich zuberechnen, ohne die Rätsel zu lösen. (3) Mehrschrittschlösser ermöglichen es Anwenderpaaren Verträge abzuschlieđen, bei denen Münzen überwiesen werden, wenn eine bestimmte Bedingung innerhalb einer bestimmten Zeit erfüllt ist.