Джонас Нік з Blockstream Research та співробітник remix7531 випустили libshrincs — прототип бібліотеки на C, яка реалізує ключовий компонент схеми підпису, стійкого до квантових обчислень, розробленої для Bitcoin. Бібліотека, про яку повідомили 11 серпня на Delving Bitcoin, є одним із найбільш серйозних спроб формально перевірити криптографічний код, призначений для захисту Bitcoin від майбутнього появи потужних квантових комп’ютерів.
Проект відзначається не лише тим, чого він захищає, а й тим, як він був створений. Доведення безпеки та коректності були в основному згенеровані за допомогою великих мовних моделей, включаючи ChatGPT та Fable, під наглядом людей.
Що насправді робить libshrincs
Libshrincs реалізує WOTS+C — компонент підпису одноразового використання більшої схеми під назвою SHRINCS. SHRINCS, запропонований у грудні 2025 року, — це схема підпису, що поєднує станові та безстанові хеш-підписи. Мета — зберегти розміри підписів достатньо компактними, щоб вони були практичними для транзакцій bitcoin, зберігаючи при цьому стійкість до квантових атак.
У становому режимі підписи мають розмір приблизно 324 байти. Схема також передбачає безстановий механізм запасного варіанту, який діє як запасний варіант у випадку, якщо відстеження станової компоненти буде неправильно налаштовано.
Бібліотека поставляється з машинно перевіреними доказами функціональної коректності та доказом безпеки, підтвердженим за допомогою SSProve у Rocq. Докази є значними: приблизно 6 200 рядків коду VST (Verified Software Toolchain) та близько 13 400 рядків коду Rocq.
AI-підхід і чому це має значення
Великі мовні моделі використовувалися для генерації значних частин коду верифікації, при цьому людські розробники керували та перевіряли вихідні дані. Формальна верифікація в криптографії історично була дорогим і повільним процесом. Якщо методи з використанням ШІ зможуть надійно генерувати такий результат, це може значно знизити бар’єри для створення верифікованого криптографічного програмного забезпечення.
Обмеження та шлях вперед
Дослідники відкрито зазначають, чого ще не досягло libshrincs. Поточна теорема безпеки не забезпечує повного післяквантового обмеження в квантовій моделі випадкового оракула (QROM). Вона також використовує слабшу концепцію безпеки порівняно з тим, як підписи SHRINCS насправді будуть використовуватися на практиці. Числові хеш-припущення, які посилили б аргумент безпеки, ще не були включено.
Відсутні заяви щодо впровадження виробництва чи інтеграції в Bitcoin Core. Робота проводиться в межах ширшої ініціативи Blockstream Research щодо розробки квантово-стійких підписів для Bitcoin та мережі бічного ланцюга Liquid від Blockstream. До пов’язаних зусиль належать реалізації на C++ та бібліотеки перевірки Simplicity.