Квантова атака срещу биткойн може да открадне монети на Сатоши Накамото, а Paradigm има решение

Генерален партньор на Paradigm Дан Робинсън има публикувани предложение за система, наречена Provable Address-Control Timestamps, или PACTs, която би позволила Bitcoin Притежателите на портфейлите си днес частно доказват собствеността си и използват това доказателство, за да си възстановят средствата по-късно, ако мрежата някога замрази квантово уязвими адреси. Предложението е предназначено да защити спящите портфейли, включително тези, за които се смята, че принадлежат на Сатоши Накамото, без да се изискват никакви публични действия в мрежата сега.

Системата работи на две стъпки: частен ангажимент, поет днес, използващ съществуващите Bitcoin инструменти и квантово-устойчиво доказателство, представено по-късно, ако някога мека форк замрази наследени типове адреси. Не Bitcoin Необходима е транзакция, за да се създаде ангажиментът, и процесът не разкрива публично нищо за притежателя, неговия адрес или салдото му.

Каква е квантовата заплаха? Bitcoin?

Bitcoin Адресите, които са разкрили публични ключове, са уязвими за бъдещ клас компютри, известни като криптографски релевантни квантови компютри или CRQC. CRQC, достатъчно мощен, би могъл да извлече частен ключ от известен публичен ключ, което позволява на нападател да открадне средства от всеки адрес, където публичният ключ е бил разкрит във веригата.

Paradigm изчислява, че стойността на стотици милиарди долари Bitcoin се намира на адреси с открити публични ключове. Портфейлите, за които се смята, че принадлежат на Сатоши Накамото, съдържат приблизително 1.1 милиона BTC, на стойност над 75 милиарда долара по текущи цени. Тези портфейли предшестват стандарта за генериране на ключове BIP-32, въведен през 2012 г., и нямат съществуващ път за спасяване съгласно настоящите предложения.

Какво предложи BIP-361 и защо е спорно?

Разработчикът Джеймсън Лоп и петима съавтори публикуваха БИП-361 в средата на април, предлагайки петгодишен график за постепенно премахване на квантово уязвими адреси. Всички монети, които не мигрират в квантово безопасни формати до крайния срок, ще бъдат замразени за постоянно.

Предложението създава сериозен проблем за дълго пасивните притежатели. Преместването на монети е публично действие в веригата. То разкрива, че портфейлът е все още активен, разкрива времеви модели, връзки между портфейлите и потенциално IP адреси. За Сатоши Накамото по-специално, преместването на монети би потвърдило, че псевдонимният създател е жив и все още притежава ключовете му. Това е разкритие, което мнозина... Bitcoin общността счита за неприемливо да се налага.

BIP-361 включва път за спасяване на портфейли, получени чрез BIP-32, използващ доказателства с нулево знание за познания за родителския ключ. Но портфейлите преди 2012 г., включително повечето от известните адреси на Сатоши, не използват BIP-32 и не могат да бъдат спасени по този път.

Как работят PACT-ите?

PACT предлагат трети път. Протоколът има две отделни фази.

Първа стъпка: Ангажиментът

Притежателят генерира 256-битова секретна сол, произволна част от лични данни, която прави ангажимента уникален и неразгадаем. След това използва BIP-322, стандарт за подписване на съобщения от... Bitcoin адрес без излъчване на транзакция, за да се предостави доказателство за контрол върху уязвимия адрес.

Солтта и доказателството BIP-322 се комбинират в един хеш на ангажимента. След това този хеш се маркира с времеви отпечатък с помощта на OpenTimestamps, безплатна услуга с отворен код, която пакетира данни в дърво на Merkle и вгражда корена в... Bitcoin OPИзход _RETURN. Притежателят съхранява солта, доказателството и файла с времевия печат частно. Нищо не се излъчва. Нищо не се разкрива. Процесът не струва нищо.

Открийте обещаващи проекти...

Перспективни проекти...

(Реклама)

Статията продължава...

Робинсън отбеляза, че това е възможно, защото Сатоши е проектирал Bitcoin като разпределен сървър за времеви печати в бялата книга от 2008 г., а OpenTimestamps използва този дизайн, за да предлага безплатно, безнадеждно времево маркиране в продължение на години.

Стъпка втора: Спасяването

If Bitcoin по-късно активира мека форк, който замразява квантово уязвими адреси, това подобрение може също да определи път за спасяване за притежателите на PACT. За да похарчи замразена монета, притежателят ѝ представя STARK доказателство, вид доказателство с нулево знание, което е защитено срещу квантови компютри, демонстрирайки три неща:

