Досягнення миттєвої валідації Bitcoin за 27 мс вимагатиме 17 років обчислювальної потужності GPU

Розробник Hazync повідомляє, що його веріфікатор, розміром 1.7 МБ, перевірив криптографічний квиток обсягом 226,434 байти за 27 мілісекунд, охоплюючи перші 1,789 блоків Біткоїна.

Це обмежує результат ранньою частиною історії Біткоїна, а повна кампанія доказу від початку до кінця ще не завершена. Hazync є прототипом, що використовує нульову віртуальну машину RISC Zero, щоб зробити перевірку Біткоїна повторно використовуваною.

zkVM виконує програму валідації, і отриманий квиток надає іншим користувачам компактний файл для перевірки.

Розробник зосереджує генерацію доказів серед провайдерів і залишає перевірку квитків на значно ширшій аудиторії. Ці дві функції мають радикально різні витрати.

За оцінками розробника, на історичну перевірку знадобиться приблизно 17 GPU-років, а для обробки нових блоків - потужність, еквівалентна близько шести графічних карт Nvidia L40S. Традиційний новий вузол Біткоїна незалежно відтворює ланцюг.

Hazync виконує правила Біткоїна в zkVM, доводячи, що ці правила приймають кожен покритий блок, і об'єднує докази блоків в один квиток. Після внутрішнього аудиту 4 серпня проект перезапустив свою генезу.

Наступні зміни можуть спровокувати новий скидання, незважаючи на накопичений GPU-час.

Таким чином, бюджет доказування охоплює стабільний код, історичну перевірку та постійну потужність для обробки нових блоків. Швидкість перевірки - це частина, яка видима користувачеві, а оцінка у 17 GPU-років відображає зосереджені зусилля, необхідні для досягнення цього досвіду. Квиток компресує перевірку дійсності, але оператори архіву забезпечують наявність транзакцій і зберігають історичні дані свідків і підписів.

Майбутні версії потребують цих даних для повторного доведення ланцюга. Проект дотримується правил вибору найкращого ланцюга, контрольованих Біткоїном.

Hazync відображає накопичувальні роботи в публічному виході квитка, надаючи перевірнику значення для порівняння альтернативних кінцевих блоків. Розробник стверджує, що доказ, створений з генези, є безумовним у рамках програмного забезпечення Hazync.

Важливі оглядові межі включають в себе субстанційний код консенсусу Core, який працює в його межах.

Загальні вказівки проекту вимагають незалежного зовнішнього аудиту. Hazync розділяє бездослідний синхронізм на кілька завдань з різними операторами та бюджетами.

Завдяки стабільній імплементації та зовнішньому огляду можливе зменшення повторних перевірок на нових вузлах.

На даний момент перевірка у 27 мілісекунд охоплює обмежену частину історії, а оцінка у 17 GPU-років описує незавершений шлях до кінцевого результату Біткоїна.