Разработчик Hazync сообщает, что автономный верификатор размером 1,7 МБ проверил криптографическую квитанцию объёмом 226 434 байта, охватывающую первые 1 789 блоков Bitcoin, за 27 миллисекунд. В публикации от 15 августа уточняется, что этот результат относится к раннему отрезку истории Bitcoin. Полная кампания доказательства от генезиса до вершины цепи пока не завершена.
Hazync — это исследовательский прототип, использующий виртуальную машину с нулевым разглашением RISC Zero (zkVM) для повторного использования валидации Bitcoin. zkVM исполняет программу валидации, а полученная квитанция предоставляет другим пользователям компактный файл для проверки. Разработчик спроектировал систему так, что генерация доказательств сосредоточена у доказывающих, а проверка квитанций ложится на гораздо более широкий круг пользователей.
Эти две задачи имеют принципиально разную стоимость. Разработчик оценивает затраты на историческое заполнение примерно в 17 GPU-лет, после чего для поддержания актуальности с новыми блоками потребуется мощность, эквивалентная примерно шести GPU Nvidia L40S. Дешёвые проверки квитанций становятся возможными после того, как доказывающие, аудиторы и операторы архивов выполнят дорогостоящую работу на предыдущих этапах.
Верификация дёшева; доказательство дорого
Обычный новый узел Bitcoin независимо воспроизводит цепочку. Hazync запускает правила Bitcoin внутри zkVM, доказывает, что эти правила приняли каждый покрытый блок, и рекурсивно сворачивает доказательства блоков в единую квитанцию.
В публичном репозитории Hazync описана гостевая программа, построенная из значительных частей кода консенсуса Bitcoin Core v28 и libsecp256k1, скомпилированная для 32-битной RISC-V. Повторное использование кода Core уменьшает объём консенсусного поведения, которое необходимо переформулировать в отдельной схеме.
Тест на блоке 741 000 измеряет стоимость генерации доказательства на актуальных данных Bitcoin. Разработчик сообщает, что блок содержал 670 входов и требовал 394 листа UTXO. Доказательство этого блока в виде 16 частей на двух GPU L40S заняло около 55 минут, включая 27 минут на агрегацию.
Это измерение легло в основу оценки разработчика примерно в 17 GPU-лет для заполнения от генезиса до вершины. Доступные материалы содержат репрезентативные тесты проекта, а не проверенные измерения по каждой эре истории Bitcoin. Таким образом, полная производительность Hazync остаётся оценочной до завершения кампании.
Изменения в программном обеспечении также могут аннулировать уже выполненную работу. Каждая квитанция Hazync привязана к METHOD_ID — отпечатку скомпилированной гостевой программы. Новая сборка гостевой программы получает новый идентификатор, оставляя предыдущие квитанции связанными со старой версией.
Проект перезапустил свою доску генезиса 4 августа после того, как внутренний аудит потребовал новой базовой линии. Позднейшее исправление корректности может вызвать такой же сброс после накопления гораздо большего времени GPU. Таким образом, бюджет на доказательство охватывает стабильный код, историческое заполнение и непрерывную мощность для вершины.
Скорость верификации — это часть, видимая конечному пользователю. Оценка в 17 GPU-лет измеряет концентрированное промышленное усилие, необходимое для обеспечения такого опыта.
Что квитанция не заменяет
Квитанция сжимает проверку корректности. Операторы архивов по-прежнему обеспечивают доступность транзакций и сохраняют исторические байты свидетелей и подписей. Будущие версии гостевой программы нуждаются в этих байтах для повторного доказательства цепочки, поэтому краткая верификация сохраняет долгосрочную роль хранения для архивной инфраструктуры.
Выбор лучшей цепочки остаётся за правилом наибольшей работы Bitcoin. Hazync помещает накопленную работу в общедоступный вывод квитанции, предоставляя верификатору значение, необходимое для сравнения конкурирующих вершин. Квитанция устанавливает соблюдение правил для своего сегмента цепочки; узел по-прежнему выбирает, какой валидной цепочке следовать.
Архивный мост также сохраняет возможность тратить ресурсы доказывающих. Заявленные правила композиции проекта связывают каждую границу состояния с якорем генезиса, так что поддельное состояние не проходит при присоединении квитанции к цепочке. Враждебный мост может вместо этого подавать непригодные входные данные и тратить время GPU рабочего, превращая доступность в экономический риск отказа в обслуживании.
Разработчик описывает доказательство, составленное от генезиса, как безусловное в рамках программных и криптографических допущений Hazync. Позднейшая контрольная точка входит в систему как явное доверенное входное значение.
Сама гостевая программа содержит важную границу проверки, поскольку внутри неё выполняется значительный код консенсуса Core вместе с поддерживаемыми проектом срезами для графика субсидий и высот активации скриптов. Проект сообщает, что его график флагов скриптов дифференциально тестируется как корректное надмножество правил Core, что позволяет дополнительное отклонение в направлении, предназначенном для сохранения корректности.
Уровень переносимости C++ адаптирует Core для zkVM, а не-Core аккумулятор Utreexo фиксирует изменения в наборе неизрасходованных выходов транзакций Bitcoin. Раскрытые допущения также охватывают систему доказательств RISC Zero, SHA-256 и secp256k1. Hazync определяет прослойки переносимости и аккумулятор как свои наиболее приоритетные остаточные цели для проверки.
В репозитории сообщается о двух внешних проверках с помощью ИИ в августе, которые не смогли найти способа, чтобы гостевая программа приняла недействительную цепочку. Заказанный профессиональный аудит пока не проведён. Открытый код позволяет внешнее изучение, и гарантия готовности к эксплуатации по-прежнему основывается на adversarial-анализе точной гостевой программы и каждого компонента внутри её границы доказательства.
Hazync разделяет синхронизацию без доверия на несколько задач с разными операторами и бюджетами. Проверка квитанций может занимать миллисекунды для доказанного диапазона. Генерация доказательств потребляет мощность GPU, операторы архивов сохраняют базовые данные, узлы сравнивают вершины, а аудиторы оценивают гостевую программу.
Стабильная реализация с достаточной вычислительной мощностью и внешними проверками могла бы сократить повторную валидацию на новых узлах. На текущем этапе проекта сообщённая разработчиком проверка за 27 миллисекунд охватывает ограниченный участок цепочки, а оценка в 17 GPU-лет описывает незавершённый путь к вершине Bitcoin.
Всегда имейте в виду, что редакции могут придерживаться предвзятых взглядов в освещении новостей.
Автор – Liam 'Akiba' Wright
