Christopher Allen von Blockstream hielt bei der diesjährigen Konferenz „Blockchain Protocol Analysis and Security Engineering 2018“ (BPASE ‘18) einen Vortrag über so genannte Smart Signatures. Dabei konzentrierte er sich auf die in den jüngsten Jahren zunehmenden Experimente mit der Autorisierung.
Smart Signatures sind eine Erweiterung der klassischen digitalen Unterschrift und haben einen ähnlichen Zweck: die Autorisierung einer Transaktion. Im Gegensatz zu klassischen digitalen Unterschriften, bei denen Dritte die Richtlinien zur Überprüfung der Vertrauenswürdigkeit einer Unterschrift definieren, sind die Vertrauensrichtlinien bei Smart Signatures direkt in der Unterschrift eingebettet. Diese Fähigkeit wird durch prädikative Skriptsprachen unterstützt, die für Multifaktor-Ausdrücke, Delegieren der Unterschriftsberechtigung und Transaktionsunterstützung verwendet werden können.
In seinem Vortrag schlug Allen sechs verschiedene Anforderungen an diese neuen, smarten Signaturen vor. Er forderte, dass der Smart Signature-Wortlaut grundsätzlich zusammensetzbar, überprüfbar und beweisbar sein sollte, um die Sicherheit zu maximieren und sicherzustellen, dass die Unterschriften formell und informell analysiert werden können. Er fügte hinzu, dass sie Bestandteile von deterministischen, begrenzten und effizienten Systemen sein sollten, damit sie überall mit den gleichen Resultaten ausgeführt werden können.
Bitcoin Script ist bekanntlich der Vorgänger von Smart Signatures. Es wurde gründlich getestet und genießt Vertrauen, aber es ist auch eingeschränkt – obgleich neue Erweiterungen wie Schnorr-Signaturen und MAST dies bald ändern. Allen ging zudem auf viele neue Experimente im Bereich der Smart Signatures ein, die sich rasch verbreiten. Die Simplicity-Sprache für Blockchains von Blockstream erfüllt die von Allen aufgeführten Anforderungen an Smart Signatures am besten, wobei die Beweisbarkeit eines der bemerkenswertesten Merkmale ist. In seinem Vortrag sprach Allen auch über andere laufende Experimente, wie etwa Ivy, Dex, Σ-State, Crypto Conditions und Michelson.
Abschließend stellte Allen mehrere offene Fragen über Smart Signatures, beispielsweise wie sichergestellt werden kann, dass sie Kontext, Orakel und Stornierung unterstützen. Diese grundlegenden Fragen zeigen, dass die Thematik noch relativ jung ist.
Das komplette Video BPASE Smart Signatures kann online abgerufen werden. Weitere Details zum Thema finden sich im Referat: „Smarter Signatures: Experiments in Verification“ von Christopher Allen und Shannon Appelcline.