Andrew Poelstra

За математической записью часто стоит обычное желание: защитить сбережения или не показывать всем сумму каждого платежа. Poelstra работал над инструментами, превращающими эти потребности в проверяемые правила. В феврале 2023 года Blockstream представляла его как директора по исследованиям. В отчёте за второй квартал 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]

Видимые суммы можно сложить и сравнить. Когда они скрыты, соответствующую уверенность должны обеспечить математические доказательства. В феврале 2018 года Poelstra объяснял rangeproof: доказательство того, что сумма находится в разрешённом диапазоне и не позволяет обойти учёт через переполнение чисел. Bulletproofs может компактно объединять доказательства для нескольких значений. В статье приведены и показатели скорости, но это измерения на указанном оборудовании, а не универсальная скорость сети. Меньшее доказательство снижает конкретную нагрузку, не устраняя автоматически все ограничения платежей. [5]

В апреле 2017 года Poelstra описал Confidential Assets для Elements — платформы создания блокчейн-систем. Здесь скрытыми могут оставаться и сумма, и вид передаваемого актива. При этом проверяющие устанавливают, что перевод не создал актив без разрешения и не превратил его в другой. Первичная и дополнительная эмиссия имеют отдельные правила и полномочия. Приватность вновь сочетается с публичной проверкой. Однако функция Elements не доказывает её внедрение в базовый слой Bitcoin: исследование, реализация и использующая её сеть — разные вещи. [6]