Kakarot zkEVM: Виртуальная машина Ethereum на базе Cairo
Kakarot zkEVM — это реализация виртуальной машины Ethereum (EVM), написанная на языке Cairo. Cairo — это полнофункциональный язык программирования, связанный с CairoVM, который использует многочлены и систему доказательства ZK-STARK для реализации проверяемых вычислений.
В качестве zkEVM, Kakarot может генерировать проверяемые транзакции и блоки. Поскольку он основан на CairoVM, каждая транзакция, выполненная на Kakarot, является проверяемой. Это позволяет разработчикам развертывать EVM-приложения на Kakarot, одновременно позволяя пользователям взаимодействовать с этими приложениями с помощью знакомых инструментов.
Kakarot также обеспечит интероперабельность с протоколом Starknet, что принесет совместимость для различных протоколов в таких областях, как DeFi и GameFi.
Дорожная карта
Проект Kakarot был запущен в октябре 2022 года с целью создать zkEVM с открытым исходным кодом и менее чем 10,000 строк кода. Эта цель была достигнута всего за шесть месяцев, и тестовая сеть планируется к запуску в конце лета 2023 года.
Дорожная карта Kakarot zkEVM разделена на три этапа:
Kakarot zkEVM на Starknet: Перенос EVM в Starknet
В качестве встроенной EVM в Starknet L2 разработчики могут напрямую развертывать смарт-контракты на Solidity (или любом языке, совместимом с EVM) и использовать знакомые инструменты. Пользовательский опыт будет таким же, как на Polygon, Scroll или Ethereum L1.
Kakarot x Madara: L3 zkEVM
Интеграция Kakarot и Madara для реализации L3 zkEVM, а также более высоких уровней. Команда может развертывать zkEVM приложения, используя доказательства достоверности для расчетов транзакций на Starknet. Этот подход позволяет разделить безопасность и децентрализацию, одновременно снижая затраты и повышая производительность.
Kakarot x Madara: тип 1 zkEVM
Путем написания правил консенсуса Ethereum на Cairo в полном узле Madara x Kakarot и переключения с Pedersen MPT на Keccak MPT, Kakarot имеет все шансы стать клиентом типа 1 zkEVM, способным подтверждать блоки L1.
Фоновая информация о команде
Команда Kakarot была создана на хакатоне в Лиссабоне. В настоящее время при поддержке фонда Starknet и Onlydust Kakarot имеет более 40 уникальных участников.
Основные члены включают:
Элиас Тазартес: соучредитель и генеральный директор, фокусируется на блокчейн-инженерии и полнофункциональной разработке.
Клеман Уолтер: соучредитель и технический директор, ученый, инженер и предприниматель.
Финансовая ситуация
Kakarot завершил раунд предварительного финансирования, конкретная сумма не раскрыта. Инвесторы включают Starkware и LambDa. Ангел-инвесторы включают Виталика Бутерина, соучредителя Ledger Николаса Баки и соучредителя и CEO ZAMA Ранда Хинди.
Преимущества и вызовы проекта
Kakarot как EVM, написанная на Cairo для Starknet, отлично соединяет Starknet и экосистему Ethereum. Это снижает порог входа для разработчиков, позволяя проектам экосистемы Ethereum строить на Starknet, сохраняя при этом безопасность Ethereum и снижая затраты.
Тем не менее, развитие Kakarot тесно связано с экосистемой Starknet. Если у Starknet возникнут проблемы с развитием, это также повлияет на Kakarot. В отличие от других проектов zkEVM, команда Kakarot меньше по размеру, а также имеет более низкий бюджет и уровень известности бренда, что является одной из причин, по которой в настоящее время он не развернут в качестве универсального zkEVM L2.
Тем не менее, Kakarot получил поддержку от Виталика Бутерина и StarkWare, что является важным вкладом как в финансовом, так и в моральном плане. Проект все еще находится на ранней стадии, тестовая сеть вскоре будет запущена, и стоит продолжать следить за его развитием.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
18 Лайков
Награда
18
6
Поделиться
комментарий
0/400
OldLeekNewSickle
· 07-23 00:38
Есть поддержка Виталик Бутерин? Старый лук снова поднимает волну.
Посмотреть ОригиналОтветить0
ContractHunter
· 07-22 18:53
Пан это! Виталик Бутерин уже поддерживает.
Посмотреть ОригиналОтветить0
MemeCoinSavant
· 07-20 01:32
основывающиеся на zkvm исследования только что Падение fr fr
Посмотреть ОригиналОтветить0
MetaLord420
· 07-20 01:30
Виталик Бутерин снова делает ставку на новый проект? Посмотрим
Посмотреть ОригиналОтветить0
GasGasGasBro
· 07-20 01:27
Виталик Бутерин поддерживает, это действительно неплохо
Kakarot zkEVM: Виртуальная машина Ethereum, построенная на Cairo, скоро войдет в Starknet
Kakarot zkEVM: Виртуальная машина Ethereum на базе Cairo
Kakarot zkEVM — это реализация виртуальной машины Ethereum (EVM), написанная на языке Cairo. Cairo — это полнофункциональный язык программирования, связанный с CairoVM, который использует многочлены и систему доказательства ZK-STARK для реализации проверяемых вычислений.
В качестве zkEVM, Kakarot может генерировать проверяемые транзакции и блоки. Поскольку он основан на CairoVM, каждая транзакция, выполненная на Kakarot, является проверяемой. Это позволяет разработчикам развертывать EVM-приложения на Kakarot, одновременно позволяя пользователям взаимодействовать с этими приложениями с помощью знакомых инструментов.
Kakarot также обеспечит интероперабельность с протоколом Starknet, что принесет совместимость для различных протоколов в таких областях, как DeFi и GameFi.
Дорожная карта
Проект Kakarot был запущен в октябре 2022 года с целью создать zkEVM с открытым исходным кодом и менее чем 10,000 строк кода. Эта цель была достигнута всего за шесть месяцев, и тестовая сеть планируется к запуску в конце лета 2023 года.
Дорожная карта Kakarot zkEVM разделена на три этапа:
Kakarot zkEVM на Starknet: Перенос EVM в Starknet
В качестве встроенной EVM в Starknet L2 разработчики могут напрямую развертывать смарт-контракты на Solidity (или любом языке, совместимом с EVM) и использовать знакомые инструменты. Пользовательский опыт будет таким же, как на Polygon, Scroll или Ethereum L1.
Kakarot x Madara: L3 zkEVM
Интеграция Kakarot и Madara для реализации L3 zkEVM, а также более высоких уровней. Команда может развертывать zkEVM приложения, используя доказательства достоверности для расчетов транзакций на Starknet. Этот подход позволяет разделить безопасность и децентрализацию, одновременно снижая затраты и повышая производительность.
Kakarot x Madara: тип 1 zkEVM
Путем написания правил консенсуса Ethereum на Cairo в полном узле Madara x Kakarot и переключения с Pedersen MPT на Keccak MPT, Kakarot имеет все шансы стать клиентом типа 1 zkEVM, способным подтверждать блоки L1.
Фоновая информация о команде
Команда Kakarot была создана на хакатоне в Лиссабоне. В настоящее время при поддержке фонда Starknet и Onlydust Kakarot имеет более 40 уникальных участников.
Основные члены включают:
Финансовая ситуация
Kakarot завершил раунд предварительного финансирования, конкретная сумма не раскрыта. Инвесторы включают Starkware и LambDa. Ангел-инвесторы включают Виталика Бутерина, соучредителя Ledger Николаса Баки и соучредителя и CEO ZAMA Ранда Хинди.
Преимущества и вызовы проекта
Kakarot как EVM, написанная на Cairo для Starknet, отлично соединяет Starknet и экосистему Ethereum. Это снижает порог входа для разработчиков, позволяя проектам экосистемы Ethereum строить на Starknet, сохраняя при этом безопасность Ethereum и снижая затраты.
Тем не менее, развитие Kakarot тесно связано с экосистемой Starknet. Если у Starknet возникнут проблемы с развитием, это также повлияет на Kakarot. В отличие от других проектов zkEVM, команда Kakarot меньше по размеру, а также имеет более низкий бюджет и уровень известности бренда, что является одной из причин, по которой в настоящее время он не развернут в качестве универсального zkEVM L2.
Тем не менее, Kakarot получил поддержку от Виталика Бутерина и StarkWare, что является важным вкладом как в финансовом, так и в моральном плане. Проект все еще находится на ранней стадии, тестовая сеть вскоре будет запущена, и стоит продолжать следить за его развитием.