Віталік Бутерін закликає зосередитися на безпеці zkEVM після заяв ZKsync про швидкість

iconNS3
Поділитися
AI summary iconКороткий зміст
Співзасновник ethereum Віталік Бутерін закликав змінити фокус на безпеку доказів із нульовим розголошенням (ZKP) після того, як ZKsync оголосив про покращення швидкодії. ZKsync’s Airbender Prime стверджує, що генерує докази за менше ніж 10 секунд для більшості блоків. Бутерін визначив три вимоги до формальної верифікації для сумісності з EVM (Ethereum Virtual Machine). Він підкреслив необхідність надійних систем доказів та обмеження витрат на генерацію доказів. ZKsync вважає, що зниження вимог до обладнання може підвищити участь. Бутерін сказав, що аудити та верифікація вирішать, які zkEVM-системи ethereum буде вважати надійними.

Співзасновник ethereum Віталік Бутерін каже, що гонка за те, щоб зробити докази із нульовим розголошенням достатньо швидкими для ethereum, визначено виграна. Бутерін каже, що найвищий пріоритет для zkEVM тепер повинен повністю зміститися на безпеку. Коментар Бутеріна з’явився після заяви ZKsync про реальний час доказів на одному графічному процесорі.

Власна оцінка ZKsync показала, що Airbender Prime генерує 99% доказів за менше ніж 10 секунд на протязі 7 200 послідовних блоків мейннету. Ethereum додає блок кожні 12 секунд. ZKsync стверджує, що жоден блок у вибірці не вимагав стільки часу для підтвердження. ZKsync каже, що ETHproofs — публічна таблиця лідерів пруверів — визначає Airbender Prime як першого за середнім часом підтвердження. ZKsync вважає, що зниження вимог до апаратного забезпечення робить процес підтвердження доступним для більшої кількості інституцій та незалежних операторів.

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

Бутерін назвав три вимоги до zkEVM — систем, що підтверджують виконання ethereum. Бутерін стверджує, що zkEVM мають відповідати специфікації ethereum. Бутерін стверджує, що zkEVM мають обмежувати вартість доведення відносно газу блоку. Бутерін стверджує, що zkEVM мають опиратися на надійну систему доведення. Бутерін хоче, щоб кожна вимога була формально перевірена, тобто математично доведена, а не лише протестована.

Швидше підтвердження не впливає безпосередньо на ціну Ethereum. Airbender Prime — це інструмент ZKsync, а не зміна протоколу Ethereum. Airbender Prime не змінює пропозицію ETH, комісії та нагороди за стейкінг у Ethereum. Будь-який вплив на ціну, швидше за все, походить від настроїв щодо дорожньої карти Ethereum, а також макроекономічних умов і руху коштів.

Більшою проблемою є довіра. ZKsync просуває цю технологію банкам, стверджуючи, що навіть скомпрометований сервер не зможе отримати оновлення реєстру, яке порушує перевірені правила. Швидкий прувер із недоліком зробить цю мету марною. Формальна верифікація та аудити тепер можуть визначити, які zkEVM Ethereum може довіряти.

Відмова від відповідальності: Інформація на цій сторінці може бути отримана від третіх осіб і не обов'язково відображає погляди або думки KuCoin. Цей контент надається лише для загального інформування, без будь-яких запевнень або гарантій, а також не може розглядатися як фінансова або інвестиційна порада. KuCoin не несе відповідальності за будь-які помилки або упущення, а також за будь-які результати, отримані в результаті використання цієї інформації. Інвестиції в цифрові активи можуть бути ризикованими. Будь ласка, ретельно оцініть ризики продукту та свою толерантність до ризику, виходячи з ваших власних фінансових обставин. Для отримання додаткової інформації, будь ласка, зверніться до наших Умов використання та Розкриття інформації про ризики.