Kakarot zkEVM: Виртуальная машина Ethereum, созданная на Cairo
Kakarot zkEVM — это виртуальная машина Ethereum (EVM), написанная на языке Cairo. Cairo — это язык с полной вычислительной мощностью, связанный с CairoVM. CairoVM использует полиномы и систему доказательства ZK-STARK для реализации доказуемых вычислений.
Особенности zkEVM заключаются в том, что он может генерировать доказуемые транзакции и блоки. Kakarot построен на CairoVM, поэтому каждая транзакция, выполняемая на нем, является доказуемой.
В целом, Kakarot zkEVM использует язык Cairo и систему доказательства ZK-STARK для предоставления доказуемой вычислительной мощности. Это позволяет разработчикам развертывать приложения EVM и позволяет пользователям взаимодействовать с этими приложениями, используя знакомые инструменты.
Кроме того, Kakarot также обеспечит возможность взаимодействия с протоколом Starknet, что принесет совместимость для протоколов в таких областях, как DeFi и GameFi.
Дорожная карта
Проект начался в октябре 2022 года с целью создания zkEVM с открытым исходным кодом и менее чем из 10 000 строк кода. Эта цель была достигнута всего за шесть месяцев. Публичный тестнет планируется к запуску в конце лета 2023 года.
Развитие Kakarot zkEVM делится на три этапа:
Этап 1: Реализация Kakarot zkEVM на Starknet
Kakarot zkEVM будет сначала существовать как встроенная EVM в Starknet L2, позволяя разработчикам напрямую разрабатывать смарт-контракты на Solidity (или других языках, совместимых с EVM) на Starknet и использовать привычные инструменты. Пользователи смогут взаимодействовать с dApps с помощью распространённых инструментов. В целом, опыт разработки и использования на Kakarot будет полностью соответствовать опыту на Polygon, Scroll или Ethereum L1.
Этап 2: Слияние Kakarot и Madara --- L3 zkEVMs
Kakarot и Madara будут интегрированы в единую стековую систему, включающую L3 zkEVM, а при необходимости поддерживающую L4, L5 и т.д. Команды смогут развертывать zkEVM приложения, используя доказательства действительности для расчетов транзакций на Starknet. Вычисления выполняются вне цепи или на более высоком уровне, с верификацией на цепи. Эти L3 имеют интересную характеристику: возможность разделить безопасность и децентрализацию. Пользователи могут наслаждаться безопасностью Ethereum L1 без необходимости в том же уровне децентрализации. Однако для rollups децентрализация по-прежнему важна, поскольку она обеспечивает активность и антиконтрольность. Это можно достичь, установив количество сортировщиков в сотни, а не тысячи. Поскольку вычисления выполняются на другом уровне, стоимость газа L3 ниже, чем у L2, а производительность выше. Для дальнейшего снижения затрат можно разделить проверку доказательств и доступность данных (DA). Пользователи могут выбирать разные варианты в зависимости от требований к безопасности.
Этап три: сочетание Kakarot и Madara --- тип 1 zkEVM
Kakarot и Madara также могут объединиться для реализации типа 1 zkEVM. Если это возможно:
Написать правила консенсуса Ethereum с помощью Cairo в полном узле Madara x Kakarot, чтобы доказать консенсус L1.
Переключитесь с Pedersen Merkle Patricia Trie (MPT) на Keccak MPT.
Таким образом, Kakarot сможет стать клиентом типа 1 zkEVM и доказать блоки L1. Это более продвинутый случай использования, который зависит от дорожной карты Ethereum, особенно от этапа Verge. После Verge keccak может быть заменен на poseidon в качестве предпочтительной хэш-функции Ethereum. Это поможет команде zkEVM достичь типа 1, так как основным барьером совместимости zkEVM является распределение хранения, то есть реализация Keccak MPT с доказуемыми и разумными затратами.
Фон команды
Команда Kakarot была создана на хакатоне в Лиссабоне, где около 10 человек за неделю разработали zkEVM.
С поддержкой фонда Starknet и Onlydust, у Kakarot уже более 40 независимых участников.
Elias Tazartes: Соучредитель и CEO Kakarot, специализирующийся на блокчейн-инженерии и полном стековом разработке.
Клемент Уолтер: Соучредитель и CTO Kakarot, называет себя ученым, инженером, предпринимателем и универсалом.
Финансовое состояние
Kakarot завершил предварительное финансирование на этапе посева, конкретная сумма не раскрыта. Инвесторы включают Starkware и LambDa. Ангел-инвесторами являются Виталик Бутерин, соучредитель Ledger Николас Бака и соучредитель и CEO ZAMA Ранд Хинди.
Перспективы проекта
В настоящее время экосистема неподходящих для EVM публичных блокчейнов развивается медленно, большинство экосистем публичных блокчейнов сосредоточено вокруг Ethereum. Kakarot, написанный на Cairo для Starknet, может хорошо соединить экосистемы Starknet и Ethereum, позволяя проектам Ethereum строиться на Starknet, снижая порог разработки и обеспечивая безопасность Ethereum и низкие затраты. На следующих этапах также будет реализована большая совместимость, такая как с модулями Celestia или EigenDA.
Как ZK-EVM на Starknet, Kakarot тесно связан с экосистемой Starknet. Starknet продолжает итеративные обновления, улучшая пользовательский опыт, в то время как ZK-EVM, построенный Kakarot, будет способствовать процветанию экосистемы. Но если Starknet будет развиваться неудачно, Kakarot также пострадает.
Kakarot получил поддержку от Виталия Бутерина и StarkWare, что дало ему как моральную, так и финансовую поддержку, что является большим преимуществом.
Однако по сравнению с другими ZK-EVM Kakarot также сталкивается с вызовами: небольшая команда, низкий бюджет и уровень бренда. Это также одна из причин, по которой Kakarot не была развернута как универсальная zkEVM L2.
Kakarot в настоящее время все еще находится на ранней стадии, тестовая сеть скоро будет запущена, стоит продолжать следить за его развитием.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
10 Лайков
Награда
10
5
Поделиться
комментарий
0/400
EthMaximalist
· 14ч назад
Есть что-то интересное, неплохо
Посмотреть ОригиналОтветить0
NFTArchaeologis
· 14ч назад
Новая глава Древних свитков цифрового мира
Посмотреть ОригиналОтветить0
MrDecoder
· 15ч назад
Выграли кучу денег, Виталик Бутерин вышел на сцену
Посмотреть ОригиналОтветить0
RugPullAlarm
· 15ч назад
Разве не прекрасно, если есть поддержка vb? Так называемая маленькая команда с большой вероятностью является финансовой схемой.
Посмотреть ОригиналОтветить0
GateUser-2fce706c
· 15ч назад
Я давно говорил, что трасса zkEVM — это настоящий код богатства. Три года не поздно!
Kakarot zkEVM: приложение AppChain, созданное с помощью Cairo
Kakarot zkEVM: Виртуальная машина Ethereum, созданная на Cairo
Kakarot zkEVM — это виртуальная машина Ethereum (EVM), написанная на языке Cairo. Cairo — это язык с полной вычислительной мощностью, связанный с CairoVM. CairoVM использует полиномы и систему доказательства ZK-STARK для реализации доказуемых вычислений.
Особенности zkEVM заключаются в том, что он может генерировать доказуемые транзакции и блоки. Kakarot построен на CairoVM, поэтому каждая транзакция, выполняемая на нем, является доказуемой.
В целом, Kakarot zkEVM использует язык Cairo и систему доказательства ZK-STARK для предоставления доказуемой вычислительной мощности. Это позволяет разработчикам развертывать приложения EVM и позволяет пользователям взаимодействовать с этими приложениями, используя знакомые инструменты.
Кроме того, Kakarot также обеспечит возможность взаимодействия с протоколом Starknet, что принесет совместимость для протоколов в таких областях, как DeFi и GameFi.
Дорожная карта
Проект начался в октябре 2022 года с целью создания zkEVM с открытым исходным кодом и менее чем из 10 000 строк кода. Эта цель была достигнута всего за шесть месяцев. Публичный тестнет планируется к запуску в конце лета 2023 года.
Развитие Kakarot zkEVM делится на три этапа:
Kakarot zkEVM будет сначала существовать как встроенная EVM в Starknet L2, позволяя разработчикам напрямую разрабатывать смарт-контракты на Solidity (или других языках, совместимых с EVM) на Starknet и использовать привычные инструменты. Пользователи смогут взаимодействовать с dApps с помощью распространённых инструментов. В целом, опыт разработки и использования на Kakarot будет полностью соответствовать опыту на Polygon, Scroll или Ethereum L1.
Kakarot и Madara будут интегрированы в единую стековую систему, включающую L3 zkEVM, а при необходимости поддерживающую L4, L5 и т.д. Команды смогут развертывать zkEVM приложения, используя доказательства действительности для расчетов транзакций на Starknet. Вычисления выполняются вне цепи или на более высоком уровне, с верификацией на цепи. Эти L3 имеют интересную характеристику: возможность разделить безопасность и децентрализацию. Пользователи могут наслаждаться безопасностью Ethereum L1 без необходимости в том же уровне децентрализации. Однако для rollups децентрализация по-прежнему важна, поскольку она обеспечивает активность и антиконтрольность. Это можно достичь, установив количество сортировщиков в сотни, а не тысячи. Поскольку вычисления выполняются на другом уровне, стоимость газа L3 ниже, чем у L2, а производительность выше. Для дальнейшего снижения затрат можно разделить проверку доказательств и доступность данных (DA). Пользователи могут выбирать разные варианты в зависимости от требований к безопасности.
Kakarot и Madara также могут объединиться для реализации типа 1 zkEVM. Если это возможно:
Таким образом, Kakarot сможет стать клиентом типа 1 zkEVM и доказать блоки L1. Это более продвинутый случай использования, который зависит от дорожной карты Ethereum, особенно от этапа Verge. После Verge keccak может быть заменен на poseidon в качестве предпочтительной хэш-функции Ethereum. Это поможет команде zkEVM достичь типа 1, так как основным барьером совместимости zkEVM является распределение хранения, то есть реализация Keccak MPT с доказуемыми и разумными затратами.
Фон команды
Команда Kakarot была создана на хакатоне в Лиссабоне, где около 10 человек за неделю разработали zkEVM.
С поддержкой фонда Starknet и Onlydust, у Kakarot уже более 40 независимых участников.
Elias Tazartes: Соучредитель и CEO Kakarot, специализирующийся на блокчейн-инженерии и полном стековом разработке.
Клемент Уолтер: Соучредитель и CTO Kakarot, называет себя ученым, инженером, предпринимателем и универсалом.
Финансовое состояние
Kakarot завершил предварительное финансирование на этапе посева, конкретная сумма не раскрыта. Инвесторы включают Starkware и LambDa. Ангел-инвесторами являются Виталик Бутерин, соучредитель Ledger Николас Бака и соучредитель и CEO ZAMA Ранд Хинди.
Перспективы проекта
В настоящее время экосистема неподходящих для EVM публичных блокчейнов развивается медленно, большинство экосистем публичных блокчейнов сосредоточено вокруг Ethereum. Kakarot, написанный на Cairo для Starknet, может хорошо соединить экосистемы Starknet и Ethereum, позволяя проектам Ethereum строиться на Starknet, снижая порог разработки и обеспечивая безопасность Ethereum и низкие затраты. На следующих этапах также будет реализована большая совместимость, такая как с модулями Celestia или EigenDA.
Как ZK-EVM на Starknet, Kakarot тесно связан с экосистемой Starknet. Starknet продолжает итеративные обновления, улучшая пользовательский опыт, в то время как ZK-EVM, построенный Kakarot, будет способствовать процветанию экосистемы. Но если Starknet будет развиваться неудачно, Kakarot также пострадает.
Kakarot получил поддержку от Виталия Бутерина и StarkWare, что дало ему как моральную, так и финансовую поддержку, что является большим преимуществом.
Однако по сравнению с другими ZK-EVM Kakarot также сталкивается с вызовами: небольшая команда, низкий бюджет и уровень бренда. Это также одна из причин, по которой Kakarot не была развернута как универсальная zkEVM L2.
Kakarot в настоящее время все еще находится на ранней стадии, тестовая сеть скоро будет запущена, стоит продолжать следить за его развитием.