Исследователь предложил способ разрешать споры о внешних вычислениях через Bitcoin

1 ноября 2026 года исследователь Серхио Демиан Лернер представил метод верификации внешних вычислений с помощью Bitcoin. Публикация хеша документа в транзакции уже доказывает, что его содержание было известно на определённую дату. Лернер пошёл дальше: его система позволяет оспорить конкретное утверждение о данных без пересчёта всей операции заново.

Принцип работы простой. Оператор публикует результат вычисления вместе с криптографическими элементами, которые позволяют его проверить. Если кто-то подозревает ошибку, он запускает процедуру оспаривания. Механизм выделяет именно тот этап расчёта, который вызывает сомнения, и запрашивает только данные, нужные для его проверки.

В качестве примера Лернер приводит платёжную систему второго уровня, обрабатывающую пакеты по 512 переводов. Оператор публикует утверждение по каждому такому пакету за примерно 12 200 вбайт. Если возникает спор, механизм проверяет именно спорный расчёт прямо на Bitcoin — без пересмотра всех 512 переводов по очереди.

Для работы метода нужно специальное программное обеспечение: оно готовит данные, формирует доказательства и обрабатывает оспаривания. Референсную реализацию Лернер выложил в репозитории FlatMerkle на GitHub. Готового инструмента для массового использования пока нет.

Подход может заинтересовать решения второго уровня, мосты между блокчейнами и сервисы, которые опираются на внешние вычисления. Лернер упоминает и возможность проверки STARK-доказательств этим способом. Часть механизмов оспаривания в работе описана не полностью, а самый экономный вариант метода использует Taproot annex — расширение, которое пока не поддерживается Bitcoin Core. Протокол Bitcoin при этом не меняется: сеть становится арбитром в спорах о расчётах, выполненных за её пределами.