Исследование сводной эффективности: Сравнительный анализ zkEVM и Cairo VM
Сводка о действительности ( Validity Rollups ) считаются лучшим вариантом для увеличения пропускной способности Ethereum безопасным и децентрализованным способом. В рамках Validity Rollups, zkEVM и Cairo VM ( CVM ) являются двумя основными типами используемых виртуальных машин.
zkEVM сосредоточен на совместимости с Ethereum, но жертвует производительностью и масштабируемостью. В то время как Cairo VM, используемый Starknet, ставит производительность и масштабируемость выше совместимости.
Суть сводки эффективности заключается в использовании доказательства эффективности для выполнения проверяемых вычислений. Они работают, разгружая выполнение транзакций в среду вне цепи ( второго уровня ). Операторы второго уровня, после обработки большого объема транзакций, возвращают результаты и доказательства эффективности целостности выполнения вне цепи в основную сеть Ethereum. Этот подход может значительно увеличить пропускную способность транзакций Ethereum.
Виртуальная машина ( VM ) является средой для выполнения программ. zkVM — это специальная виртуальная машина, которая может генерировать легко проверяемые доказательства действительности, чтобы подтвердить, что программа была выполнена корректно. zkEVM обычно относится к сводной системе, способной доказывать выполнение EVM.
Хотя zkEVM и CVM предназначены для расширения Ethereum с помощью доказательства эффективности, у них есть различия в выборе виртуальной машины для выполнения транзакций вне цепи. zkEVM пытается воспроизвести опыт Ethereum на L2-суммировании, в то время как CVM разработан специально для оптимизации эффективности доказательства эффективности.
Цель zkEVM состоит в том, чтобы полностью перенести среду разработки Ethereum в сеть второго уровня. Это позволяет разработчикам переносить смарт-контракты в более масштабируемые решения без необходимости изменения кода или отказа от инструментов EVM. Однако основным недостатком этого подхода является снижение потенциала масштабируемости доказательства эффективности. Поскольку EVM не учитывал эффективность доказательства при проектировании, это ограничивает общие возможности оптимизации производительности системы.
EVM-у предъявляются некоторые вызовы в отношении доказуемости:
EVM использует модель на основе стека, в то время как доказательство эффективности больше подходит для модели на основе регистров.
Хранение данных в Ethereum серьезно зависит от Keccak и больших деревьев Merkle Patricia, которые не способствуют генерации доказательств действительности.
Таким образом, различные решения zkEVM имеют разный уровень поддержки инструментов Ethereum — чем выше совместимость с Ethereum, тем хуже производительность.
В отличие от этого, Cairo VM использует совершенно новый специализированный дизайн виртуальной машины и добавляет поддержку инструментов Ethereum в качестве дополнительного слоя. CVM разработан для эффективного создания доказательства выполнения программ с следующими преимуществами:
Алгебраическое представление каждой инструкции эффективно, оптимизируя генерацию доказательства эффективности.
Предоставить язык высокого уровня, подобный Rust, для написания программ с доказательствами.
Промежуточное представление между продвинутым Cairo и сборкой Cairo (Sierra) обеспечивает эффективное выполнение.
Язык Cairo упрощает сложность создания математических ограничений для описания вычислений, позволяя разработчикам использовать доказательства корректности и расширять приложения без необходимости понимания базовой математики.
Starknet поддерживает разнообразные методы кодирования:
Пишите код непосредственно на Cairo.
Преобразование кода Solidity в Cairo с помощью Warp транслятора.
Запуск zkEVM( на Starknet, как в проекте Kakarot), для обеспечения совместимости с умными контрактами Ethereum.
В целом, zkEVM стремится воспроизвести среду Ethereum, но ограничивает весь потенциал доказательства действительности. Cairo VM, с другой стороны, специально разработан для систем доказательства действительности и не подвержен ограничениям EVM, что позволяет достичь более высокой эффективности масштабирования Ethereum. С быстрым развитием экосистемы Cairo у разработчиков теперь есть множество вариантов для масштабирования блокчейн-приложений.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
18 Лайков
Награда
18
5
Репост
Поделиться
комментарий
0/400
APY追逐者
· 08-14 06:22
Зачем zk такой сильный, если не выходить на Основная сеть?
Посмотреть ОригиналОтветить0
LayerZeroHero
· 08-13 15:48
Производительность и совместимость действительно являются вечной технической проблемой. Мы провели эксперименты в течение недели и пришли к этому выводу.
Посмотреть ОригиналОтветить0
SerumSquirter
· 08-11 19:12
Это старый Майнер, стремящийся к максимальному tps.
Посмотреть ОригиналОтветить0
DaoResearcher
· 08-11 19:07
Ссылаясь на статью VB, P267, L2 совместимость не является оптимальным выбором.
zkEVM и Cairo VM: Сравнение двух виртуальных машин в сводке о действительности
Исследование сводной эффективности: Сравнительный анализ zkEVM и Cairo VM
Сводка о действительности ( Validity Rollups ) считаются лучшим вариантом для увеличения пропускной способности Ethereum безопасным и децентрализованным способом. В рамках Validity Rollups, zkEVM и Cairo VM ( CVM ) являются двумя основными типами используемых виртуальных машин.
zkEVM сосредоточен на совместимости с Ethereum, но жертвует производительностью и масштабируемостью. В то время как Cairo VM, используемый Starknet, ставит производительность и масштабируемость выше совместимости.
Суть сводки эффективности заключается в использовании доказательства эффективности для выполнения проверяемых вычислений. Они работают, разгружая выполнение транзакций в среду вне цепи ( второго уровня ). Операторы второго уровня, после обработки большого объема транзакций, возвращают результаты и доказательства эффективности целостности выполнения вне цепи в основную сеть Ethereum. Этот подход может значительно увеличить пропускную способность транзакций Ethereum.
Виртуальная машина ( VM ) является средой для выполнения программ. zkVM — это специальная виртуальная машина, которая может генерировать легко проверяемые доказательства действительности, чтобы подтвердить, что программа была выполнена корректно. zkEVM обычно относится к сводной системе, способной доказывать выполнение EVM.
Хотя zkEVM и CVM предназначены для расширения Ethereum с помощью доказательства эффективности, у них есть различия в выборе виртуальной машины для выполнения транзакций вне цепи. zkEVM пытается воспроизвести опыт Ethereum на L2-суммировании, в то время как CVM разработан специально для оптимизации эффективности доказательства эффективности.
Цель zkEVM состоит в том, чтобы полностью перенести среду разработки Ethereum в сеть второго уровня. Это позволяет разработчикам переносить смарт-контракты в более масштабируемые решения без необходимости изменения кода или отказа от инструментов EVM. Однако основным недостатком этого подхода является снижение потенциала масштабируемости доказательства эффективности. Поскольку EVM не учитывал эффективность доказательства при проектировании, это ограничивает общие возможности оптимизации производительности системы.
EVM-у предъявляются некоторые вызовы в отношении доказуемости:
EVM использует модель на основе стека, в то время как доказательство эффективности больше подходит для модели на основе регистров.
Хранение данных в Ethereum серьезно зависит от Keccak и больших деревьев Merkle Patricia, которые не способствуют генерации доказательств действительности.
Таким образом, различные решения zkEVM имеют разный уровень поддержки инструментов Ethereum — чем выше совместимость с Ethereum, тем хуже производительность.
В отличие от этого, Cairo VM использует совершенно новый специализированный дизайн виртуальной машины и добавляет поддержку инструментов Ethereum в качестве дополнительного слоя. CVM разработан для эффективного создания доказательства выполнения программ с следующими преимуществами:
Алгебраическое представление каждой инструкции эффективно, оптимизируя генерацию доказательства эффективности.
Предоставить язык высокого уровня, подобный Rust, для написания программ с доказательствами.
Промежуточное представление между продвинутым Cairo и сборкой Cairo (Sierra) обеспечивает эффективное выполнение.
Язык Cairo упрощает сложность создания математических ограничений для описания вычислений, позволяя разработчикам использовать доказательства корректности и расширять приложения без необходимости понимания базовой математики.
Starknet поддерживает разнообразные методы кодирования:
Пишите код непосредственно на Cairo.
Преобразование кода Solidity в Cairo с помощью Warp транслятора.
Запуск zkEVM( на Starknet, как в проекте Kakarot), для обеспечения совместимости с умными контрактами Ethereum.
В целом, zkEVM стремится воспроизвести среду Ethereum, но ограничивает весь потенциал доказательства действительности. Cairo VM, с другой стороны, специально разработан для систем доказательства действительности и не подвержен ограничениям EVM, что позволяет достичь более высокой эффективности масштабирования Ethereum. С быстрым развитием экосистемы Cairo у разработчиков теперь есть множество вариантов для масштабирования блокчейн-приложений.