Sergio Demian Lerner — исследователь, связанный с анализом Patoshi, проектированием Rootstock и работой над BitVMX. Patoshi изучает, могли ли группы ранних блоков быть созданы одним майнером. Rootstock — отдельная цепь, соединённая с Bitcoin, а BitVMX предлагает разрешать на Bitcoin споры о результатах вычислений. Работы отвечают на разные вопросы; их стоит разделять, чтобы понимать его вклад.
Lerner публикует анализы в блоге Bitslog. Он также автор ревизии 11 документа Rootstock whitepaper от 29 января 2019 года, объясняющего устройство системы. В работе BitVMX от 10 мая 2024 года он один из пяти авторов. Это разные проекты, и совместную работу нельзя приписывать только ему. По публикациям можно проследить путь от изучения истории блокчейна к проектированию новых способов проверки результатов. [1] [4] [6]
Блокчейн не называет человека, добывшего каждый блок, но сохраняет данные его программы. Его анализ за 2019 год сравнивает ExtraNonce в coinbase-транзакциях, диапазоны nonce и временные метки. Coinbase-транзакция назначает награду за блок; nonce и ExtraNonce — значения, которые майнер меняет при поиске действительного блока. Закономерности в них могут связать блоки с общим источником майнинга. Выраженный след Lerner называет Patoshi. Это аргумент о происхождении блоков, а не доказательство личности человека за компьютером. [1]
Чтобы оценить доход майнера, сначала нужно решить, какие блоки ему приписать. BitMEX Research в исследовании 2018 года самостоятельно классифицировал блоки 2009 года, признав ошибки своего метода и более слабые доказательства после августа. Другой период или правило классификации могут изменить результат, поэтому числа разных исследований не обязательно сопоставимы. Оценка прошлой добычи также не доказывает нынешний баланс или то, что кто-то всё ещё владеет пригодными приватными ключами для расходования монет. [1] [3]
В статье 2020 года Lerner вновь рассматривает временные метки, то есть время, записанное в блоках. В группе Patoshi он замечает необычные интервалы и обдумывает объяснения, например поведение программы майнинга. Это не устанавливает наверняка, почему майнер действовал именно так. Напротив, он призывает повторить расчёты и допускает ошибки в собственном программном обеспечении. Полезный урок для чтения исследований: наблюдаемая закономерность и рассказ о её причине — разные вещи. [2]
Whitepaper 2019 года описывает Rootstock как sidechain — отдельный блокчейн, соединённый с Bitcoin. У него собственная сеть, валюта RBTC и виртуальная машина, то есть среда выполнения программ под названием smart contracts. Он использует merged mining: майнер Bitcoin может одновременно применять свою работу и для этой цепи. Это не означает, что узлы Bitcoin исполняют все её контракты. Программы работают по правилам Rootstock. Исторические комиссии и доли вычислительной мощности из документа тоже нельзя считать сегодняшними данными. [4]
Представим, что хотим использовать BTC в приложении Rootstock. Мост PowPeg блокирует их на Bitcoin и предоставляет соответствующие RBTC на другой цепи. Обратный путь разворачивает процесс по правилам моста; исходные биткоины не перемещаются между базами данных. Документация описывает аппаратные модули подписи, защищающие ключи, и отложенный путь аварийного восстановления. Поэтому безопасность зависит и от работы этих компонентов, а не только от майнинга. Описание защиты не доказывает нулевой риск и не гарантирует мгновенный вывод. [5]
Работа BitVMX 2024 года рассматривает другую задачу. Одна сторона выполняет вычисление вне блокчейна, другая проверяет результат. При несогласии спор можно разрешить на Bitcoin заранее подписанными транзакциями. Запись шагов выполнения связана хешами — короткими криптографическими отпечатками данных. Их сравнение позволяет постепенно найти место, где вычисления разошлись, и проверить ошибку. Это не означает, что каждый узел Bitcoin регулярно исполняет всю программу. Цепь разрешает спор, а основное вычисление происходит вне неё. [6]
В описанном BitVMX проверяющий получает время проверить утверждение оператора — стороны, предъявляющей результат. Без оспаривания оператор может получить доступ к заблокированным средствам после истечения временной блокировки, условия, откладывающего доступ. Расширение на нескольких проверяющих предполагает хотя бы одного честного, но у него также должны быть нужные данные и возможность действительно ответить вовремя. Поэтому безопасность включает математическую процедуру и её применение. Публикация проекта не является аудитом конкретного работающего моста. [6]
Для полной картины прочитайте эту статью вместе с Gloria Zhao, Satoshi Nakamoto, Merged Mining. На эту статью также ссылаются Larry Fink.