Один из них, который Binance Research рассмотрел более подробно, — это zkEVM. Сам zkEVM — это виртуальная машина (на Ethereum), которая генерирует доказательства с нулевым разглашением для проверки правильности утверждения. Но это еще не все, и по старинке отчет разбивает различные компоненты zkEVM, чтобы лучше понять их.
Как доказательства с нулевым разглашением, так и виртуальные машины Ethereum — это концепции, которые существуют уже некоторое время, но объединение их полностью работоспособным образом вскоре после слияния Ethereum может снова разжечь дебаты о решениях масштабирования уровня 2.
Есть несколько элементов, которые затрудняют сборку zkEVM. Специальные коды операций, архитектура на основе стека, большие накладные расходы на хранение и высокая стоимость проверки — вот лишь некоторые из них. Однако после успешного внедрения мы, скорее всего, выиграем от более быстрого завершения и эффективности капиталовложений, а также от более безопасного масштабирования в целом.
Поскольку в разных проектах zkEVM используются разные подходы к объединению выполнения EVM с вычислением доказательства с нулевым разглашением, Binance Research более подробно рассмотрит некоторые из проектов, которые в настоящее время создают zkEVM, в следующем разделе своего отчета.
Вступая в продолжающиеся дебаты о том, является ли священным Граалем быть полностью эквивалентным Ethereum, совместимым или узкоспециализированным, мы отвергаем повествование о том, что чем больше вы совместимы с Ethereum, тем лучше вы. Вместо этого мы видим необходимость и варианты использования для всех концов спектра.