Kakarot: Базирующаяся на Cairo Виртуальная машина Ethereum
Kakarot zkEVM является реализацией виртуальной машины Ethereum (EVM), написанной на языке Cairo. Cairo — это язык, обладающий полной вычислительной мощностью, связанный с CairoVM, который использует полиномы и систему доказательств ZK-STARK для реализации доказуемых вычислений.
Как одна из реализаций zkEVM, Kakarot может генерировать проверяемые транзакции и блоки. Поскольку он основан на CairoVM, каждая транзакция, выполняемая на Kakarot, является проверяемой. В целом, Kakarot zkEVM использует язык Cairo и систему доказательства ZK-STARK для обеспечения проверяемых вычислительных возможностей, позволяя разработчикам развертывать EVM-приложения и позволяя пользователям взаимодействовать с этими приложениями с помощью привычных инструментов.
Кроме того, Kakarot также обеспечит совместимость с протоколом Starknet, предоставляя комбинируемость для протоколов в различных областях, таких как DeFi и GameFi.
Дорожная карта
Проект начался в октябре 2022 года, основной целью является создание zkEVM с открытым исходным кодом и менее чем 10 000 строк кода. Эта цель была достигнута всего за 6 месяцев, и планируется запуск тестовой сети в конце лета 2023 года.
Дорожная карта Kakarot zkEVM делится на три этапа:
Kakarot zkEVM на Starknet: Перенос EVM в Starknet
На этом этапе Kakarot zkEVM будет встроенной EVM в L2 Starknet. Разработчики смогут напрямую развертывать смарт-контракты на Solidity( или любом языке, совместимом с EVM), на Starknet, используя привычные инструменты. Пользовательский опыт будет таким же, как и на Polygon, Scroll или Ethereum L1.
Kakarot x Madara: L3 zkEVM
Kakarot и Madara будут интегрированы в единый стек для активации L3 zkEVM, при необходимости также можно расширить до L4, L5 и т.д. Команды могут развернуть zkEVM приложения, используя доказательства эффективности для расчетов транзакций на Starknet. Такой подход может снизить затраты на газ, повысить производительность, сохраняя при этом безопасность.
Kakarot x Madara: тип 1 zkEVM
Если будут выполнены следующие два условия, Kakarot станет клиентом type 1 zkEVM и сможет подтверждать блоки L1:
Написание правил консенсуса Ethereum на Cairo
Переключение с Pedersen MPT на Keccak MPT
Это более продвинутый случай, зависящий от дорожной карты Ethereum, особенно от обновления Verge.
Команда
Команда Kakarot была создана на хакатоне в Лиссабоне, где около 10 человек за неделю разработали zkEVM. В настоящее время, при поддержке фонда Starknet и Onlydust, Kakarot имеет более 40 уникальных участников.
Ключевые участники включают:
Элиас Тазартес: сооснователь и CEO, сосредоточен на блокчейн-инжиниринге и разработке полного стека
Клеман Уолтер: соучредитель и технический директор, ученый и инженер, обладающий опытом в нескольких областях.
Состояние финансирования
Kakarot завершил финансирование на этапе pre-seed, конкретная сумма не раскрыта. Инвесторы включают Starkware и LambDa. Ангел-инвесторы включают основателя Ethereum Виталика Бутерина, соучредителя Ledger Николя Бака и соучредителя и генерального директора ZAMA Ранда Хинди.
Резюме
Kakarot, как реализация EVM, написанная на Cairo на Starknet, эффективно соединяет экосистемы Starknet и Ethereum. Он снижает барьеры для разработки, позволяя проектам экосистемы Ethereum строиться на Starknet, одновременно сохраняя безопасность и снижая затраты. В будущих этапах будет реализована большая композируемость, например, с такими модулями, как Celestia или EigenDA.
Развитие Kakarot тесно связано с экосистемой Starknet. Он получил поддержку Виталика Бутерина и StarkWare, что является большим преимуществом. Однако, по сравнению с другими проектами zkEVM, команда Kakarot меньше, бюджет и узнаваемость бренда ниже, что также является одной из причин, почему он в настоящее время не развернут в качестве универсальной zkEVM L2.
Kakarot в настоящее время находится на ранней стадии, тестовая сеть скоро будет запущена. Хотя проект сталкивается с вызовами, его уникальная позиция и сильная поддержка делают его перспективным в области zkEVM. По мере развития проекта стоит продолжать следить за его прогрессом.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
12 Лайков
Награда
12
4
Поделиться
комментарий
0/400
BrokenDAO
· 18ч назад
Но это снова EVM, упакованный в Stark, кросс-чейн взаимодействие инертно использует старые ресурсы.
Посмотреть ОригиналОтветить0
gas_fee_therapist
· 08-04 12:03
Ах, этот Starknet действительно вложил много средств!
Посмотреть ОригиналОтветить0
NFTArchaeologis
· 08-04 12:00
Снова в эпохе цифровых сокровищ археологии настороженно изучаю этот объемный код Виртуальной машины.
Посмотреть ОригиналОтветить0
MemeKingNFT
· 08-04 11:42
Звездное ночное небо падение золота падение ZK, посмотрите? На луну Тьюринг завершен — это бесконечная жизнь, выиграли.
Kakarot: реализация Cairo на Starknet для соединения двух экосистем EVM
Kakarot: Базирующаяся на Cairo Виртуальная машина Ethereum
Kakarot zkEVM является реализацией виртуальной машины Ethereum (EVM), написанной на языке Cairo. Cairo — это язык, обладающий полной вычислительной мощностью, связанный с CairoVM, который использует полиномы и систему доказательств ZK-STARK для реализации доказуемых вычислений.
Как одна из реализаций zkEVM, Kakarot может генерировать проверяемые транзакции и блоки. Поскольку он основан на CairoVM, каждая транзакция, выполняемая на Kakarot, является проверяемой. В целом, Kakarot zkEVM использует язык Cairo и систему доказательства ZK-STARK для обеспечения проверяемых вычислительных возможностей, позволяя разработчикам развертывать EVM-приложения и позволяя пользователям взаимодействовать с этими приложениями с помощью привычных инструментов.
Кроме того, Kakarot также обеспечит совместимость с протоколом Starknet, предоставляя комбинируемость для протоколов в различных областях, таких как DeFi и GameFi.
Дорожная карта
Проект начался в октябре 2022 года, основной целью является создание zkEVM с открытым исходным кодом и менее чем 10 000 строк кода. Эта цель была достигнута всего за 6 месяцев, и планируется запуск тестовой сети в конце лета 2023 года.
Дорожная карта Kakarot zkEVM делится на три этапа:
Kakarot zkEVM на Starknet: Перенос EVM в Starknet
На этом этапе Kakarot zkEVM будет встроенной EVM в L2 Starknet. Разработчики смогут напрямую развертывать смарт-контракты на Solidity( или любом языке, совместимом с EVM), на Starknet, используя привычные инструменты. Пользовательский опыт будет таким же, как и на Polygon, Scroll или Ethereum L1.
Kakarot x Madara: L3 zkEVM
Kakarot и Madara будут интегрированы в единый стек для активации L3 zkEVM, при необходимости также можно расширить до L4, L5 и т.д. Команды могут развернуть zkEVM приложения, используя доказательства эффективности для расчетов транзакций на Starknet. Такой подход может снизить затраты на газ, повысить производительность, сохраняя при этом безопасность.
Kakarot x Madara: тип 1 zkEVM
Если будут выполнены следующие два условия, Kakarot станет клиентом type 1 zkEVM и сможет подтверждать блоки L1:
Это более продвинутый случай, зависящий от дорожной карты Ethereum, особенно от обновления Verge.
Команда
Команда Kakarot была создана на хакатоне в Лиссабоне, где около 10 человек за неделю разработали zkEVM. В настоящее время, при поддержке фонда Starknet и Onlydust, Kakarot имеет более 40 уникальных участников.
Ключевые участники включают:
Состояние финансирования
Kakarot завершил финансирование на этапе pre-seed, конкретная сумма не раскрыта. Инвесторы включают Starkware и LambDa. Ангел-инвесторы включают основателя Ethereum Виталика Бутерина, соучредителя Ledger Николя Бака и соучредителя и генерального директора ZAMA Ранда Хинди.
Резюме
Kakarot, как реализация EVM, написанная на Cairo на Starknet, эффективно соединяет экосистемы Starknet и Ethereum. Он снижает барьеры для разработки, позволяя проектам экосистемы Ethereum строиться на Starknet, одновременно сохраняя безопасность и снижая затраты. В будущих этапах будет реализована большая композируемость, например, с такими модулями, как Celestia или EigenDA.
Развитие Kakarot тесно связано с экосистемой Starknet. Он получил поддержку Виталика Бутерина и StarkWare, что является большим преимуществом. Однако, по сравнению с другими проектами zkEVM, команда Kakarot меньше, бюджет и узнаваемость бренда ниже, что также является одной из причин, почему он в настоящее время не развернут в качестве универсальной zkEVM L2.
Kakarot в настоящее время находится на ранней стадии, тестовая сеть скоро будет запущена. Хотя проект сталкивается с вызовами, его уникальная позиция и сильная поддержка делают его перспективным в области zkEVM. По мере развития проекта стоит продолжать следить за его прогрессом.