ETH
BTCдослідження, що стало великою новиною в криптоприватності, виявило, що системи доказів з нульовим розголошенням, включаючи Railgun, PrivacyPools, Aleo та Aztec, математично несприйнятливі до квантових атак, оскільки вони покладаються на інформаційно-теоретичну безпеку, а не на шифрування, що означає, що вони залишаються безпечними навіть проти нескінченно потужних зловмисників, включаючи майбутні квантові комп'ютери.
У вівторок з'явилися новини про криптоприватність з важливим відкриттям: та сама загроза квантових обчислень, яка спричинила розробку аварійних планів у Ripple, Bitcoin та Ethereum, схоже, не стосується систем доказів з нульовим розголошенням, що зберігають конфіденційність. Дослідження, проведене дослідниками Coinbase спільно з командами Стенфорда та Ethereum Foundation, дійшло висновку, що такі мережі, як Railgun і PrivacyPools, покладаються на принципово іншу модель безпеки, ніж та, на яку націлені квантові комп'ютери.
Дослідження було надано DL News і робить висновок, що системи доказів з нульовим розголошенням «покладаються на інформаційно-теоретичні системи, які є безпечними навіть проти нескінченно потужних зловмисників завдяки тому, як інформація структурована та передається, а не завдяки шифруванню». Ця відмінність не є питанням ступеня. Це категорична різниця між обчислювальною безпекою та інформаційно-теоретичною безпекою.
Стандартна безпека блокчейну, включаючи захист біткоїн-гаманців та Ethereum-акаунтів, ґрунтується на обчислювальній складності: припущенні, що для вирішення базової математичної задачі потрібні більші обчислювальні потужності, ніж є у будь-якого зловмисника. Квантові комп'ютери, використовуючи алгоритм Шора, теоретично можуть вирішувати певні категорії цих математичних задач експоненційно швидше, ніж класичні комп'ютери, ось чому підписи на еліптичних кривих Біткоїна вважаються потенційно вразливими.
Докази з нульовим розголошенням працюють інакше. Вони дозволяють одній стороні довести знання секрету, не розкриваючи сам секрет, а гарантія безпеки походить від інформаційно-теоретичних принципів, а не від обчислювальної складності. Навіть комп'ютер з нескінченною обчислювальною потужністю не може витягти більше інформації, ніж було призначено для розкриття доказом. Ця структурна властивість робить інструменти конфіденційності на основі ZK несприйнятливими до алгоритму Шора та будь-яких квантових атак, що спрямовані на обчислювальну складність.
Railgun — це протокол конфіденційності, який приховує суми та адреси транзакцій за допомогою ZK-доказів в Ethereum. PrivacyPools — це протокол, розроблений для забезпечення конфіденційності, що відповідає вимогам, дозволяючи користувачам доводити, що їхні кошти не надходять із санкціонованих джерел, не розкриваючи при цьому повну історію своїх транзакцій. Aleo — це блокчейн першого рівня (Layer 1), вбудований нативно навколо ZK-доказів. Aztec — це Layer 2 рішення для Ethereum з приватним виконанням смарт-контрактів за допомогою ZK-доказів.
Усі чотири покладаються на інформаційно-теоретичну безпеку для своїх основних гарантій конфіденційності. Висновок дослідження Coinbase означає, що коли квантові комп'ютери врешті-решт досягнуть рівня, який загрожуватиме ключовій безпеці Біткоїна, властивості конфіденційності цих мереж залишаться недоторканими. Їхня вразливість, якщо така буде, походитиме від інших компонентів їхньої архітектури, таких як базові підписи на еліптичних кривих, що використовуються для автентифікації облікових записів, що є окремим рівнем безпеки від самої системи ZK-доказів.
Це відкриття з'являється тоді, коли ширша дискусія про квантову загрозу для Біткоїна створює тертя в управлінні екосистемою. Дискусія про квантову загрозу в Біткоїні зосереджена на тому, чи варто примушувати до міграції монет, чи покладатися на необов'язкові оновлення. Інфраструктура конфіденційності на основі ZK повністю обходить цю дискусію, оскільки її основна модель безпеки вже була квантово-стійкою за задумом.
Для розробників DeFi та інституційних користувачів, які оцінюють вибір інфраструктури на довгострокову перспективу, дослідження надає конкретну основу для розгляду інструментів конфіденційності на основі ZK як категорично більш стійких до майбутніх загроз, ніж традиційні блокчейн-акаунти, засновані на прозорості, щодо квантової загрози. Співзасновник Ethereum Віталік Бутерін публічно підтримав протоколи, такі як Railgun, на ширших підставах, стверджуючи, що конфіденційність має бути опцією за замовчуванням для користувачів блокчейну. Відкриття квантової несприйнятливості додає безпековий вимір до цього аргументу.
