Валидационные Роллы: лучший выбор для масштабирования Ethereum?
Validity Rollups (также известные как zk-rollups) считаются самым многообещающим решением для повышения пропускной способности Ethereum безопасным и децентрализованным способом. Основой этого решения для масштабирования является использование доказательства действительности для проверки вычислений. Его принцип работы следующий:
Операторы выгружают выполнение транзакций в среду вне цепи (2-й уровень). После обработки большого объема транзакций операторы 2-го уровня возвращают результаты для применения к состоянию Ethereum, одновременно предоставляя доказательства действительности целостности выполнения вне цепи. Это доказательство гарантирует, что все транзакции в партии являются действительными и автоматически проверяются контрактом валидаторов на цепи. Это позволяет Ethereum применять результаты к своему состоянию.
Стоит отметить, что Validity Rollups обычно ошибочно называют нулевыми знаниями свертки, но это не точно. Большинство Validity Rollup не используют доказательства с нулевым знанием и не предназначены для обеспечения конфиденциальности. Поэтому термин "Validity Rollup" более уместен.
В Validity Rollups zkEVM и Cairo VM (CVM) являются двумя распространенными типами виртуальных машин. zkEVM сосредоточен на совместимости с Ethereum, но жертвует производительностью и масштабируемостью. В то время как Cairo VM, используемый Starknet, ставит производительность и масштабируемость выше совместимости.
Виртуальная машина ( VM ) — это среда, в которой можно запускать программы, аналогичная запуску операционной системы Windows на Mac. Она переключается между разными состояниями в ответ на определённые входные данные. Эфирная виртуальная машина ( EVM ) — это VM, на которой выполняются смарт-контракты Ethereum.
Нулевое знание виртуальной машины (zkVM) — это среда выполнения программ, которая может генерировать легко проверяемые доказательства действительности, чтобы подтвердить, что программа была выполнена правильно. "zkEVM" обычно относится к использованию Эфирной виртуальной машины (EVM) и возможности доказать выполнение EVM. Этот термин может быть вводящим в заблуждение, поскольку сама EVM не генерирует эти доказательства; доказательства создаются независимым механизмом доказательства, который основан на результатах выполнения EVM. Кроме того, эти доказательства в основном сосредоточены на действительности, а не на конфиденциальности, поэтому их нельзя считать строго нулевыми доказательствами.
zkEVM направлен на полное внедрение опыта Ethereum в Layer-2 блокчейны. Он пытается воспроизвести окружение Ethereum для разработчиков, позволяя им писать или портировать смарт-контракты на более масштабируемые решения без изменения кода или отказа от инструментов EVM. Однако основным недостатком этого подхода является снижение потенциала масштабирования доказательства эффективности. Из-за приверженности совместимости с Ethereum, скорость zkEVM медленнее, а потребление ресурсов выше.
В сравнении, Starknet использует Cairo VM (CVM), это новая VM, специально разработанная для оптимизации эффективности доказательства. Cairo VM позволяет разработчикам настраивать её в соответствии с конкретными требованиями и предоставляет функции, соответствующие новым потребностям.
Язык Cairo изначально был разработан для упрощения процесса создания доказательств вычислительной эффективности. Программы Cairo компилируются в алгебраический машинный код, который выполняется фиксированной виртуальной машиной. Этот подход позволяет разработчикам использовать доказательства эффективности для масштабирования своих приложений, не углубляясь в основы математики и инфраструктуры.
Starknet предлагает разнообразные методы кодирования. Разработчики могут выбирать, писать ли код нативно на Cairo или использовать инструменты совместимости с Solidity. Например, компилятор Warp может транслировать код Solidity в Cairo, а Kakarot - это zkEVM, написанный на Cairo, который может запускать Ethereum смарт-контракты на Starknet.
В целом, zkEVM нацелен на воспроизведение среды Ethereum, но может ограничить потенциал доказательства действительности. Cairo VM, с другой стороны, специально разработан для систем доказательства действительности и не подвержен ограничениям EVM, предлагая более высокую эффективность и гибкость. С постоянным развитием экосистемы Starknet разработчики теперь обладают беспрецедентными возможностями контроля расширения блокчейна.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Validity Rollups и zkEVM: обсуждение достоинств и недостатков решений по масштабированию Ethereum
Валидационные Роллы: лучший выбор для масштабирования Ethereum?
Validity Rollups (также известные как zk-rollups) считаются самым многообещающим решением для повышения пропускной способности Ethereum безопасным и децентрализованным способом. Основой этого решения для масштабирования является использование доказательства действительности для проверки вычислений. Его принцип работы следующий:
Операторы выгружают выполнение транзакций в среду вне цепи (2-й уровень). После обработки большого объема транзакций операторы 2-го уровня возвращают результаты для применения к состоянию Ethereum, одновременно предоставляя доказательства действительности целостности выполнения вне цепи. Это доказательство гарантирует, что все транзакции в партии являются действительными и автоматически проверяются контрактом валидаторов на цепи. Это позволяет Ethereum применять результаты к своему состоянию.
Стоит отметить, что Validity Rollups обычно ошибочно называют нулевыми знаниями свертки, но это не точно. Большинство Validity Rollup не используют доказательства с нулевым знанием и не предназначены для обеспечения конфиденциальности. Поэтому термин "Validity Rollup" более уместен.
В Validity Rollups zkEVM и Cairo VM (CVM) являются двумя распространенными типами виртуальных машин. zkEVM сосредоточен на совместимости с Ethereum, но жертвует производительностью и масштабируемостью. В то время как Cairo VM, используемый Starknet, ставит производительность и масштабируемость выше совместимости.
Виртуальная машина ( VM ) — это среда, в которой можно запускать программы, аналогичная запуску операционной системы Windows на Mac. Она переключается между разными состояниями в ответ на определённые входные данные. Эфирная виртуальная машина ( EVM ) — это VM, на которой выполняются смарт-контракты Ethereum.
Нулевое знание виртуальной машины (zkVM) — это среда выполнения программ, которая может генерировать легко проверяемые доказательства действительности, чтобы подтвердить, что программа была выполнена правильно. "zkEVM" обычно относится к использованию Эфирной виртуальной машины (EVM) и возможности доказать выполнение EVM. Этот термин может быть вводящим в заблуждение, поскольку сама EVM не генерирует эти доказательства; доказательства создаются независимым механизмом доказательства, который основан на результатах выполнения EVM. Кроме того, эти доказательства в основном сосредоточены на действительности, а не на конфиденциальности, поэтому их нельзя считать строго нулевыми доказательствами.
zkEVM направлен на полное внедрение опыта Ethereum в Layer-2 блокчейны. Он пытается воспроизвести окружение Ethereum для разработчиков, позволяя им писать или портировать смарт-контракты на более масштабируемые решения без изменения кода или отказа от инструментов EVM. Однако основным недостатком этого подхода является снижение потенциала масштабирования доказательства эффективности. Из-за приверженности совместимости с Ethereum, скорость zkEVM медленнее, а потребление ресурсов выше.
В сравнении, Starknet использует Cairo VM (CVM), это новая VM, специально разработанная для оптимизации эффективности доказательства. Cairo VM позволяет разработчикам настраивать её в соответствии с конкретными требованиями и предоставляет функции, соответствующие новым потребностям.
Язык Cairo изначально был разработан для упрощения процесса создания доказательств вычислительной эффективности. Программы Cairo компилируются в алгебраический машинный код, который выполняется фиксированной виртуальной машиной. Этот подход позволяет разработчикам использовать доказательства эффективности для масштабирования своих приложений, не углубляясь в основы математики и инфраструктуры.
Starknet предлагает разнообразные методы кодирования. Разработчики могут выбирать, писать ли код нативно на Cairo или использовать инструменты совместимости с Solidity. Например, компилятор Warp может транслировать код Solidity в Cairo, а Kakarot - это zkEVM, написанный на Cairo, который может запускать Ethereum смарт-контракты на Starknet.
В целом, zkEVM нацелен на воспроизведение среды Ethereum, но может ограничить потенциал доказательства действительности. Cairo VM, с другой стороны, специально разработан для систем доказательства действительности и не подвержен ограничениям EVM, предлагая более высокую эффективность и гибкость. С постоянным развитием экосистемы Starknet разработчики теперь обладают беспрецедентными возможностями контроля расширения блокчейна.