# Дорожная карта Kakarot: От закрепленного EVM на L2 и L3 к доказательству L1 By [lvntsv](https://paragraph.com/@lvntsv) · 2023-07-06 --- **Kakarot zkEVM** - это реализация [виртуальной машины Ethereum](https://ethereum.org/en/developers/docs/evm/) (EVM), написанная на языке Cairo. Cairo - это язык, полный по Тьюрингу, связанный с CairoVM. CairoVM обеспечивает доказуемые вычисления, используя полиномы и систему доказательств [ZK-STARK](https://starkware.co/stark/). ZkEVM характеризуется способностью генерировать доказуемые транзакции и, следовательно, доказуемые блоки. Kakarot построен на базе CairoVM, каждая транзакция, выполняемая на Kakarot, является доказуемой. Kakarot zkEVM позволяет командам создавать и развертывать EVM-приложения. Разработчики могут развернуть любой Solidity (или любой EVM-совместимый язык) на Kakarot, как они это сделали бы на Ethereum или Polygon. Затем конечные пользователи могут взаимодействовать с dApps с помощью своих обычных инструментов (Metamask, Wallet connect и т.д.). В конечном итоге Kakarot обеспечит совместимость с родными протоколами Starknet и совместимость между протоколами, например, объединение TVL в DeFi и базы пользователей в GameFi. ![Команда Kakarot](https://storage.googleapis.com/papyrus_images/1d43a68c055df2939db8d9605611911adfeb72b5701349093b6b2461a91ed989.png) Команда Kakarot Фрактальное масштабирование --------------------------- Kakarot zkEVM может существовать в различных формах. Во-первых, он может быть развернут как смарт-контракт поверх Starknet L2 и таким образом представлять EVM (Ethereum RPC, транзакции Ethereum и т.д.) в Starknet. В качестве альтернативы Kakarot может быть интегрирован в стек для развертывания L3 zkEVM. Здесь на помощь приходит секвенсор [Madara](https://docs.madara.wtf/). Объединив Madara (полный узел Starknet) и Kakarot (среда выполнения EVM), можно создать L3 zkEVM. Стек выглядит следующим образом: полный узел субстрата, который использует CairoVM в качестве механизма исполнения, и Kakarot в качестве среды исполнения для смарт-контрактов. Транзакции на Kakarot могут быть доказаны и проверены на расчетном уровне, что приводит к фрактальному масштабированию, совместимому с EVM. Дорожная карта -------------- **Фаза 1 дорожной карты: Kakarot zkEVM в Starknet - бридж EVM в Starknet** Kakarot начнет существовать как закрепленный EVM внутри Starknet L2. Это позволит разработчикам развертывать свои смарт-контракты Solidity (или любого другого EVM-совместимого языка) непосредственно в Starknet, используя знакомые им инструменты (Foundry, Hardhat, Wagmi и т.д.). Их конечные пользователи затем смогут взаимодействовать с их dApps, используя свой обычный инструментарий (Metamask, Wallet connect и т.д.). > TL;DR: опыт разработчиков и пользователей на Kakarot будет точно таким же, как у Polygon, Scroll или Ethereum L1. ![Будущее здесь](https://storage.googleapis.com/papyrus_images/ca8ed9d39c4510bd9de7954293a3f8994e7914944b22f58dc621e89ca9e38fef.jpg) Будущее здесь **Фаза 2: Kakarot x Madara - L3 zkEVMs** Kakarot и Madara будут объединены в единый стек, который позволит использовать L3 zkEVMs - и L4, L5 и т.д., когда это будет иметь смысл. Команды смогут развернуть свои цепочки приложений zkEVM и использовать доказательства достоверности для расчетов по транзакциям в Starknet. > Я много раз спрашивал себя: Почему L3s? Почему доказательность? Доказуемость позволяет следующее: вычислять вне цепочки или подниматься на уровень выше, проверять на цепочке. L3, использующие [доказательства достоверности](https://medium.com/starkware/validity-proofs-vs-fraud-proofs-4ef8b4d3d87a) (например, Kakarot), обладают интересным и недооцененным свойством: возможностью разделить безопасность и децентрализацию. Пользователи могут воспользоваться преимуществами безопасности Ethereum L1, не требуя такого же уровня децентрализации, т.е. тысяч валидаторов. * Отметим, что децентрализация для роллапов желательна. Она привносит живость и устойчивость к цензуре, два очень важных (недооцененных?) свойства. Этого можно достичь с помощью секвенсора, настроенного на сотни, а не на тысячи. В результате вычислений на другом уровне затраты на газ экспоненциально ниже, чем на L2, а производительность (TPS) выше. Обратите внимание, что L2 уже экспоненциально дешевле L1. Масштабируемость свертывания складывается и умножается. Чтобы еще больше снизить затраты на газ, можно разделить проверку доказательств и [доступность данных](https://ethereum.org/en/developers/docs/data-availability/#data-availability-vs-data-retrievability) (DA). Starknet L2 может служить исключительно в качестве уровня проверки доказательств, в то время как новые решения по обеспечению доступности данных, такие как Celestia или EigenDA, могут быть использованы для размещения данных о транзакциях. У пользователей будет возможность выбрать любой из этих вариантов в зависимости от их требований к безопасности. Размещение как доказательств, так и данных о транзакциях в Starknet является более безопасным вариантом, в то время как использование решений DA для размещения данных о транзакциях является более экономически эффективной альтернативой. **Фаза 3: Kakarot x Madara - type 1 zkEVM** Kakarot и Madara также могут быть объединены, чтобы включить zkEVM первого типа. Если человек способен: * Записать правила консенсуса Ethereum в Каире внутри полного узла Madara x Kakarot, что позволит доказать консенсус L1. * Перейти от триера Педерсена-Меркле-Патриса (MPT) к MPT Кечака. Тогда Kakarot станет клиентом zkEVM типа 1, способным доказывать блоки L1. Это более продвинутый вариант использования, который зависит от дорожной карты Ethereum, в первую очередь от Verge. После выхода [Verge](https://ethereum.org/fr/roadmap/), keccak может быть заменен на poseidon в качестве хэш-функции для Ethereum. Это поможет командам zkEVM стать типом 1, так как основным препятствием совместимости для zkEVM является компоновка хранилища, т.е. реализация Keccak MPT доказуемым и достаточно дешевым способом. Дополнительные темы исследований Madara позволяет цепочкам Kakarot использовать п[ротокол обмена сообщениями Substrate для межролевой коммуникации](https://docs.substrate.io/learn/xcm-communication/). Модульность Substrate позволяет цепочкам Kakarot вводить инновации в свой протокол консенсуса. ![Все здесь будем](https://storage.googleapis.com/papyrus_images/15c47e1f6ca818dc5d1c3288598709d031d7bdfcef3fb3eedb76ea78b855189c.jpg) Все здесь будем Links: [https://discord.gg/2JxzRGjy](https://discord.gg/2JxzRGjy) [https://www.kakarot.org/](https://www.kakarot.org/) --- *Originally published on [lvntsv](https://paragraph.com/@lvntsv/kakarot-evm-l2-l3-l1)*