Verona, шар верифікованого інтелекту, оголосила запуск Fermi — оновлення v32 основної мережі Verona. Fermi вмикає живі післяквантові підписи для кожного акаунта в мережі. Користувачі можуть прив’язати автентифікатор ML-DSA до будь‑якого чинного акаунта й за бажання відreгувати доквантовий ключ — без будь‑яких змін адреси. У Verona кожен акаунт — це смарт‑контракт з підключними автентифікаторами, тож післяквантові підписи стають вбудованою опцією, а не окремою міграцією.
Чому саме зараз
Горизонт появи практичних квантових атак стрімко скорочується. NIST планує вивести з обігу еліптичні підписи, що сьогодні захищають майже всі блокчейни, після 2030 року та повністю заборонити їх після 2035‑го. Google перенесла власний дедлайн переходу на післяквантові алгоритми на 2029 рік. У березні Google Quantum AI опублікувала оцінки, за якими машина менш ніж із пів мільйона фізичних кубітів зможе зламати secp256k1 — криву, що лежить в основі Bitcoin та Ethereum, — за лічені хвилини. Це майже двадцятикратне зниження попередніх оцінок. Таких машин ще не існує, але Verona вирішила діяти, поки зберігається часовий запас, і Fermi передає цей запас кожному користувачу мережі.
Що приносить Fermi
- ML-DSA-65, гратковий підписний стандарт FIPS 204, як нативний автентифікатор акаунтів
- SLH-DSA-128s, хеш‑орієнтований стандарт FIPS 205, для казначейств і «холодних» сховищ
- Політика обов’язкового PQ‑захисту акаунта, яка або відключає класичні ключі, або змушує їх співпідписувати разом із післяквантовим ключем
- Міграція «в один клік» у Verona SDK та на дашборді
Чому архітектура має значення
Більшість мереж генерують адресу напряму з єдиного публічного ключа. Коли алгоритм цього ключа стає вразливим, користувачам доводиться переганяти кошти на нову адресу. За такої моделі, за оцінками, до третини запасу Bitcoin уже перебуває в акаунтах із розкритими ключами, а дорожню карту захисту Ethereum від квантових атак доводиться будувати через нові стандарти акаунтів.
Verona з самого запуску обрала іншу модель. Кожен акаунт працює як смарт‑контракт, розгорнутий через управління мережі, і містить набір підключних автентифікаторів — від secp256k1 до passkeys, Ethereum‑гаманців, JWT і ZKEmail. Додавання ML-DSA — це та сама операція, що й підключення passkey. Адресою володіє контракт, а не ключ, тому криптографію можна змінювати «під капотом» без впливу на ідентичність користувача, історію операцій чи баланси.
Ставка мережі
Квантові обчислення й криптографія розігрують типову гру «кішки‑мишки», і Fermi не ставить у ній остаточної крапки. Verona не робить ставку на те, що якийсь один алгоритм лишиться переможцем назавжди. Натомість команда виходить з того, що мережа повинна вміти міняти криптографічні примітиви в рамках одного оновлення — не «загубивши» жодного акаунта.
Fermi запускає поруч граткові та хеш‑орієнтовані ключі, тож якщо одна з безпекових гіпотез виявиться хибною, користувачі зможуть безперешкодно перейти на альтернативу.
«Квантова стійкість — це насамперед міграційне завдання, а не технічна задача, — пояснює засновник і CEO Verona Ентоні Анцалоне. — Усі інші мережі мають вигадати, як безпечно перевести мільярди доларів на нові адреси. У Verona ви просто додаєте ключ і видаляєте ключ. Ми так спроєктували акаунти ще кілька років тому, розуміючи, що криптографія постійно змінюватиметься, і Fermi — перший випадок, коли ця архітектура дає віддачу у масштабі всієї мережі».
Що далі
На другому етапі Fermi мережа перенесе ключі валідаторів на ML-DSA-65 через Cosmos SDK v0.55 і лінійку CometBFT v0.40, тобто сам консенсус перейде на післяквантові підписи, щойно дві третини валідаторської голосуючої потужності оновлять ключі. Verona також планує додати FN-DSA (Falcon) як автентифікатор після фіналізації стандарту FIPS 206 від NIST.
Зручні автентифікатори, що покладаються на сторонню інфраструктуру — зокрема JWT і ZKEmail, — поки що залишаться на класичних алгоритмах, доки провайдери ідентичності та системи доказів не завершать власний перехід. Вони не зможуть виконувати вимоги політики обов’язкового PQ‑захисту.
Про Verona
Verona — це шар верифікованого інтелекту для штучного інтелекту, бізнесу та роздрібних користувачів, який розробляє Burnt Labs. У минулому — XION, Verona перетворює верифіковані факти з реального світу на програмований базовий блок. Докладніше — на verona.dev.
