Фірма масштабування Ethereum = нуль;Foundation представляє zkEVM, орієнтований на безпеку

Технологічна фірма без знань = нуль;Foundation розробила новий компілятор Ethereum Virtual Machine (zkEVM) типу 1 з нульовим знанням, щоб вирішити проблеми безпеки, виявлені в подібних рішеннях масштабування Ethereum на базі ZK.

Говорячи ексклюзивно для Cointelegraph, =нуль;Генеральний директор і співзасновник Фонду Міша Комаров каже, що технологія надає пріоритет безпеці та дозволяє автоматично компілювати програмний код високого рівня в схеми з нульовим знанням, стислі неінтерактивні аргументи знань (zk-SNARKS).

ZkEVM фірми розроблено таким чином, щоб бути сумісним з evmone, яка є C++ версією базового середовища виконання Ethereum. Ключовий висновок полягає в тому, що код програм обробляється та згортається як докази, які надсилаються в Ethereum у тому самому форматі, що й його EVM.

За темою: Ethereum L2 Starknet прагне децентралізувати основні компоненти своєї мережі масштабування

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

Кілька високопрофільних zkEVM з’явилися на ринку в 2023 році. Ці протоколи рівня 2 спрямовані на те, щоб допомогти Ethereum обробляти великі транзакційні навантаження та функції смарт-контрактів. Cointelegraph детально висвітлив ці питання, а такі компанії, як Consensys, Polygon, StarkWare та Matter Labs, випустили рішення ZK-rollup, щоб забезпечити високу пропускну здатність і низьку плату для децентралізованих програм, служб і користувачів мережі.

За темою: Matter Labs відступає, оскільки zkSync запускає портал екосистеми, керований DappRadar

Як пояснює Комаров, =нуль;Рішення Foundation базується на автоматизованому компіляторі, що відрізняється від дизайну інших zkEVM, які вручну визначають схеми. Він описує існуючі підходи як «вимагають багато часу» та «надмірно складні», що також створює ризик людської помилки.

Ці занепокоєння були очевидними у виявленні помилки надійності в ZK-ланцюгах, які використовуються в основній мережі zkSync Era від Matter Labs. Охоронна фірма ChainLight отримала винагороду в розмірі 50 000 доларів США в монетах (USDC) за виявлення вразливості у вересні 2023 року.

За темою: співзасновник Polygon: ставка в розмірі 1 мільярда доларів США на зведення ZK окупається

Помилка дозволила б зловмиснику створювати докази для неправильно виконаних блоків, які верифікатор смарт-контрактів у головній мережі Ethereum прийняв би. Matter Labs розгорнула виправлення та нагородила ChainLight винагородою за помилку, першою заявою за помилку ZK-ланцюга в епоху zkSync.

«Віталік Бутерін почав говорити про проблеми безпеки, наприклад, що, якщо ланцюг зламався», — пояснює Комаров.

«Ми почали копатися в цьому. Проблема стала очевидною в тому, що ці схеми написані вручну. Люди витрачали роки на його розробку, але в основному він відтворює ту саму логіку, що й EVM, вручну в представленні схеми».

Комаров додає, що цей метод надзвичайно ускладнює аудит коду. Помилка zkSync є прикладом потенційної помилки в схемах, визначених вручну.=нуль;Підхід Foundation полягає в автоматизації компілятора Ethereum EVM за допомогою його компілятора схем, розробленого протягом останніх двох років.

«Це максимально близько до того, щоб схема мала таку ж безпеку, як оригінальна реалізація Ethereum. Якщо це зламано, то ланцюг зламано».

Рішення також розроблено таким чином, щоб бути адаптованим до змін EVM, оскільки дорожня карта Ethereum продовжується, забезпечуючи «перспективний» компілятор zkEVM, який не вимагає значних ресурсів і часу для оновлення, враховуючи його автоматизований дизайн. Це дозволяє zkEVM інтегрувати останні пропозиції щодо вдосконалення Ethereum, коли вони набувають чинності.

Фонд опублікував свій прототип сховища коду та специфікації 12 грудня.