Досягнення миттєвої валідації 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 та пов’язаних із ними подій може відрізнятися залежно від регіону. Ви несете відповідальність за забезпечення відповідності вашої участі чинному місцевому законодавству та нормативним актам.