Andrew Poelstra

数式の出発点は、貯蓄を安全に管理したい、支払い金額を誰にでも見せたくない、といった身近な願いであることがあります。Poelstra はそれを検証可能なルールに変える道具を研究してきました。Blockstream は2023 年2月に彼を研究責任者として紹介しました。一方、2026 年の第二四半期報告では Jonas Nick にその肩書を使っています。過去の肩書が現在の役割を表すとは限りません。貢献を知るには、肩書だけでなく具体的な仕事と協力関係を見ることが大切です。 [1] [2]

普段は自分の鍵で支払い、その鍵を失った場合には、一定期間待つとあらかじめ決めた別の経路を使えるウォレットを想像してください。条件を書くだけでなく、本当に意図した意味になっているか確認する必要があります。Miniscript はその作業を助けます。文書には開発者として Pieter Wuille、Andrew Poelstra、Sanket Kanjalkar が挙げられ、ほかの人との議論にも言及されています。一人の貢献を認めることは、ほかの作者の仕事をその人に帰すことではありません。 [3]

Bitcoin Script は支払い条件を定める言語です。Miniscript はその一部を構造化し、条件の組み合わせや分析を可能にします。コンパイラとは、指定した内容を具体的な表現に変換するプログラムで、より費用の少ない構成を探せます。普段の経路を予備の経路より頻繁に使う見込みなら、その頻度を期待コストに反映できます。ただし、この重みで取引の有効性が確率的になるわけではありません。まれに使う経路でも、定められた条件を満たせば同じように有効です。 [3]

予備の経路では、待ち時間の基準も重要です。Miniscript の after は取引の nLockTime フィールドを通じて、特定のチェーン高などの絶対的な境界を表します。対して older は相対的な条件 nSequence を使い、使おうとする出力が承認されてからの間隔を扱います。両者は異なる時間の捉え方であり、置き換えられる名前ではありません。期限が来ても支払いは自動で始まりません。経路が利用可能になっても、署名などの条件を満たし、取引を作成して承認を得る必要があります。 [3]

金額を隠したまま、その性質を確かめられるでしょうか。Bulletproofs はそのための証明を作れます。検証する側は、隠された数が許された範囲にあると知りつつ、値そのものは知りません。Stanford は作者として Benedikt Bünz、Jonathan Bootle、Dan Boneh、Andrew Poelstra、Pieter Wuille、Greg Maxwell を挙げています。研究論文と具体的なプログラムは別物です。ページでは一部の実装を開発中とし、ある試作品を本番利用向けではないと明記しています。リンクがあるだけで、資金を扱わせてよいという勧めにはなりません。 [4]

証明方式によっては、最初にパラメータを準備し、その際の秘密情報を正しく扱うことが安全性の条件になります。これを trusted setup と呼びます。Bulletproofs はその準備を必要としません。ただし、暗号学的な前提やプログラムの誤りの危険までなくなるわけではありません。短い証明が検証も最速とは限らず、対象の処理や比較する方式によります。何を証明するのか、何が安全性を支えるのか、検証にどれほどの作業が要るのかを分けて考える必要があります。 [4]

見える金額なら、足し合わせて比較できます。金額を隠す場合は、それに相当する確かさを数学的な証明で得なければなりません。Poelstra は 2018 年2月に rangeproof を説明しました。これは金額が許容範囲にあることを示し、数値の桁あふれで会計上の制約をすり抜けるのを防ぐ証明です。Bulletproofs は複数の値の証明を、より小さな全体にまとめられます。記事の速度は指定された機材での測定結果で、ネットワーク共通の速度ではありません。証明を小さくすることは特定の負担を減らしますが、支払いの制約をすべて解決するわけではありません。 [5]

Poelstra は 2017 年4月に、ブロックチェーンシステムを構築する基盤 Elements 向けの Confidential Assets を紹介しました。ここでは金額だけでなく、移す資産の種類も隠せます。それでも、移転中に資産が無断で作られたり別の資産に変えられたりしていないことは検証できます。最初の発行と追加発行には、それぞれのルールと権限があります。これもプライバシーと公開検証を両立させる考え方です。ただし Elements の機能は、Bitcoin のベースレイヤーへの導入を示すものではありません。研究、実装、それを実際に使うネットワークを区別しましょう。 [6]