Kakarot zkEVM: Виртуальная машина Ethereum, написанная на Cairo
Kakarot zkEVM — это Ethereum Виртуальная машина (EVM), написанная на языке Cairo. Cairo — это Turing-совершенный язык, связанный с CairoVM, который использует многочлены и систему доказательства ZK-STARK для реализации доказуемых вычислений.
Особенностью zkEVM является возможность генерировать проверяемые транзакции и блоки. Kakarot построен на CairoVM, поэтому каждая транзакция, выполняемая на его основе, является проверяемой. В целом, Kakarot zkEVM использует систему доказательств ZK-STARK для предоставления проверяемых вычислительных возможностей. Это позволяет разработчикам развертывать приложения EVM и позволяет пользователям взаимодействовать с этими приложениями с использованием знакомых инструментов.
Кроме того, Kakarot также обеспечит взаимодействие с протоколом Starknet, что принесет компоновку для таких областей, как DeFi и GameFi.
Дорожная карта
Проект начался в октябре 2022 года, его цели включают открытый исходный код с самого начала и создание zkEVM с использованием менее чем 10,000 строк кода. Эта цель была достигнута всего за шесть месяцев. Публичный тестнет планируется к выпуску в конце лета 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 zkEVMs, при необходимости также возможно расширение до L4, L5 и так далее. Команда может развернуть zkEVM приложения на цепочке, используя доказательства действительности для расчета транзакций на Starknet. Эта архитектура L3 может отделить безопасность и децентрализацию, позволяя пользователям наслаждаться безопасностью Ethereum L1, одновременно снижая затраты и повышая производительность.
Kakarot x Madara - тип 1 zkEVM
Путем написания правил консенсуса Ethereum на Cairo в полном узле Madara x Kakarot и перехода от дерева Патриции Меркла Педерсена (MPT) к Keccak MPT, Kakarot имеет все шансы стать клиентом zkEVM типа 1, способным подтверждать блоки L1. Реализация этой цели зависит от дорожной карты развития Ethereum, особенно на стадии Verge.
Фон команды
Ядро команды Kakarot возникло на хакатоне в Лиссабоне, где около десяти человек за неделю разработали прототип zkEVM. В настоящее время, при поддержке фонда Starknet и Onlydust, у Kakarot более 40 участников.
В число основных членов входят:
Элиас Тазартес: соучредитель и CEO, сосредоточенный на блокчейн-инжиниринге и полном стек-разработке.
Клемент Уолтер: соучредитель и CTO, имеющий опыт работы ученого, инженера и предпринимателя.
Финансовое положение
Kakarot завершил финансирование на стадии pre-seed, конкретная сумма не раскрыта. Инвесторы включают такие организации, как Starkware, LambDa, а также ангельских инвесторов, таких как Виталик Бутерин, соучредитель Ledger Николас Бака и соучредитель и CEO ZAMA Рэнд Хинди.
Перспективы проекта
Kakarot, как реализация EVM на Starknet, имеет потенциал стать важным мостом между Starknet и экосистемой Ethereum. Он может снизить порог для разработчиков, позволяя проектам из экосистемы Ethereum легче строиться на Starknet, при этом сохраняя безопасность Ethereum и снижая затраты.
Развитие Kakarot тесно связано с экосистемой Starknet. С постоянными обновлениями Starknet, улучшающими пользовательский опыт, Kakarot имеет шанс внести вклад в процветание экосистемы. Однако успех Kakarot также в определенной степени зависит от развития Starknet.
Получение поддержки от Виталика Бутерина и StarkWare является большим преимуществом Kakarot. Однако по сравнению с другими проектами zkEVM команда Kakarot меньше, а бюджет и известность бренда также ниже, что является одной из причин, по которой он в настоящее время не развернут как универсальный zkEVM L2.
Как проект на ранней стадии, развитие Kakarot заслуживает постоянного внимания. Предстоящая публикация тестовой сети станет важной вехой для наблюдения за его техническими возможностями и экологическим потенциалом.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
14 Лайков
Награда
14
4
Поделиться
комментарий
0/400
FloorSweeper
· 21ч назад
эх, еще один хайп zk... ставлю свои 500 эфиров, что это не переживет медвежий рынок, смх
Kakarot zkEVM: Виртуальная машина Ethereum, созданная с помощью языка Cairo, соединяет Starknet и экосистему Ethereum
Kakarot zkEVM: Виртуальная машина Ethereum, написанная на Cairo
Kakarot zkEVM — это Ethereum Виртуальная машина (EVM), написанная на языке Cairo. Cairo — это Turing-совершенный язык, связанный с CairoVM, который использует многочлены и систему доказательства ZK-STARK для реализации доказуемых вычислений.
Особенностью zkEVM является возможность генерировать проверяемые транзакции и блоки. Kakarot построен на CairoVM, поэтому каждая транзакция, выполняемая на его основе, является проверяемой. В целом, Kakarot zkEVM использует систему доказательств ZK-STARK для предоставления проверяемых вычислительных возможностей. Это позволяет разработчикам развертывать приложения EVM и позволяет пользователям взаимодействовать с этими приложениями с использованием знакомых инструментов.
Кроме того, Kakarot также обеспечит взаимодействие с протоколом Starknet, что принесет компоновку для таких областей, как DeFi и GameFi.
Дорожная карта
Проект начался в октябре 2022 года, его цели включают открытый исходный код с самого начала и создание zkEVM с использованием менее чем 10,000 строк кода. Эта цель была достигнута всего за шесть месяцев. Публичный тестнет планируется к выпуску в конце лета 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 zkEVMs, при необходимости также возможно расширение до L4, L5 и так далее. Команда может развернуть zkEVM приложения на цепочке, используя доказательства действительности для расчета транзакций на Starknet. Эта архитектура L3 может отделить безопасность и децентрализацию, позволяя пользователям наслаждаться безопасностью Ethereum L1, одновременно снижая затраты и повышая производительность.
Kakarot x Madara - тип 1 zkEVM
Путем написания правил консенсуса Ethereum на Cairo в полном узле Madara x Kakarot и перехода от дерева Патриции Меркла Педерсена (MPT) к Keccak MPT, Kakarot имеет все шансы стать клиентом zkEVM типа 1, способным подтверждать блоки L1. Реализация этой цели зависит от дорожной карты развития Ethereum, особенно на стадии Verge.
Фон команды
Ядро команды Kakarot возникло на хакатоне в Лиссабоне, где около десяти человек за неделю разработали прототип zkEVM. В настоящее время, при поддержке фонда Starknet и Onlydust, у Kakarot более 40 участников.
В число основных членов входят:
Финансовое положение
Kakarot завершил финансирование на стадии pre-seed, конкретная сумма не раскрыта. Инвесторы включают такие организации, как Starkware, LambDa, а также ангельских инвесторов, таких как Виталик Бутерин, соучредитель Ledger Николас Бака и соучредитель и CEO ZAMA Рэнд Хинди.
Перспективы проекта
Kakarot, как реализация EVM на Starknet, имеет потенциал стать важным мостом между Starknet и экосистемой Ethereum. Он может снизить порог для разработчиков, позволяя проектам из экосистемы Ethereum легче строиться на Starknet, при этом сохраняя безопасность Ethereum и снижая затраты.
Развитие Kakarot тесно связано с экосистемой Starknet. С постоянными обновлениями Starknet, улучшающими пользовательский опыт, Kakarot имеет шанс внести вклад в процветание экосистемы. Однако успех Kakarot также в определенной степени зависит от развития Starknet.
Получение поддержки от Виталика Бутерина и StarkWare является большим преимуществом Kakarot. Однако по сравнению с другими проектами zkEVM команда Kakarot меньше, а бюджет и известность бренда также ниже, что является одной из причин, по которой он в настоящее время не развернут как универсальный zkEVM L2.
Как проект на ранней стадии, развитие Kakarot заслуживает постоянного внимания. Предстоящая публикация тестовой сети станет важной вехой для наблюдения за его техническими возможностями и экологическим потенциалом.