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, позволяющее разработчикам напрямую развертывать смарт-контракты, написанные на Solidity (или других языках, совместимых с EVM), на Starknet. Пользователи могут взаимодействовать с этими dApp с помощью знакомых инструментов (таких как Metamask), получая опыт, аналогичный тому, что на Polygon или Ethereum L1.
Kakarot x Madara - L3 zkEVMs: Интеграция Kakarot с Madara для реализации L3 zkEVMs, возможно, даже расширяясь до L4, L5 и более высоких уровней. Это позволит командам разрабатывать свои собственные цепочки приложений zkEVM и использовать доказательства эффективности для расчетов транзакций на Starknet. Этот подход может отделить безопасность и децентрализацию, повышая эффективность за счет уменьшения количества валидаторов при сохранении безопасности Ethereum L1.
Kakarot x Madara - Тип 1 zkEVM: через написание правил консенсуса Ethereum на Cairo в полном узле Madara x Kakarot и переход от Merkle Patricia Trie (MPT) к Keccak MPT, Kakarot имеет шансы стать клиентом Type 1 zkEVM, который может доказать блоки L1. Реализация этого этапа тесно связана с будущей дорожной картой Ethereum, особенно с изменениями хеш-функций, которые могут быть приняты после обновления Verge.
Фон команды
К核心团队 Kakarot возник в результате краткосрочной интенсивной разработки в Лиссабоне, где около десяти человек за неделю создали прототип zkEVM. В настоящее время при поддержке фонда Starknet и Onlydust Kakarot имеет более 40 независимых участников.
Основные участники включают:
Элиас Тазартес: соучредитель и CEO, сосредоточен на блокчейн-инженерии и полном стек-разработке.
Клемент Уолтер: соучредитель и технический директор, обладающий многогранным опытом в науке, инженерии и предпринимательстве.
Состояние финансирования
Kakarot завершил предварительный раунд финансирования, конкретная сумма не была раскрыта. Инвесторы включают такие организации, как Starkware и LambDa, а также известных индивидуальных инвесторов, таких как Виталик Бутерин, соучредитель Ledger Николя Бака и соучредитель и CEO ZAMA Рэнд Хинди.
Перспективы проекта
Kakarot, как реализация EVM, написанная на Cairo на Starknet, обещает стать важным мостом между экосистемами Starknet и Ethereum. Он снижает барьеры для разработчиков при входе в Starknet, одновременно сохраняя совместимость с экосистемой Ethereum. По мере развития проекта на следующих этапах Kakarot обеспечит более высокий уровень совместимости и сможет использоваться с модульными компонентами, такими как Celestia или EigenDA.
Развитие Kakarot тесно связано с экосистемой Starknet. Постоянные обновления Starknet и улучшение пользовательского опыта напрямую принесут пользу Kakarot. В то же время, Kakarot также внесет вклад в процветание экосистемы Starknet.
Получение поддержки Виталика Бутерина и StarkWare является большим преимуществом Kakarot, так как это не только признание на уровне духа, но и финансовая поддержка.
Однако, по сравнению с другими проектами ZK-EVM, Kakarot также сталкивается с такими вызовами, как небольшой размер команды, ограниченный бюджет и низкая известность бренда. Это также одна из причин, по которой Kakarot в настоящее время сосредоточен на экосистеме Starknet, а не на развертывании в качестве универсального zkEVM L2.
Как проект на ранней стадии, тестовая сеть Kakarot скоро будет запущена, и за его будущим развитием стоит внимательно следить.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
7 Лайков
Награда
7
6
Поделиться
комментарий
0/400
GasWaster
· 7ч назад
Виталик Бутерин смотрит оптимистично, и я тоже.
Посмотреть ОригиналОтветить0
MeaninglessGwei
· 07-20 18:55
Что угодно, лишь бы зарабатывать воздух.
Посмотреть ОригиналОтветить0
ZeroRushCaptain
· 07-20 18:54
покупайте падения, купил до дыр, теперь наконец-то встретил Виталик Бутерин с гарантией.
Посмотреть ОригиналОтветить0
QuorumVoter
· 07-20 18:48
Проект, который поддерживает Виталик, обязательно будет успешным.
Посмотреть ОригиналОтветить0
GasFeeThunder
· 07-20 18:42
Этот Газ не в убытке, да? Так больно.
Посмотреть ОригиналОтветить0
LuckyBlindCat
· 07-20 18:37
Все таланты занимаются разработкой, а я бездельничаю.
Kakarot: инновационный Starknet zkEVM, созданный на языке Cairo
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, позволяющее разработчикам напрямую развертывать смарт-контракты, написанные на Solidity (или других языках, совместимых с EVM), на Starknet. Пользователи могут взаимодействовать с этими dApp с помощью знакомых инструментов (таких как Metamask), получая опыт, аналогичный тому, что на Polygon или Ethereum L1.
Kakarot x Madara - L3 zkEVMs: Интеграция Kakarot с Madara для реализации L3 zkEVMs, возможно, даже расширяясь до L4, L5 и более высоких уровней. Это позволит командам разрабатывать свои собственные цепочки приложений zkEVM и использовать доказательства эффективности для расчетов транзакций на Starknet. Этот подход может отделить безопасность и децентрализацию, повышая эффективность за счет уменьшения количества валидаторов при сохранении безопасности Ethereum L1.
Kakarot x Madara - Тип 1 zkEVM: через написание правил консенсуса Ethereum на Cairo в полном узле Madara x Kakarot и переход от Merkle Patricia Trie (MPT) к Keccak MPT, Kakarot имеет шансы стать клиентом Type 1 zkEVM, который может доказать блоки L1. Реализация этого этапа тесно связана с будущей дорожной картой Ethereum, особенно с изменениями хеш-функций, которые могут быть приняты после обновления Verge.
Фон команды
К核心团队 Kakarot возник в результате краткосрочной интенсивной разработки в Лиссабоне, где около десяти человек за неделю создали прототип zkEVM. В настоящее время при поддержке фонда Starknet и Onlydust Kakarot имеет более 40 независимых участников.
Основные участники включают:
Состояние финансирования
Kakarot завершил предварительный раунд финансирования, конкретная сумма не была раскрыта. Инвесторы включают такие организации, как Starkware и LambDa, а также известных индивидуальных инвесторов, таких как Виталик Бутерин, соучредитель Ledger Николя Бака и соучредитель и CEO ZAMA Рэнд Хинди.
Перспективы проекта
Kakarot, как реализация EVM, написанная на Cairo на Starknet, обещает стать важным мостом между экосистемами Starknet и Ethereum. Он снижает барьеры для разработчиков при входе в Starknet, одновременно сохраняя совместимость с экосистемой Ethereum. По мере развития проекта на следующих этапах Kakarot обеспечит более высокий уровень совместимости и сможет использоваться с модульными компонентами, такими как Celestia или EigenDA.
Развитие Kakarot тесно связано с экосистемой Starknet. Постоянные обновления Starknet и улучшение пользовательского опыта напрямую принесут пользу Kakarot. В то же время, Kakarot также внесет вклад в процветание экосистемы Starknet.
Получение поддержки Виталика Бутерина и StarkWare является большим преимуществом Kakarot, так как это не только признание на уровне духа, но и финансовая поддержка.
Однако, по сравнению с другими проектами ZK-EVM, Kakarot также сталкивается с такими вызовами, как небольшой размер команды, ограниченный бюджет и низкая известность бренда. Это также одна из причин, по которой Kakarot в настоящее время сосредоточен на экосистеме Starknet, а не на развертывании в качестве универсального zkEVM L2.
Как проект на ранней стадии, тестовая сеть Kakarot скоро будет запущена, и за его будущим развитием стоит внимательно следить.