Разработчик Bitcoin предложил «мины» против квантовых воров

Разработчик Bitcoin Core Кори Филдс предложил «квантовые мины» — схему, при которой потенциальные квантовые воры должны внести залог, который владельцы могут забрать вместе со своими украденными монетами, раскрыв ранее скрытое доказательство владения.

Разработчик Bitcoin Core хочет заставить будущих квантовых воров рисковать собственными средствами, прежде чем красть чужие.

Кори Филдс, разработчик Bitcoin в MIT Digital Currency Initiative, изложил идею в среду в списке рассылки разработчиков Bitcoin. Его «квантовые мины» позволят держателям тайно устанавливать ловушку для любого, кто в будущем взломает ключи их кошелька.

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

Ранее уже возникали споры о том, следует ли Bitcoin замораживать уязвимые монеты или позволить любому, кто способен сгенерировать действительную подпись, тратить их. Заморозка могла бы остановить воров, но также может заблокировать держателей, которые не успеют вовремя обновиться.

Как работает предложенный метод

Филдс предполагает прикрепление финансового штрафа к любой попытке траты. В его примере кража 1 BTC потребует от злоумышленника предоставить дополнительный 1 BTC из квантово-безопасного кошелька. Затем обе монеты будут заблокированы на период ожидания, например 30 дней.

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

Воры не могут определить, в каких активах есть ловушки, до того как внесут собственные средства.

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

«Поскольку злоумышленник не доказал знание ключа Алисы до дня, когда квантовые компьютеры станут угрозой, он должен ждать 30 дней, прежде чем повторно потратить выход транзакции», — написал он. «Однако Алиса заметит транзакцию в течение этого окна и потратит ожидающий выход транзакции на свой заранее объявленный ключ, используя свою мину в качестве входа и раскрывая доказательство. Тем самым она не только перемещает свои монеты, но и захватывает залог злоумышленника».

Оговорки

Механизм мин работает только для владельцев, которые все еще хранят свои приватные ключи, исключая монеты, считающиеся утерянными, включая те, что принадлежат основателю Bitcoin Сатоши Накамото.

Филдс разработал аукционную систему для защиты неиспользуемых монет от будущих квантовых воров. По этому плану участники сети заранее подают скрытые ставки на уязвимые кошельки.

Эти ставки функционируют как криптографические ловушки. Если квантовый вор начнет атаку, смарт-контракт участника с наибольшей ставкой срабатывает автоматически, мгновенно сжигая целевую монету, а заблокированный залог вора конфискуется и передается победителю в качестве вознаграждения.

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

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