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 是构建区块链系统的平台；这项功能可以同时隐藏转移金额和资产种类。验证者仍能检查转移过程中是否未经授权创造资产，或把一种资产变成另一种。初次发行和后续增发有各自的规则与授权要求。这里同样将隐私与公开验证结合起来。但 Elements 的功能并不证明 Bitcoin 基础层已经采用它；研究、具体实现以及真正使用它的网络，需要分别看待。 [6]