Исследовательский прототип Hazync на базе виртуальной машины с нулевым разглашением RISC Zero показал, что проверка криптографической квитанции для части истории биткоина может занимать всего 27 миллисекунд. Однако столь быстрая верификация имеет очень высокую цену на этапе создания доказательства: по оценке разработчика, полный проход от генезис-блока до актуальной вершины потребует около 17 GPU-лет вычислительной мощности.
Разработчик Hazync сообщил, что автономный верификатор размером 1,7 МБ проверил квитанцию объёмом 226 434 байта, покрывающую первые 1 789 блоков биткоина, за 27 миллисекунд. Раскрытие от 15 августа ограничивает этот результат ранним участком истории сети. Полная кампания по созданию доказательства от генезиса до текущего блока пока не завершена, поэтому итоговые показатели могут измениться.
Ключевой компромисс проекта состоит в разделении ролей. Hazync запускает правила консенсуса биткоина внутри zkVM, доказывает корректность принятия блоков и рекурсивно сворачивает доказательства блоков в единую квитанцию. Дорогостоящую генерацию доказательств выполняют провайдеры, а миллионы пользователей получают возможность дешёвой проверки готовой квитанции. Для исторического бэкфилла разработчик оценивает затраты примерно в 17 GPU-лет, а для поддержания темпа с новыми блоками потребуется мощность, эквивалентная примерно шести ускорителям Nvidia L40S.
В качестве ориентира приводится бенчмарк на блоке 741 000: блок содержал 670 входов и требовал 394 листа UTXO. Его доказательство в виде 16 чанков на двух GPU L40S заняло около 55 минут, включая 27 минут на агрегацию. В проекте используется значительная часть консенсусного кода Bitcoin Core v28 и библиотека libsecp256k1, скомпилированные для 32-битной архитектуры RISC-V. Это снижает необходимость заново описывать правила консенсуса в отдельной схеме.
Остаются и структурные ограничения. Квитанция не заменяет хранение полных данных: архивные операторы должны сохранять транзакции, подписи и исторические данные для будущих доказательств. Выбор основной цепи по-прежнему остаётся за правилом наибольшей накопленной работы. Кроме того, мост архива может передавать непригодные данные и тратить ресурсы провайдеров доказательств, создавая экономический риск denial-of-service.
Код Hazync прошёл два ИИ-ассистированных внешних обзора в августе, которые не нашли способа принять невалидную цепь, однако профессиональный аудит ещё не завершён. Пока 27-миллисекундная проверка покрывает ограниченный участок истории, а оценка в 17 GPU-лет описывает незавершённый путь к текущей вершине биткоина. Поэтому результат остаётся исследовательским бенчмарком, а не готовым продуктом.
