Кори Филдс предлагает «квантовые мины» для биткоина, чтобы предотвратить кражи

Предлагаемое средство сдерживания краж в квантовую эпоху

Разработчик Bitcoin Core Кори Филдс предложил «квантовые мины» — механизм, призванный сделать кражу биткоинов, уязвимых к квантовым атакам, дорогостоящей для злоумышленника. 4 ноября он представил эту идею в рассылке Bitcoin Development Mailing List на фоне растущей обеспокоенности будущим моментом, известным как Q-Day, когда мощные квантовые компьютеры смогут взломать нынешнюю криптографию биткоина. Это лишь предлагаемая мера, а не уже вступившее в силу изменение.

В основе концепции — скрытое доказательство владения, подготовленное до того, как квантовые атаки станут возможны. В примере из источника владелец 1 BTC в старом уязвимом кошельке помещает секретное доказательство в небольшой выход Bitcoin, защищённый от квантовых атак. Это доказательство не видно публично. Оно должно позволить владельцу позднее подтвердить свои права, если кто-либо попытается переместить уязвимые монеты.

Согласно предлагаемым правилам, после того как квантовые атаки станут возможны, для перемещения уязвимых биткоинов отправителю потребуется внести такую же сумму в качестве залога. В приведённом примере для перевода 1 уязвимого BTC потребуется ещё 1 BTC в качестве залога. Для обеих сумм будет установлен период ожидания, который может длиться до 30 дней. Это даст настоящему владельцу время отреагировать, а не позволит переводу завершиться немедленно.

Как будет работать механизм залога

Если квантовый злоумышленник попытается завладеть монетами, владелец сможет раскрыть секретное доказательство в период ожидания, вернуть исходные биткоины и получить залог злоумышленника. В этом и состоит сдерживающий эффект предложения: попытка кражи может обойтись злоумышленнику дорого, тогда как владелец сможет вернуть монеты и получить равный им залог. По мнению Филдса, неопределённость относительно скрытых средств защиты может заставить потенциальных воров опасаться атаковать монеты.

Основная логика механизма заключается в том, чтобы одновременно подвергнуть риску средства потенциального злоумышленника и уязвимые монеты, которые он пытается переместить. Скрытое доказательство не предотвратит попытку кражи, но даст владельцу возможность оспорить её после начала перевода. Поэтому требование залога и задержка имеют ключевое значение для этой идеи, а доказательство служит основанием для возврата монет и конфискации залога.

Предложение также предполагает, что владельцы начнут действовать до Дня Q и заранее подготовят доказательство. Если человек не создал ловушку, такая защита для его монет будет недоступна. В исходном материале не указано, насколько широко будет распространена такая подготовка, как будут реализованы правила и как система будет разрешать спорные требования помимо описанной схемы с доказательством и периодом ожидания. В представленном изложении эти детали остаются открытыми.

Бремя для законных владельцев

Самый очевидный недостаток заключается в том, что блокчейн Bitcoin не может отличить квантового хакера от законного владельца, переводящего уязвимые монеты. В результате одно и то же требование к обеспечению распространялось бы на обе стороны. Владельцу, желающему перевести 10 BTC со старого кошелька, могло бы понадобиться ещё 10 BTC в средствах, защищённых от квантовых атак. Это означало бы, что доступ к уже имеющимся сбережениям зависел бы от наличия равной суммы в качестве дополнительного обеспечения.

Это создает противоречие между сдерживанием краж и сохранением возможности свободно распоряжаться средствами для добросовестных владельцев. Это правило может повысить стоимость атаки на уязвимые монеты, но оно будет применяться и в тех случаях, когда их перемещает законный владелец. В частности, требование предоставить соответствующее обеспечение может стать серьезным препятствием для держателей, у которых нет дополнительных биткоинов с квантовой защитой. В источнике отмечается это бремя, но не предлагается способ освободить от него законные переводы.

Период ожидания мог бы дать владельцу время предъявить доказательство, но для этого ему все равно нужно было бы заранее подготовить его и иметь возможность воспользоваться им. В описании не объясняется, как разрешались бы споры при противоречащих друг другу заявлениях и что происходило бы, если владелец не мог бы ответить в установленный срок. Эти вопросы важны, поскольку до подтверждения обоснованности заявления предложение рассматривает все перемещения уязвимых монет одинаково.

Неактивные монеты и нерешенные вопросы

Неактивные монеты представляют собой особую проблему. Если приватные ключи утеряны, их владельцы не могут подготовить мину-ловушку, поэтому предлагаемую защиту нельзя просто активировать для таких средств. В источнике в качестве примера более широкой проблемы упоминаются монеты эпохи Сатоши: монеты, которые не перемещаются, могут оказаться под угрозой, но при этом может не быть владельца, с которым можно связаться, чтобы он подтвердил свои права или восстановил монеты в случае действий квантового злоумышленника.

Филдс предложил альтернативные аукционные механизмы для случаев, когда владелец ключа не может подготовить мину-ловушку. В описанных вариантах участники аукциона могли бы оспаривать действия хакеров и претендовать на их депозиты. Один из возможных вариантов предусматривает безвозвратное уничтожение уязвимых монет. Так вопрос смещается от защиты конкретного владельца к решению о том, что делать, если право собственности нельзя подтвердить. В источнике эти механизмы представлены как предложения, а не как утвержденная политика.

Уничтожение уязвимых монет также поставило бы вопросы о праве собственности и предложении биткоина, а если оставить их нетронутыми, у некоторых монет может не оказаться практической защиты. В источнике не говорится ни о консенсусе относительно того, как разрешить эту дилемму, ни о том, будут ли приняты система залога или альтернативы в виде аукционов. Пока это предложение указывает на компромисс: более надёжная защита от будущей квантовой кражи может затруднить или сделать более затратным перемещение старых монет их законными владельцами.

Источник: BeInCrypto