Світ додає пост-квантову безпеку до нового комплекту інструментів ZK доказів

Світ нещодавно представив відритий набір інструментів для нульових знань (ZK) під назвою Provekit v1, який дозволяє користувачам генерувати криптографічні докази безпосередньо на смартфонах і веб-браузерах.

Інструмент інтегрований у World ID і дозволяє перевіряти особисту інформацію, не розголошуючи чутливі дані третім сторонам. Цей запуск відбувся через кілька місяців після того, як організація, заснована Семом Альтманом, представила розробницький інструмент для надання криптографічного підтвердження особистості в зростаючій сфері штучного інтелекту.

За словами представника World Foundation, впровадження 128-бітної безпеки, стійкої до квантових атак, відповідає рекомендаціям, що надходять від організацій, таких як Національний інститут стандартів та технологій (NIST). Представник зазначив, що безпека вимагає серйозного підходу до ризику, хоча практичні квантові атаки можуть бути реальні через 5-15 років.

Він також підкреслив, що низька затримка та безпека після квантових атак є взаємодоповнюючими цілями. Комунікація свідчить, що набір прикладних інструментів використовує схему хешування WHIR, що усуває потребу в довіреному налаштуванні.

Це дозволяє смартфонам, що працюють з World App, уникати зберігання великих ключів доказів у пам'яті, що дозволяє низькобюджетним пристроям виконувати обчислення. Тести показали, що Provekit генерує докази всього за декілька секунд на стандартних смартфонах і до 30 секунд на пристроях нижчого класу, середній розмір доказів складає приблизно 1 МБ.

Для перевірки на платформах, таких як Ethereum, де потрібні менші обсяги, World рекомендує використовувати рекурсивну верифікацію з компактними системами доказів. Обговорюючи можливі атаки типу "Harvest Now, Decrypt Later", представник зазначив, що це не було головним стимулом для дизайну Provekit.

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

Без захисту після квантових атак квантовий комп'ютер може дозволити зловмиснику підробити докази особистості. Розробники, які працюють з Provekit, можуть створювати особисті заяви за допомогою мови програмування Noir.

Зберігаюча інформація залишається недоступною для зовнішніх сторін, включаючи World Foundation.

World наразі працює над Provekit v2, який має на меті подальше зменшення розмірів доказів та споживання пам'яті, а також підвищення ефективності верифікації в блокчейні.