Достижение мгновенной проверки в 27 мс для Bitcoin потребует 17 GPU-лет вычислительной мощности

Разработчик 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 определяет портабельные шимы и аккумулятор как свои приоритетные цели для остаточного обзора.

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

Hazync разделяет синхронизацию без доверия на несколько задач с разными операторами и бюджетами. Проверка чеков может достигать миллисекунд для проверенного диапазона. Генерация доказательств потребляет мощность GPU, операторы архивов сохраняют исходные данные, узлы сравнивают концы, а аудиторы оценивают гостя.

Стабильная реализация с достаточной вычислительной мощностью и внешним обзором может сократить повторную проверку на новых узлах. На текущем этапе проекта оценка разработчика в 27 миллисекунд охватывает ограниченный позвоночник, в то время как оценка в 17 GPU-лет описывает незавершенный путь к концу Bitcoin.

Этот контент предоставляется исключительно в общих информационных целях и не является финансовым, инвестиционным, юридическим или налоговым советом. Любые мероприятия, вознаграждения, онлайн-акции или связанная с ними информация, упомянутые в настоящем документе, не должны рассматриваться как рекомендация, приглашение к покупке, продаже, торговле или иной сделке с какими-либо криптоактивами. Криптоактивы очень волатильны и могут привести к убыткам. Доступность услуг, продуктов WEEX и связанных с ними событий может варьироваться в зависимости от региона. Вы несете ответственность за обеспечение того, чтобы ваше участие соответствовало применимым местным законам и нормативным актам.