401 / 736DRYJA

Tadge Dryja

Thaddeus Dryja — исследования Lightning, DLC и Utreexo

Как чаще платить биткоином, не заставляя всю сеть записывать каждую небольшую покупку? Это один из вопросов, которыми занимался Tadge Dryja. Он стал соавтором предложения Lightning Network, а также изучал контракты, зависящие от внешних событий, и более экономные способы проверки платежей.

Tadge Dryja, в научных публикациях Thaddeus Dryja, — исследователь протоколов Биткоина. Вместе с Joseph Poon он написал предложение Lightning Network. Другие его работы включают Discreet Log Contracts, использующие подписанные внешние данные, и Utreexo — способ уменьшить объём данных, представляющих текущее состояние Биткоина.

Представьте, что узлы по всему миру, то есть компьютеры, проверяющие правила Биткоина, должны отдельно проверять каждую оплаченную чашку кофе. Как увеличить число платежей, не требуя всё более мощных компьютеров для собственного узла? Joseph Poon и Thaddeus Dryja искали ответ в сети платёжных каналов. Документ по ссылке, whitepaper с описанием замысла, датирован 14 января 2016 года и обозначен DRAFT 0.5.9.2. Это историческое предложение, объясняющее происхождение идеи. Точные правила современных программ нужно изучать по их собственной документации. [1]

Платёжный канал можно представить как обновляемую договорённость о распределении заранее внесённых биткоинов. Каждый платёж меняет долю, причитающуюся каждому участнику. Они подписывают изменения, но не публикуют каждое обновление в блокчейне — общей истории транзакций. Когда сотрудничество заканчивается, распределение можно обеспечить транзакцией Bitcoin. Так Lightning переносит множество обновлений за пределы блокчейна, а окончательный расчёт по-прежнему опирается на правила Биткоина. [1]

Предыдущая договорённость может назначать большую сумму человеку, который уже потратил её часть. В описанной модели отзыва состояний публикация отменённого состояния позволяет другой стороне ответить штрафной транзакцией. Однако сделать это нужно в установленный срок. Поэтому за блокчейном должен следить сам участник или уполномоченный наблюдатель. Практический вывод важен: криптография сама по себе не делает постоянное отключение без наблюдения безопасным. Надёжное отслеживание входит в защиту средств. [1]

Биткоин сам не знает валютного курса на согласованную дату. Discreet Log Contracts, или DLC, предназначены для контрактов, расчёт по которым зависит от таких сведений. Два участника заранее готовят условия и возможные выплаты. Выбранный oracle, то есть внешний источник данных, затем подписывает сообщение о результате. Участники используют его для соответствующего расчёта. В этой модели oracle не хранит их деньги и может не знать, кто пользуется его сообщениями. Он предоставляет информацию, а не управляет чужим кошельком. [2]

Цифровая подпись помогает установить автора сообщения и проверить, изменялось ли оно. Но она не доказывает правдивость данных. Oracle может сообщить ошибочный курс или не опубликовать ничего. На случай молчания Dryja описывает заранее подготовленную транзакцию возврата, которую можно опубликовать после согласованного срока. Деньги не возвращаются сами: такую возможность необходимо предусмотреть в контракте, и кто-то должен ею воспользоваться. Выбор надёжного источника и план действий при его отказе остаются важными. [2]

Dryja также изучал данные, необходимые узлу для проверки платежей. UTXO — это неизрасходованные выходы транзакций: отдельные суммы с условиями, позволяющими их потратить. Utreexo даёт проверяющему узлу возможность представлять их множество компактным криптографическим сводным значением — аккумулятором. К платежу прилагается доказательство принадлежности используемого выхода этому множеству. Это уменьшает хранимое представление текущего состояния. Проверка правил не отменяется, а вся история Биткоина не сжимается в один крошечный файл. [4]

Доказательства Utreexo тоже нужно доставлять проверяющему узлу. Поэтому меньший хранимый объём состояния может потребовать большего трафика. Аннотация исследования описывает симуляцию загрузки блокчейна до начала 2019 года: при выделении 500 MB на кеш, временное хранилище полезных данных, доказательства добавляли около 25% к объёму загрузки. Эти 500 MB не означают всю необходимую узлу память. Это результат определённого эксперимента, а не гарантия нынешних требований. Оценивать следует вместе место на диске, память и передачу данных. [3]

В воспоминании, опубликованном MIT DCI, Dryja описывает неформальное начало работы в MIT: он пришёл с компьютером, разговаривал о Биткоине и помогал студентам. Директор Neha Narula спросила, не хочет ли он там работать. Впоследствии они вместе преподавали. В том же прощальном тексте он объявил о переходе в Lightspark для дальнейшей работы над Биткоином и Lightning. Рассказ отражает определённый этап карьеры, но не подтверждает нынешнее место работы. Публикации, код и объяснённые идеи раскрывают его вклад лучше, чем одна должность. [5]

Для полной картины прочитайте эту статью вместе с Rusty Russell, Joseph Poon, Lightning Network. На эту статью также ссылаются Rusty Russell, Joseph Poon.

DOC · 001Poon and Dryja — Lightning paper, draft 0.5.9.2 (2016)Документация DOC · 002Thaddeus Dryja — Discreet Log ContractsДокументация DOC · 003MIT DCI — Utreexo research abstractДокументация DOC · 004MIT DCI — Utreexo state and historyДокументация DOC · 005MIT DCI — farewell to Tadge DryjaДокументация
Обновлено: Сначала источники · Не является инвестиционной рекомендацией