Kakarot zkEVM — это виртуальная машина Ethereum (EVM), написанная в Каире. Cairo — это полный по Тьюрингу язык, связанный с CairoVM. CairoVM использует полиномиальные системы и системы доказательств ZK-STARK для достижения доказуемых вычислений.
Характерной чертой zkEVM является то, что он может генерировать доказуемые транзакции, поэтому он также может генерировать доказуемые блоки. Kakarot построен поверх CairoVM, поэтому каждая транзакция, выполненная на Kakarot, доказуема.
Как правило, Kakarot zkEVM написан на каирском языке и использует систему проверки ZK-STARK для обеспечения доказуемой вычислительной мощности. Это позволяет разработчикам развертывать приложения EVM поверх него, а конечным пользователям — взаимодействовать с этими приложениями, используя их обычную цепочку инструментов.
Наконец, Kakarot также обеспечит совместимость с протоколом Starknet, обеспечивая возможность компоновки протоколов в различных областях, таких как DeFi и GameFi.
![Kakarot: Zk-EVM, который Виталик Бутерин считал крутым и в который вложился] &кэш= v2)
Карта маршрута
Проект начался в октябре 2022 года с несколькими целями: открыть исходный код с первого дня и, что наиболее амбициозно, создать zkEVM менее чем в 10 000 строк кода. Этого удалось добиться всего за полгода. А тестовая сеть будет выпущена в конце лета 2023 года.
Дорожная карта Kakarot zkEVM разделена на три этапа:
Этап 1: Kakarot zkEVM в Starknet — добавление EVM в Starknet
Kakarot zkEVM сначала будет существовать в L2 Starknet как встроенная EVM, что позволит разработчикам напрямую развертывать свои смарт-контракты Solidity (или любой совместимый с EVM язык) в Starknet и использовать знакомые инструменты (такие как Foundry, Hardhat, Wagmi и т. д.) . Их конечные пользователи смогут взаимодействовать со своими децентрализованными приложениями, используя знакомые цепочки инструментов, такие как Metamask, Wallet connect и т. д. В целом, опыт разработчиков и пользователей на Kakarot будет точно таким же, как у Polygon, Scroll или Ethereum L1.
Фаза 2: Какарот x Мадара — L3 zkEVMs
Какарот и Мадара будут объединены в единый стек, чтобы включить zkEVM L3 и там, где имеет смысл включить L4, L5 и т. д. Команды смогут развернуть свою цепочку приложений zkEVM и использовать подтверждение действительности для расчетов по транзакциям в Starknet. Вычисления выполняются вне цепочки или на более высоком уровне и проверяются в цепочке. Эти L3 с доказательством достоверности (например, Kakarot) обладают интересным и недооцененным свойством: способностью отделять безопасность и децентрализацию. Пользователи могут извлечь выгоду из безопасности Ethereum L1, не требуя такого же уровня децентрализации (то есть тысяч валидаторов). Тем не менее, для накопительных пакетов децентрализация выгодна, потому что она обеспечивает живость и устойчивость к цензуре, два очень важных свойства. Этого можно добиться, настроив секвенсор на сотни вместо тысяч. L2 имеет гораздо более низкую стоимость газа и более высокую производительность (TPS), чем L2, из-за того, что вычисления выполняются на другом уровне. Обратите внимание, что L2 уже намного дешевле, чем L1. Роллапы складываются и умножаются для масштабируемости. Для дальнейшего снижения затрат на газ можно разделить контрольную проверку и доступность данных (DA). Starknet L2 можно использовать только в качестве уровня подтверждения, а новые решения для обеспечения доступности данных, такие как Celestia или EigenDA, можно использовать для публикации данных о транзакциях. У пользователей будет возможность подписаться на любой из них, в зависимости от их потребностей в безопасности. Публикация доказательств и данных о транзакциях в Starknet — более безопасный вариант, а использование решений DA для публикации данных о транзакциях — более экономичный вариант.
Фаза 3: Какарот x Мадара — тип 1 zkEVM
Какарот и Мадара также могут быть объединены для реализации zkEVM типа 1. Если вы можете:
Напишите правила консенсуса Ethereum с Cairo в полном узле Madara x Kakarot, чтобы можно было доказать консенсус L1.
Переключиться с Pedersen Merkle Patricia Trie (MPT) на Keccak MPT. Затем Kakarot станет клиентом zkEVM 1 типа, способным подтверждать блоки L1. Это более продвинутый вариант использования, который зависит от дорожной карты Ethereum, особенно Verge. После Verge keccak может быть заменен на poseidon в качестве предпочтительной хэш-функции для Ethereum. Это поможет команде zkEVM быть типом 1, поскольку основным препятствием совместимости для zkEVM является схема хранения, то есть реализация Keccak MPT по доказуемой и разумной цене.
Команда:
В доме хакера в Лиссабоне примерно за неделю самоотверженной работы около десяти человек построили zkEVM, так родилась основная команда Kakarot.
С помощью Starknet Foundation и Onlydust сегодня у Kakarot более 40 уникальных участников.
**Элиас Тазартес: **соучредитель и генеральный директор Kakarot, внештатный разработчик, специализирующийся на разработке блокчейна (Dapp, Ethereum, Algorand) и разработке полного стека (Svelte/React, NodeJS, Rust, Python).
**Клеман Вальтер: **Ученый, инженер, предприниматель, разнорабочий, любопытный во всем, это знакомство Клеман с собой. В то же время он является соучредителем и главным техническим директором Kakarot.
![Kakarot: Zk-EVM, который Виталик Бутерин считал крутым и в который вложился] че= v2)
Финансирование:
В настоящее время Kakarot осуществляет предварительный раунд финансирования. Конкретная сумма финансирования не объявлена. Команды и персонал, вовлеченные в инвестиции: **Starkware, LambDa. **В число бизнес-ангелов входят Виталик, Николас Бакка, соучредитель Ledger, и Рэнд Хинди, соучредитель и генеральный директор ZAMA.
! [Kakarot: zk-evm, который, подумал Виталик Бутерин, был крутым и инвестировал] (https://img.gateio.im/social/moments-69a80767fe-1cdb1ec938-d1a6f-62a40f20 F20 финансирование. & ca че= v2)
Подведем итог:
В настоящее время экологическое развитие публичных цепей, несовместимых с EVM, находится в медленной стадии.В настоящее время большая часть экологии публичных цепей развивается вокруг экосистемы Ethereum.Какарот, как виртуальная машина Ethereum (EVM), написанная в Каире в Starknet, можно быстро. Хорошая связь между экологией Starknet и экологией Ethereum в Starknet, которая не совместима с EVM, позволяет хорошо построить экологию Ethereum в Starknet и снижает входной барьер для разработки разработчиками, получая доступ к безопасность Ethereum и снижение затрат. На втором и третьем этапах Kakarot можно добиться большей компоновки, а такие модули, как Celestia или EigenDA, можно комбинировать модульно.
Как ZK-EVM написано на Starknet, связь с экологией Starknet подобна отношениям между губами и зубами, и оба они процветают.В настоящее время Starknet также постоянно итеративно обновляется для улучшения пользовательского опыта и опирается на ZK- EVM, построенный Kakarot, может быть очень хорошим.Чтобы способствовать экологическому процветанию проекта, наоборот, если развитие Starknet не будет удовлетворительным, Kakarot также пострадает.
Еще одним преимуществом Kakarot является то, что он имеет поддержку V God и StarkWare не только в духовном, но и в финансовом отношении.
![Какарот: Zk-EVM, который Виталик Бутерин считал крутым и в который вложился] &кэш= v2)
По сравнению с другими ZK-EVM, Kakarot находится в невыгодном положении — команда менее 10 человек, с гораздо меньшим бюджетом и брендом. Это одна из причин, по которой Kakarot не используется в качестве универсального zkEVM L2.
В настоящее время Kakarot все еще находится на ранней стадии, и тестовая сеть будет выпущена в ближайшем будущем, следите за обновлениями.
Посмотреть Оригинал
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Kakarot: Zk-EVM, который Виталик Бутерин считал крутым и в который вложился
Написал: Инан
Введение
Kakarot zkEVM — это виртуальная машина Ethereum (EVM), написанная в Каире. Cairo — это полный по Тьюрингу язык, связанный с CairoVM. CairoVM использует полиномиальные системы и системы доказательств ZK-STARK для достижения доказуемых вычислений.
Характерной чертой zkEVM является то, что он может генерировать доказуемые транзакции, поэтому он также может генерировать доказуемые блоки. Kakarot построен поверх CairoVM, поэтому каждая транзакция, выполненная на Kakarot, доказуема.
Как правило, Kakarot zkEVM написан на каирском языке и использует систему проверки ZK-STARK для обеспечения доказуемой вычислительной мощности. Это позволяет разработчикам развертывать приложения EVM поверх него, а конечным пользователям — взаимодействовать с этими приложениями, используя их обычную цепочку инструментов.
Наконец, Kakarot также обеспечит совместимость с протоколом Starknet, обеспечивая возможность компоновки протоколов в различных областях, таких как DeFi и GameFi.
![Kakarot: Zk-EVM, который Виталик Бутерин считал крутым и в который вложился] &кэш= v2)
Карта маршрута
Проект начался в октябре 2022 года с несколькими целями: открыть исходный код с первого дня и, что наиболее амбициозно, создать zkEVM менее чем в 10 000 строк кода. Этого удалось добиться всего за полгода. А тестовая сеть будет выпущена в конце лета 2023 года.
Дорожная карта Kakarot zkEVM разделена на три этапа:
Kakarot zkEVM сначала будет существовать в L2 Starknet как встроенная EVM, что позволит разработчикам напрямую развертывать свои смарт-контракты Solidity (или любой совместимый с EVM язык) в Starknet и использовать знакомые инструменты (такие как Foundry, Hardhat, Wagmi и т. д.) . Их конечные пользователи смогут взаимодействовать со своими децентрализованными приложениями, используя знакомые цепочки инструментов, такие как Metamask, Wallet connect и т. д. В целом, опыт разработчиков и пользователей на Kakarot будет точно таким же, как у Polygon, Scroll или Ethereum L1.
Какарот и Мадара будут объединены в единый стек, чтобы включить zkEVM L3 и там, где имеет смысл включить L4, L5 и т. д. Команды смогут развернуть свою цепочку приложений zkEVM и использовать подтверждение действительности для расчетов по транзакциям в Starknet. Вычисления выполняются вне цепочки или на более высоком уровне и проверяются в цепочке. Эти L3 с доказательством достоверности (например, Kakarot) обладают интересным и недооцененным свойством: способностью отделять безопасность и децентрализацию. Пользователи могут извлечь выгоду из безопасности Ethereum L1, не требуя такого же уровня децентрализации (то есть тысяч валидаторов). Тем не менее, для накопительных пакетов децентрализация выгодна, потому что она обеспечивает живость и устойчивость к цензуре, два очень важных свойства. Этого можно добиться, настроив секвенсор на сотни вместо тысяч. L2 имеет гораздо более низкую стоимость газа и более высокую производительность (TPS), чем L2, из-за того, что вычисления выполняются на другом уровне. Обратите внимание, что L2 уже намного дешевле, чем L1. Роллапы складываются и умножаются для масштабируемости. Для дальнейшего снижения затрат на газ можно разделить контрольную проверку и доступность данных (DA). Starknet L2 можно использовать только в качестве уровня подтверждения, а новые решения для обеспечения доступности данных, такие как Celestia или EigenDA, можно использовать для публикации данных о транзакциях. У пользователей будет возможность подписаться на любой из них, в зависимости от их потребностей в безопасности. Публикация доказательств и данных о транзакциях в Starknet — более безопасный вариант, а использование решений DA для публикации данных о транзакциях — более экономичный вариант.
Какарот и Мадара также могут быть объединены для реализации zkEVM типа 1. Если вы можете:
Команда:
В доме хакера в Лиссабоне примерно за неделю самоотверженной работы около десяти человек построили zkEVM, так родилась основная команда Kakarot.
С помощью Starknet Foundation и Onlydust сегодня у Kakarot более 40 уникальных участников.
**Элиас Тазартес: **соучредитель и генеральный директор Kakarot, внештатный разработчик, специализирующийся на разработке блокчейна (Dapp, Ethereum, Algorand) и разработке полного стека (Svelte/React, NodeJS, Rust, Python).
**Клеман Вальтер: **Ученый, инженер, предприниматель, разнорабочий, любопытный во всем, это знакомство Клеман с собой. В то же время он является соучредителем и главным техническим директором Kakarot.
![Kakarot: Zk-EVM, который Виталик Бутерин считал крутым и в который вложился] че= v2)
Финансирование:
В настоящее время Kakarot осуществляет предварительный раунд финансирования. Конкретная сумма финансирования не объявлена. Команды и персонал, вовлеченные в инвестиции: **Starkware, LambDa. **В число бизнес-ангелов входят Виталик, Николас Бакка, соучредитель Ledger, и Рэнд Хинди, соучредитель и генеральный директор ZAMA.
! [Kakarot: zk-evm, который, подумал Виталик Бутерин, был крутым и инвестировал] (https://img.gateio.im/social/moments-69a80767fe-1cdb1ec938-d1a6f-62a40f20 F20 финансирование. & ca че= v2)
Подведем итог:
В настоящее время экологическое развитие публичных цепей, несовместимых с EVM, находится в медленной стадии.В настоящее время большая часть экологии публичных цепей развивается вокруг экосистемы Ethereum.Какарот, как виртуальная машина Ethereum (EVM), написанная в Каире в Starknet, можно быстро. Хорошая связь между экологией Starknet и экологией Ethereum в Starknet, которая не совместима с EVM, позволяет хорошо построить экологию Ethereum в Starknet и снижает входной барьер для разработки разработчиками, получая доступ к безопасность Ethereum и снижение затрат. На втором и третьем этапах Kakarot можно добиться большей компоновки, а такие модули, как Celestia или EigenDA, можно комбинировать модульно.
Как ZK-EVM написано на Starknet, связь с экологией Starknet подобна отношениям между губами и зубами, и оба они процветают.В настоящее время Starknet также постоянно итеративно обновляется для улучшения пользовательского опыта и опирается на ZK- EVM, построенный Kakarot, может быть очень хорошим.Чтобы способствовать экологическому процветанию проекта, наоборот, если развитие Starknet не будет удовлетворительным, Kakarot также пострадает.
Еще одним преимуществом Kakarot является то, что он имеет поддержку V God и StarkWare не только в духовном, но и в финансовом отношении.
![Какарот: Zk-EVM, который Виталик Бутерин считал крутым и в который вложился] &кэш= v2)
По сравнению с другими ZK-EVM, Kakarot находится в невыгодном положении — команда менее 10 человек, с гораздо меньшим бюджетом и брендом. Это одна из причин, по которой Kakarot не используется в качестве универсального zkEVM L2.
В настоящее время Kakarot все еще находится на ранней стадии, и тестовая сеть будет выпущена в ближайшем будущем, следите за обновлениями.