Validity Rollups: Золотой путь масштабирования Ethereum
Validity Rollups (VRs) считаются самой многообещающей технологией для повышения пропускной способности Ethereum безопасным и децентрализованным способом. В этой области zkEVM и Cairo VM (CVM) являются двумя основными реализациями виртуальных машин.
zkEVM сосредоточен на совместимости с Ethereum, но этот выбор в определенной степени жертвует производительностью и масштабируемостью. В отличие от этого, Cairo VM, используемая Starknet, ставит производительность и масштабируемость на первое место, а не полную совместимость.
Ядром Validity Rollups является использование доказательств корректности для проведения проверяемых вычислений. Их работа заключается в переносе обработки транзакций в среду вне цепочки, то есть на втором уровне. После обработки большого количества транзакций оператор отправляет результаты и доказательства обратно в основную сеть Ethereum, где смарт-контракт проверяет целостность выполнения.
Стоит отметить, что термин "нулевые знания агрегат" хотя и часто используется, на самом деле не является точным. Большинство Validity Rollup не используют доказательства нулевых знаний и не предназначены для защиты конфиденциальности.
Виртуальная машина — это среда, в которой можно выполнять программы, как, например, запуск Windows на Mac. Эфирная виртуальная машина (EVM) — это среда для выполнения смарт-контрактов Ethereum. А нулевая знаниевая виртуальная машина (zkVM) — это особая среда выполнения, которая не только выполняет программы, но и генерирует легко проверяемые доказательства их действительности.
zkEVM пытается воспроизвести опыт Ethereum на втором уровне, позволяя разработчикам наслаждаться большей масштабируемостью без необходимости изменять код или инструменты. Однако этот подход также несет в себе некоторые вызовы, в первую очередь потому, что при проектировании EVM не учитывалась эффективность доказательства.
Стековая модель EVM, зависимость от хеша Keccak и больших деревьев Меркла-Патриция делают создание доказательств корректности сложным и ресурсоемким. Вот почему различные реализации zkEVM делают разные компромиссы между совместимостью с Ethereum и производительностью.
В отличие от этого, Cairo VM специально разработан для эффективной генерации доказательств корректности. Он использует новый язык высокого уровня Cairo, который оптимизирован для генерации доказательств. Преимущества Cairo VM включают:
Каждая команда имеет эффективное алгебраическое представление
Языки, подобные Rust, используются для написания проверяемых программ
Промежуточное представление между высокоуровневым Cairo и сборкой Cairo улучшило эффективность выполнения.
Cairo не только упрощает процесс доказательства сложных вычислений, но и предоставляет разработчикам множество вариантов кодирования. Разработчики могут писать код непосредственно на Cairo, а также использовать Solidity через транслятор или запуская его на zkEVM в Starknet.
Несмотря на то, что Cairo все еще молод, он уже стал четвертым по величине языком смарт-контрактов по TVL, привлекая значительные объемы инвестиций.
В целом, zkEVM и Cairo VM представляют собой два различных подхода к масштабированию. zkEVM стремится воспроизвести среду Ethereum, но может ограничить потенциал системы доказательства. Cairo VM, с другой стороны, специально разработан для системы доказательства, хотя и жертвует некоторой совместимостью, но имеет явные преимущества в эффективности и масштабируемости.
С развитием приложений на Starknet, Cairo демонстрирует свою мощную потенцию. В будущем у разработчиков будет больше возможностей для масштабирования блокчейна, и Validity Rollups, безусловно, сыграют важную роль на пути расширения Ethereum.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
12 Лайков
Награда
12
2
Репост
Поделиться
комментарий
0/400
WalletDivorcer
· 18ч назад
Играл так долго, все равно не понимаю, что такое layer2.
Validity Rollups: zkEVM и Cairo VM ведут новую эпоху масштабирования Ethereum
Validity Rollups: Золотой путь масштабирования Ethereum
Validity Rollups (VRs) считаются самой многообещающей технологией для повышения пропускной способности Ethereum безопасным и децентрализованным способом. В этой области zkEVM и Cairo VM (CVM) являются двумя основными реализациями виртуальных машин.
zkEVM сосредоточен на совместимости с Ethereum, но этот выбор в определенной степени жертвует производительностью и масштабируемостью. В отличие от этого, Cairo VM, используемая Starknet, ставит производительность и масштабируемость на первое место, а не полную совместимость.
Ядром Validity Rollups является использование доказательств корректности для проведения проверяемых вычислений. Их работа заключается в переносе обработки транзакций в среду вне цепочки, то есть на втором уровне. После обработки большого количества транзакций оператор отправляет результаты и доказательства обратно в основную сеть Ethereum, где смарт-контракт проверяет целостность выполнения.
Стоит отметить, что термин "нулевые знания агрегат" хотя и часто используется, на самом деле не является точным. Большинство Validity Rollup не используют доказательства нулевых знаний и не предназначены для защиты конфиденциальности.
Виртуальная машина — это среда, в которой можно выполнять программы, как, например, запуск Windows на Mac. Эфирная виртуальная машина (EVM) — это среда для выполнения смарт-контрактов Ethereum. А нулевая знаниевая виртуальная машина (zkVM) — это особая среда выполнения, которая не только выполняет программы, но и генерирует легко проверяемые доказательства их действительности.
zkEVM пытается воспроизвести опыт Ethereum на втором уровне, позволяя разработчикам наслаждаться большей масштабируемостью без необходимости изменять код или инструменты. Однако этот подход также несет в себе некоторые вызовы, в первую очередь потому, что при проектировании EVM не учитывалась эффективность доказательства.
Стековая модель EVM, зависимость от хеша Keccak и больших деревьев Меркла-Патриция делают создание доказательств корректности сложным и ресурсоемким. Вот почему различные реализации zkEVM делают разные компромиссы между совместимостью с Ethereum и производительностью.
В отличие от этого, Cairo VM специально разработан для эффективной генерации доказательств корректности. Он использует новый язык высокого уровня Cairo, который оптимизирован для генерации доказательств. Преимущества Cairo VM включают:
Cairo не только упрощает процесс доказательства сложных вычислений, но и предоставляет разработчикам множество вариантов кодирования. Разработчики могут писать код непосредственно на Cairo, а также использовать Solidity через транслятор или запуская его на zkEVM в Starknet.
Несмотря на то, что Cairo все еще молод, он уже стал четвертым по величине языком смарт-контрактов по TVL, привлекая значительные объемы инвестиций.
В целом, zkEVM и Cairo VM представляют собой два различных подхода к масштабированию. zkEVM стремится воспроизвести среду Ethereum, но может ограничить потенциал системы доказательства. Cairo VM, с другой стороны, специально разработан для системы доказательства, хотя и жертвует некоторой совместимостью, но имеет явные преимущества в эффективности и масштабируемости.
С развитием приложений на Starknet, Cairo демонстрирует свою мощную потенцию. В будущем у разработчиков будет больше возможностей для масштабирования блокчейна, и Validity Rollups, безусловно, сыграют важную роль на пути расширения Ethereum.