Квантова пропозиція біткойна пропонує Сатоші Накамото спосіб довести контроль без переміщення BTC

Проблеми квантових обчислень біткойна завжди мали всередині проблеми Сатоші.

Мільйони біткойнів, які лежать у старих гаманцях із відкритими відкритими ключами, можуть бути вразливими до крадіжки, якщо з’являються досить потужні квантові комп’ютери. Це включає приблизно 1,1 мільйона біткойнів, приписуваних автору під псевдонімом Сатоші Накамото, на даний момент вартістю близько 84 мільярдів доларів.

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

Відомий розробник Джеймсон Лопп і п'ять інших розробників запропонували саме це в середині квітня через БІП-361яка призведе до поступового виведення квантово-вразливих адрес протягом п’ятирічного терміну та заморожування будь-яких монет, які не вдасться перенести.

Однак ця пропозиція створила іншу проблему. Сатоші та будь-який інший довго сплячий власник повинен був би публічно прокинутися або ризикувати втратою доступу до своїх активів.

Ден Робінсон, генеральний партнер Paradigm, у п’ятницю опублікував пропозицію щодо способу обійти цей компроміс, який обертається навколо концепції перевірених адресно-контрольних часових позначок, або PACT.

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

Власник генерує випадкову сіль, яка є фрагментом секретних даних, який використовується для того, щоб зробити криптографічне зобов’язання унікальним і неможливим для вгадування, і використовує BIP-322, стандарт для підписання повідомлень з адреси Bitcoin без витрат з неї, щоб отримати доказ власності.

Сіль і доказ об’єднані разом у зобов’язання onchain і позначаються часовими мітками через OpenTimestamps, безкоштовний сервіс, який прив’язує дані до блокчейну біткойнів за допомогою однієї пакетної транзакції. Файли soli, proof і timestamp залишаються приватними.

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

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

Ці PACT також усувають певну прогалину в BIP-361, включаючи шлях порятунку для гаманців, отриманих через BIP-32, детермінований стандарт генерації ключів, запроваджений у 2012 році. Гаманці до 2012 року, включаючи більшість відомих адрес Сатоші, не використовують BIP-32 і не можуть бути врятовані через цей шлях.

Таким чином, Робінсон заявив, що PACTs вимагають, щоб біткойн зрештою прийняв протокол перевірки STARK, який сам по собі потребує окремого софтфорка з широким консенсусом спільноти.

Наразі в біткойнах інфраструктури перевірки не існує, і вона потребуватиме того, що Робінсон називає «суттєвою новою системою», як-от гаманці з кількома підписами, складні сценарії та апаратна підтримка гаманців, які потребуватимуть ретельної стандартизації.

Це останнє обмеження – це те, що PACT не може обійти.

Протокол захищає Сатоші лише в тому випадку, якщо сам Сатоші або той, хто зараз контролює ці ключі, бере на себе зобов’язання. Якщо Сатоші дійсно пішов, жоден PACT не може бути створений заднім числом. Монети залишаються під впливом того, який сценарій розігрується першим: квантова крадіжка чи заморожування спільноти.

PACTs пропонують спосіб зробити дискусію BIP-361 менш бінарною. Поточна пропозиція щодо заморожування змушує зробити вибір між захистом від квантової крадіжки та дотриманням бездіяльних прав власності.

Чи використовуватиме це Сатоші – питання, на яке PACT не може відповісти.