Compass Investments

Соучредитель Эфириума Виталик Бутерин высказал идею отказаться от фундаментальной особенности блокчейна, которую он сам изначально внедрил, аргументируя это тем, что она существенно мешает наращиванию пропускной способности сети.

Предварительно скомпилированная операция модульного возведения в степень, известная как modexp, формирует “бутылочные горлышки” при проверке, которые в 50 раз уступают средним блокам в процессе формирования доказательств с нулевым разглашением, как отмечается в недавнем сообщении Бутерина в X.

Это предложение прозвучало на фоне активизации Эфириумом движения к приватности в инфраструктуре, одновременно устраняя технические барьеры, сдерживающие внедрение Виртуальной Машины Эфириума с нулевым знанием (zkEVM).

Бутерин взял на себя долю ответственности за возникшую проблему, признав, что ему “стыдно”, и выступил за замену этой функции на эквивалентный по вычислениям код, который, хотя и увеличит цену газа, заметно облегчит генерацию доказательств.

Однако modexp действительно серьезно тормозит Эфириум как из-за своей неэффективности, так и из-за того, что его сложность подвергает нашу экосистему значительному риску нарушений консенсуса.

zkEVM генерируют криптографические подтверждения, удостоверяющие вычисления Эфириума вне сети, что позволяет ускорить транзакции без компромиссов в области безопасности.

Компонент отвечающий за создание этих доказательств (prover) сталкивается с серьезными трудностями при обработке вычислений modexp, которые главным образом применяются в функциях шифрования и подписи RSA, используемых в базовых приложениях.

Бутерин пояснил, что вычислительная нагрузка modexp вызывает непропорциональные задержки при получении доказательств, что напрямую замедляет работу роллапов и решений второго уровня, направленных на ускорение Эфириума.

Сложность данной функции также сопряжена с угрозами для консенсуса из-за потенциальных крайних случаев и ошибок, ставящих под угрозу устойчивость сети.

Вместо того чтобы тратить ресурсы на отладку функции, используемой лишь 0,01% пользователей, Бутерин предложил заменить прекомпиляцию на стандартный байткод EVM, дающий аналогичный результат при более высокой плате за газ.

Приложениям, требующим функционала модульной экспоненциации (modexp), можно будет инкапсулировать операции в SNARKs альтернативной системе криптографических доказательств, которая устраняет неэффективность.

Этот компромисс ставит во главу угла надежность экосистемы и прогресс в масштабировании, а не сохранение устаревших элементов с узкой сферой применения, особенно когда Эфириум сталкивается с более насущными задачами по производительности.

Предложенное улучшение Ethereum (EIP) кардинально изменит подход сети к обработке криптографических операций, которые создают проблемы для систем доказательства с нулевым знанием.

В конце октября Фонд Эфириума инициировал проект “Ethereum для институтов”, предлагая корпорациям и финансовым структурам структурированные маршруты для интеграции блокчейна.

В рамках этой программы задействуются доказательства с нулевым разглашением, полностью гомоморфное шифрование и доверенные среды выполнения для обеспечения совместимости приложений с возможностью аудита в публичных сетях.

Такие проекты, как Chainlink, RAILGUN, Aztec Network и Zama, являются новаторами в области конфиденциальных смарт-контрактов, защищающих данные контрагентов и бизнес-логику без ущерба для открытости и композитности.