Andrew Poelstra

Hinter Formeln steckt oft ein vertrauter Wunsch: Ersparnisse sicher verwalten oder nicht jeden Zahlungsbetrag öffentlich machen. Poelstra arbeitete an Werkzeugen, die solche Anliegen in überprüfbare Regeln übersetzen. Im Februar 2023 stellte Blockstream ihn als Forschungsleiter vor. Im Bericht zum zweiten Quartal 2026 trägt Jonas Nick diesen Titel. Eine ältere Stellenbezeichnung beschreibt deshalb nicht automatisch die heutige Funktion. Den Beitrag eines Forschers versteht man besser anhand konkreter Arbeiten und Kooperationen als anhand eines Titels allein. [1] [2]

Stellen Sie sich vor, Sie geben normalerweise mit Ihrem eigenen Schlüssel aus. Für dessen Verlust möchten Sie einen anderen, vorher festgelegten Weg vorsehen, der nach einer Wartezeit verfügbar wird. Es reicht nicht, diese Bedingungen aufzuschreiben: Man muss auch prüfen können, ob sie das Gewünschte bedeuten. Dabei hilft Miniscript. Die Dokumentation nennt Pieter Wuille, Andrew Poelstra und Sanket Kanjalkar als Entwickler und verweist auf weitere Diskussionen. Der Beitrag eines Mitautors ersetzt nicht die Arbeit der anderen. [3]

Bitcoin Script ist die Sprache für Ausgabebedingungen. Miniscript strukturiert einen abgegrenzten Teil davon, damit sich Bedingungen kombinieren und analysieren lassen. Ein Compiler, also ein Programm zur Übersetzung einer Vorgabe in einen konkreten Ausdruck, kann eine günstigere Umsetzung suchen. Wird der gewöhnliche Weg voraussichtlich häufiger genutzt als der Ersatzweg, kann dies in die erwarteten Kosten einfließen. Solche Gewichtungen machen die Gültigkeit aber nicht vom Zufall abhängig. Der seltenere Weg ist genauso gültig, wenn seine festgelegten Bedingungen erfüllt sind. [3]

Beim Ersatzweg muss klar sein, wann die Wartezeit beginnt. Miniscript after beschreibt über das Transaktionsfeld nLockTime eine absolute Grenze, etwa eine bestimmte Höhe der Blockchain. older verwendet dagegen die relative Bedingung nSequence: einen Abstand zur Bestätigung des ausgegebenen Outputs. Das sind unterschiedliche Zeitbezüge, keine austauschbaren Namen. Der Ablauf löst keine Zahlung aus. Er kann lediglich einen Weg freigeben. Unterschriften und weitere Bedingungen bleiben erforderlich; außerdem muss jemand die Transaktion erstellen und bestätigen lassen. [3]

Lässt sich eine Eigenschaft eines Betrags prüfen, während der Betrag verborgen bleibt? Bulletproofs ermöglichen genau solche Beweise. Ein Prüfer kann erfahren, dass eine Zahl innerhalb erlaubter Grenzen liegt, ohne ihren Wert zu erfahren. Stanford nennt Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille und Greg Maxwell als Autoren. Ein Forschungsartikel ist dabei nicht dasselbe wie ein konkretes Programm. Die Seite kennzeichnet einige Implementierungen als unfertig und einen Prototyp ausdrücklich als ungeeignet für den Produktivbetrieb. Ein Link allein ist keine Empfehlung, dem Programm Geld anzuvertrauen. [4]

Manche Beweissysteme benötigen anfangs vorbereitete Parameter. Ihre Sicherheit hängt dann auch vom korrekten Umgang mit geheimen Informationen bei dieser Vorbereitung ab. Das heißt trusted setup. Bulletproofs benötigen eine solche Vorbereitung nicht. Kryptografische Annahmen und das Risiko von Programmfehlern bleiben jedoch bestehen. Ein kurzer Beweis ist auch nicht zwingend am schnellsten zu prüfen; Aufgabe und Vergleichssystem spielen eine Rolle. Unterscheiden Sie daher, was bewiesen wird, worauf die Sicherheit beruht und wie viel Aufwand die Prüfung verursacht. [4]

Sichtbare Beträge lassen sich addieren und vergleichen. Sind sie verborgen, müssen mathematische Beweise die entsprechende Sicherheit liefern. Im Februar 2018 erklärte Poelstra den rangeproof: einen Beweis, der den Betrag im zulässigen Bereich hält und verhindert, dass ein Zahlenüberlauf die Buchführung aushebelt. Bulletproofs können Nachweise für mehrere Werte platzsparend zusammenfassen. Der Artikel enthält auch Geschwindigkeitsmessungen auf beschriebener Hardware. Das sind konkrete Messergebnisse, keine allgemeingültige Netzwerkgeschwindigkeit. Kleinere Beweise mindern einen bestimmten Aufwand, lösen aber nicht automatisch jede Einschränkung von Zahlungen. [5]

Im April 2017 beschrieb Poelstra Confidential Assets für Elements, eine Plattform zum Aufbau eigener Blockchain-Systeme. Hier können sowohl Betrag als auch Art des übertragenen Vermögenswerts verborgen bleiben. Trotzdem lässt sich prüfen, dass bei der Übertragung nichts unberechtigt geschaffen oder in einen anderen Vermögenswert verwandelt wurde. Ausgabe und spätere zusätzliche Ausgabe unterliegen eigenen Regeln und Berechtigungen. Privatsphäre und öffentliche Prüfung ergänzen sich also. Eine Funktion von Elements belegt jedoch keine Einführung in Bitcoins Basisschicht: Forschung, Implementierung und tatsächlich nutzendes Netzwerk sind getrennt zu betrachten. [6]