Andrew Poelstra je matematik a výzkumník spojený s Bitcoinem. Patří mezi tvůrce Miniscript, který usnadňuje popis a kontrolu podmínek utracení, a mezi autory Bulletproofs, kryptografických důkazů umožňujících ověřit určité tvrzení bez odhalení skrytých dat. Tyto výsledky vznikly spoluprací více lidí.
Za matematickým zápisem bývá docela lidská potřeba: bezpečně spravovat úspory nebo neukazovat každému částku své platby. Poelstra pracoval na nástrojích, které takové potřeby převádějí do ověřitelných pravidel. Blockstream jej v únoru 2023 představoval jako ředitele výzkumu. Ve zprávě za druhé čtvrtletí 2026 je takto označen Jonas Nick. Starší pracovní titul tedy nelze automaticky vydávat za současnou funkci. Přínos výzkumníka je lepší sledovat v konkrétních pracích a spolupráci než jej shrnout jedním pracovním zařazením. [1] [2]
Představte si peněženku, z níž běžně utrácíte vlastním klíčem, ale pro případ jeho ztráty chcete po čekací době umožnit jinou, předem určenou cestu. Takové podmínky je nutné nejen zapsat, ale také ověřit, zda opravdu znamenají to, co zamýšlíte. Právě s tím pomáhá Miniscript. Dokumentace uvádí tvůrce Pieter Wuille, Andrew Poelstra a Sanket Kanjalkar a připomíná širší diskuse. Je to společný výsledek: práce jednoho spoluautora nenahrazuje příspěvky ostatních autorů. [3]
Bitcoin Script je jazyk, kterým se určují podmínky utracení. Miniscript poskytuje strukturovaný způsob, jak zapisovat jeho vymezenou část, skládat podmínky a analyzovat je. Kompilátor, tedy program převádějící zadání na konkrétní zápis, může hledat úspornější řešení. Pokud odhadnete, že běžnou cestu použijete častěji než záložní, může to zohlednit v očekávaných nákladech. Tyto váhy nepřidávají pravděpodobnostní podmínku platnosti: platba s méně obvyklou cestou není kvůli tomu méně platná. Rozhoduje splnění zapsaných pravidel. [3]
U záložní cesty záleží i na tom, odkdy se čekání počítá. Miniscript after vyjadřuje absolutní mez prostřednictvím pole transakce nLockTime, například určitou výšku řetězce. Naproti tomu older pracuje s relativní podmínkou nSequence, tedy s odstupem od potvrzení utráceného výstupu. Jde o dva různé významy času, ne o zaměnitelné názvy. Vypršení zámku samo nespouští platbu. Jen může zpřístupnit příslušnou cestu; stále je nutné splnit její podpisy a další podmínky, sestavit transakci a nechat ji potvrdit. [3]
Další otázka zní: lze ověřit vlastnost částky a přitom částku utajit? Bulletproofs patří mezi důkazy, které to umožňují. Ověřující se například dozví, že skryté číslo leží v povoleném rozmezí, ale nezjistí jeho hodnotu. Stanford uvádí autory Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille a Greg Maxwell. Výzkumný článek je přitom jiný výsledek než konkrétní program. Stránka některé implementace označuje jako rozpracované a prototyp výslovně nevhodný pro produkční použití; samotný odkaz tedy není doporučením svěřit mu peníze. [4]
Některé důkazové systémy potřebují počáteční přípravu parametrů, při níž bezpečnost závisí na správném zacházení s tajnými údaji. Tomu se říká trusted setup. Bulletproofs takovou přípravu nepotřebují. To je užitečná vlastnost, ale neodstraňuje kryptografické předpoklady ani riziko chyby programu. Krátký důkaz také nemusí znamenat nejrychlejší ověření: záleží na typu úlohy a srovnávaném systému. Pro čtenáře je podstatné oddělit tři otázky: co důkaz potvrzuje, na čem stojí jeho bezpečnost a kolik práce stojí jeho ověření. [4]
Při běžné kontrole lze částky sečíst a porovnat. Když jsou skryté, musí stejnou jistotu poskytnout matematické důkazy. Poelstra v únoru 2018 vysvětloval rangeproof: důkaz, že částka zůstává v povoleném rozsahu a neumožní obejít účetnictví přetečením čísel. Bulletproofs mohou spojit důkazy pro více hodnot do úspornějšího celku. Jeho článek uvádí i rychlosti, ale jde o výsledky konkrétního měření na popsaném vybavení, nikoli o univerzální rychlost sítě. Menší důkaz snižuje určitou zátěž; neřeší automaticky každé omezení plateb. [5]
V dubnu 2017 Poelstra popsal Confidential Assets pro Elements, platformu pro vlastní blockchainové systémy. Vedle částky zde může zůstat skrytý i druh převáděného aktiva. Ověřující přesto kontrolují, že se při převodu žádné aktivum neoprávněně nevytvořilo ani nezměnilo na jiné. Vydání nových jednotek a jejich další emise mají samostatná pravidla a oprávnění. Znovu se tak potkává soukromí s veřejnou kontrolou. Funkce Elements ale není dokladem zavedení téže funkce do základní vrstvy Bitcoinu; vždy je třeba rozlišit výzkum, implementaci a síť, která ji skutečně používá. [6]
Pro nejúplnější obraz čtěte toto heslo společně s Mara van der Laan, Rusty Russell, Miniscript. Opačným směrem na něj odkazují také Miniscript, Mara van der Laan, Rusty Russell.