Kakarot: новый проект zkEVM, который привлекает следовать
Kakarot zkEVM — это реализация Ethereum Virtual Machine (EVM), разработанная на языке Cairo. Cairo — это язык, обладающий полными возможностями Тьюринга, связанный с CairoVM, который использует полиномы и систему доказательства ZK-STARK для реализации доказуемых вычислений.
Как zkEVM, Kakarot отличается тем, что может генерировать проверяемые транзакции и блоки. Поскольку он построен на CairoVM, каждая транзакция, выполняемая на Kakarot, является проверяемой. В общем, Kakarot zkEVM использует язык Cairo и систему доказательства ZK-STARK для предоставления проверяемых вычислительных возможностей. Это позволяет разработчикам развертывать приложения EVM и позволяет пользователям взаимодействовать с этими приложениями, используя знакомые инструменты.
Кроме того, Kakarot также обеспечит совместимость с протоколом Starknet, что предоставит композируемость для протоколов в различных областях.
Развитие
Проект был запущен в октябре 2022 года с целью создания zkEVM с использованием менее 10 000 строк кода и с открытым исходным кодом. Эта цель была достигнута всего за шесть месяцев. Публикация тестовой сети запланирована на конец лета 2023 года.
Развитие Kakarot zkEVM делится на три этапа:
Реализация EVM-функционала на Starknet
Сначала Kakarot zkEVM будет реализован как EVM внутри Starknet L2, что позволит разработчикам напрямую развертывать смарт-контракты Solidity на Starknet и использовать привычные инструменты разработки. Пользовательский опыт будет таким же, как на Polygon, Scroll или Ethereum L1.
Интеграция с Madara для реализации L3 zkEVM
Kakarot и Madara будут объединены в единый стек, активируя L3 zkEVM и более высокие уровни. Команды смогут развертывать свои собственные zkEVM приложения, используя доказательства эффективности для расчета транзакций на Starknet. Эта структура L3 может снизить затраты на газ, повысить производительность и при этом сохранить безопасность.
Реализация типа 1 zkEVM
Если можно будет написать правила консенсуса Ethereum на Cairo и перейти от Pedersen MPT к Keccak MPT, Kakarot сможет стать клиентом type 1 zkEVM, способным доказывать блоки L1. Это зависит от дорожной карты развития Ethereum, особенно от прогресса на этапе Verge.
Фон команды
Команда Kakarot была основана на хакатоне в Лиссабоне, где около 10 человек за неделю создали прототип zkEVM. В настоящее время при поддержке фонда Starknet и Onlydust уже более 40 участников.
В число основных членов входят:
Elias Tazartes: соучредитель и CEO, специалист в области блокчейн-инженерии и полного стека разработки
Клемент Уолтер: соучредитель и технический директор, его опыт охватывает научные исследования, инженерию и предпринимательство
Финансовая ситуация
Kakarot завершил финансирование на стадии pre-seed, конкретная сумма не раскрыта. Инвесторы включают:
Институциональные инвесторы: Starkware, LambDa
Ангел-инвесторы: Виталик Бутерин, соучредитель Ledger Николас Бака, соучредитель и CEO ZAMA Ранд Хинди
Оценка проекта
Kakarot, как EVM-реализация на Starknet, имеет потенциал стать важным мостом между экосистемами Starknet и Ethereum. Он может снизить порог разработки, позволяя экосистеме Ethereum легче строить приложения на Starknet.
Связь с экосистемой Starknet является преимуществом Kakarot, но также означает, что его развитие сильно зависит от Starknet. Поддержка Виталика и StarkWare является важной поддержкой как в моральном, так и в финансовом плане.
В сравнении с другими проектами zkEVM, команда Kakarot меньше по размеру, бюджет и известность также ниже, что является их вызовом. В настоящее время Kakarot находится на ранней стадии, тестовая сеть скоро будет выпущена, стоит продолжать следовать за их развитием.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
10 Лайков
Награда
10
6
Поделиться
комментарий
0/400
MetaMuskRat
· 07-20 01:21
Это всего лишь открытый экзамен.
Посмотреть ОригиналОтветить0
RugResistant
· 07-18 18:42
потенциальные красные флаги в реализации cairo... требует тщательного аудита, если честно
Посмотреть ОригиналОтветить0
CryptoTarotReader
· 07-17 04:19
Открываем шампанское, чтобы стать свидетелями исторического момента.
Kakarot zkEVM: Новый мост, соединяющий Starknet и экосистему Ethereum
Kakarot: новый проект zkEVM, который привлекает следовать
Kakarot zkEVM — это реализация Ethereum Virtual Machine (EVM), разработанная на языке Cairo. Cairo — это язык, обладающий полными возможностями Тьюринга, связанный с CairoVM, который использует полиномы и систему доказательства ZK-STARK для реализации доказуемых вычислений.
Как zkEVM, Kakarot отличается тем, что может генерировать проверяемые транзакции и блоки. Поскольку он построен на CairoVM, каждая транзакция, выполняемая на Kakarot, является проверяемой. В общем, Kakarot zkEVM использует язык Cairo и систему доказательства ZK-STARK для предоставления проверяемых вычислительных возможностей. Это позволяет разработчикам развертывать приложения EVM и позволяет пользователям взаимодействовать с этими приложениями, используя знакомые инструменты.
Кроме того, Kakarot также обеспечит совместимость с протоколом Starknet, что предоставит композируемость для протоколов в различных областях.
Развитие
Проект был запущен в октябре 2022 года с целью создания zkEVM с использованием менее 10 000 строк кода и с открытым исходным кодом. Эта цель была достигнута всего за шесть месяцев. Публикация тестовой сети запланирована на конец лета 2023 года.
Развитие Kakarot zkEVM делится на три этапа:
Сначала Kakarot zkEVM будет реализован как EVM внутри Starknet L2, что позволит разработчикам напрямую развертывать смарт-контракты Solidity на Starknet и использовать привычные инструменты разработки. Пользовательский опыт будет таким же, как на Polygon, Scroll или Ethereum L1.
Kakarot и Madara будут объединены в единый стек, активируя L3 zkEVM и более высокие уровни. Команды смогут развертывать свои собственные zkEVM приложения, используя доказательства эффективности для расчета транзакций на Starknet. Эта структура L3 может снизить затраты на газ, повысить производительность и при этом сохранить безопасность.
Реализация типа 1 zkEVM
Если можно будет написать правила консенсуса Ethereum на Cairo и перейти от Pedersen MPT к Keccak MPT, Kakarot сможет стать клиентом type 1 zkEVM, способным доказывать блоки L1. Это зависит от дорожной карты развития Ethereum, особенно от прогресса на этапе Verge.
Фон команды
Команда Kakarot была основана на хакатоне в Лиссабоне, где около 10 человек за неделю создали прототип zkEVM. В настоящее время при поддержке фонда Starknet и Onlydust уже более 40 участников.
В число основных членов входят:
Финансовая ситуация
Kakarot завершил финансирование на стадии pre-seed, конкретная сумма не раскрыта. Инвесторы включают:
Оценка проекта
Kakarot, как EVM-реализация на Starknet, имеет потенциал стать важным мостом между экосистемами Starknet и Ethereum. Он может снизить порог разработки, позволяя экосистеме Ethereum легче строить приложения на Starknet.
Связь с экосистемой Starknet является преимуществом Kakarot, но также означает, что его развитие сильно зависит от Starknet. Поддержка Виталика и StarkWare является важной поддержкой как в моральном, так и в финансовом плане.
В сравнении с другими проектами zkEVM, команда Kakarot меньше по размеру, бюджет и известность также ниже, что является их вызовом. В настоящее время Kakarot находится на ранней стадии, тестовая сеть скоро будет выпущена, стоит продолжать следовать за их развитием.