Віталік Бутерін закликає до видалення Modexp Precompile, що уповільнює ZK масштабування Ethereum

Бутерин каже, що modexp робить обчислення ZK-EVM до 50 разів важчими, ніж середні блоки Ethereum.

Він пропонує новий EIP, щоб замінити modexp на еквівалентний код EVM, незважаючи на вищі витрати на газ.

Неефективність Modexp уповільнює прогрес ZK-rollup, і лише кілька застосувань все ще потребують застарілої функції.

Співзасновник Ethereum Віталік Бутерін закликав розробників видалити модуль експоненціації мережі, відомий як modexp, описуючи його як одну з найбільших перешкод для ефективного нульового знання (ZK) масштабування.

У недавньому пості X, Бутерин заявив, що попередня компіляція є “найгіршим злочинцем” для ефективності ZK-EVM провера, зазначаючи, що вона може робити обчислення до 50 разів важчими, ніж середні блоки. Він запропонував скласти нову пропозицію щодо покращення Ethereum (EIP), щоб замінити функцію еквівалентним кодом EVM, навіть якщо це вимагатиме вищих газових зборів.

Спадкова функція створює великий вузький прохід

Попередня компіляція modexp, ранній компонент Ethereum, обробляє модульне піднесення до степеня — основну операцію в RSA-шифруванні та цифрових підписах. Хоча ця функція була важливою в ранніх криптографічних системах, вона наразі заважає еволюції Ethereum у напрямку технології нульових знань.

Бутерин визнав, що код, який він спочатку розробив, став “тягарем” для сучасних інструментів масштабування. Згідно з його дописом, неефективність modexp збільшує витрати на генерацію ZK-доказів і сповільнює розвиток технологій, таких як ZK-rollups та ZK-EVMs.

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

Низьке використання викликає питання щодо необхідності

Незважаючи на його складність, лише handful програм все ще покладаються на modexp. Бутерин зазначив, що більшість функцій, які його використовують, такі як перевірка RSA або перевірки безпеки мостів, можуть перейти на більш просунуті системи на основі SNARK — криптографічних доказів, які ефективно обробляють ZK обчислення. Він додав, що підтримка оптимізації modexp вимагає “героїчних зусиль”, які не виправдовують його подальше використання, враховуючи його мінімальне впровадження.

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

Ширший рух до ефективної криптографії

Критика Бутеріна вписується в його ширшу кампанію з модернізації криптографічної основи Ethereum. Минулого місяця він детально описав протокол GKR, метод верифікації, здатний обробляти два мільйони обчислень на секунду на стандартному обладнанні.

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

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

Пост Віталіка Бутеріна про необхідність видалення Modexp Precompile, що уповільнює ZK масштабування Ethereum, з'явився на Crypto Front News. Відвідайте наш веб-сайт, щоб прочитати більше цікавих статей про криптовалюту, технологію блокчейн та цифрові активи.