• Те знаеха валидно доказателство за сол и контрол BIP-322.
• Тази комбинация хешира ангажимент с времеви отпечатък преди крайната дата на PACT.
• Доказателството за спасяване е обвързано с конкретната транзакция, което предотвратява копирането или повторната ѝ употреба.

Солтта и доказателството BIP-322 никога не се разкриват по време на обратното изкупуване. Мрежата потвърждава само, че притежателят е имал контрол преди края на срока. Сумата, адресът и времевият печат остават поверителни.

Какво е STARK и защо е от значение тук?

STARK е съкращение от Scalable Transparent Argument of Knowledge (Мащабируем Прозрачен Аргумент на Знанието). Това е вид доказателство с нулево знание, което позволява на едната страна да докаже, че знае нещо, без да разкрива какво е това нещо. За разлика от по-старите системи за доказване, STARK не разчитат на криптография с елиптична крива, което означава, че остават сигурни, дори ако квантовите компютри могат да разбият криптирането. Bitcoin в момента използва. 

Добавяне на STARK проверка към Bitcoin ще изисква мек форк (soft fork), а Робинсън призна, че това представлява съществена нова инфраструктура за протокола.

Какви са рисковете от PACTs?

Робинсън беше директен относно ограниченията на предложението.

• Bitcoin може никога да не осъществи квантов залез, което ще направи PACT-ите ненужни
• Дори ако се случи залез слънце, този конкретен спасителен път може да не бъде включен в това подобрение.
• Притежателите не трябва да разчитат единствено на PACTs за защита, докато протоколът за спасяване не бъде официално приет в протокола.
• Дизайнът не се разпростира изцяло върху портфейли с множество подписи, сложни скриптове или попечителски сметки, всички от които изискват допълнителна работа по стандартизация.
• Притежателите трябва да защитят своите salt, BIP-322 proof и OpenTimestamps файлове като артефакти за възстановяване, тъй като загубата на който и да е от тях премахва опцията за възстановяване.

Робинсън твърди, че ниската цена за създаване на ангажимент оправдава действието след като бъде договорен стандартен формат, дори и предвид тези несигурности.

Как се вписва предложението в по-широкия квантов дебат?

Предложението PACTs се основава на BIP-361, вместо да го замени. То запълва специфична празнина, която BIP-361 оставя отворена: портфейли отпреди BIP-32, без съществуващ спасителен път. Робинсън цитира по-ранните дискусии на Джереми Рубин върху подобни концепции в Delving. Bitcoin форум като предишна работа в същата посока.

Bitcoin Разработчиците и квантовите изследователи реагираха бързо на X след публикуването. Дискусията се фокусира върху:

• Срокове за интеграция на STARK и какво би изисквал soft fork, добавящ проверка с нулево знание
• Дали защитата на поверителността би била валидна на практика при състезателни условия
• Възможността за определяне на крайна дата на PACT, която да предшества всяка реалистична възможност за CRQC

Робинсън призна, че дизайнът е илюстративен и изисква участието на криптографи, Bitcoin разработчиците и по-широката общност, преди да може да се счита за официално предложение.

Заключение: 

Предложението на Paradigm за PACTs дава Bitcoin притежателите на безплатен, частен начин за доказателство за контрол на портфейла с времеви печат днес, използвайки подписване BIP-322 и OpenTimestamps. Ако Bitcoin Ако някога приеме квантов залез чрез мек форк, притежателите могат да представят STARK доказателства, за да си възстановят замразени средства, без да разкриват адреса, баланса или самоличността си. Системата изисква добавяне на STARK инфраструктура за проверка. Bitcoin и зависи от бъдещ спасителен път, включен във всяка актуализация преди залеза. Това не се отнася изцяло за портфейли с множество подписи или попечителски портфейли и не носи гаранция за приемане. За портфейли преди BIP-32, включително тези, свързани с очакваните 1.1 милиона активи на Сатоши Накамото BTC, това е единственият предложен в момента вариант за спасяване.

Ресурси

1. Предложение от генералния партньор на Paradigm Дан РобинсънPACTs: Защита на вашите Bitcoin От квантов залез

2. БИП-361

3. Доклад от CoinDesk: Ново Bitcoin Квантовото предложение предлага на Сатоши Накамото начин да докаже контрол, без да се движи BTC