Дорожная карта Kakarot: От закрепленного EVM на L2 и L3 к доказательству L1
Учебник по Kakarot
Kakarot zkEVM - это реализация виртуальной машины Ethereum (EVM), написанная на языке Cairo. Cairo - это язык, полный по Тьюрингу, связанный с CairoVM. CairoVM обеспечивает доказуемые вычисления, используя полиномы и систему доказательств ZK-STARK. ZkEVM характеризуется способностью генерировать доказуемые транзакции и, следовательно, доказуемые блоки. Kakarot построен на базе CairoVM, и каждая транзакция, выполняемая на Kakarot, является доказуемой.
Kakarot zkEVM позволяет командам создавать и развертывать EVM-приложения. Разработчики могут развернуть любой Solidity (или любой EVM-совместимый язык) на Kakarot, как они это сделали бы на Ethereum или Polygon. Затем конечные пользователи могут взаимодействовать с dApps с помощью своих обычных инструментов (Metamask, Wallet connect и т.д.).
В конечном счете, Kakarot обеспечит совместимость с родными протоколами Starknet и совместимость между протоколами, например, объединение TVL в DeFi и пользовательской базы в GameFi.
Фрактальное масштабирование
Kakarot zkEVM может существовать в различных формах. Во-первых, он может быть развернут как смарт-контракт поверх Starknet L2 и таким образом представлять EVM (Ethereum RPC, транзакции Ethereum и т.д.) в Starknet.
Кроме того, Kakarot может быть интегрирован в стек для развертывания L3 zkEVM. Здесь на помощь приходит секвенсор Madara.
Объединив 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 и т.д.).
Для ленивых: опыт разработчиков и пользователей на Kakarot будет точно таким же, как у Polygon, Scroll или Ethereum L1.
Фаза 2: Kakarot x Madara — L3 zkEVMs
Kakarot и Madara будут объединены в единый стек для обеспечения работы zkEVMs L3 - и L4, L5 и т.д., когда это будет иметь смысл. Команды смогут развертывать свои цепочки приложений zkEVM и использовать доказательства достоверности для расчета транзакций в Starknet.
Я много раз спрашивал себя: Почему L3s? Почему доказательность?
Доказуемость позволяет следующее: вычислять вне цепочки (off-chain) или подниматься на уровень выше, проверять в цепочке (on-chain).
L3, использующие доказательства достоверности (например, Kakarot), обладают интересным и недооцененным свойством: способностью разделить безопасность и децентрализацию. Пользователи могут воспользоваться преимуществами безопасности Ethereum L1, не требуя такого же уровня децентрализации, т.е. тысяч валидаторов.
Обратите внимание, что децентрализация для роллапов желательна. Она привносит живость и устойчивость к цензуре, два очень важных (недооцененных?) свойства. Этого можно достичь с помощью секвенсора, настроенного на сотни, а не на тысячи.
В результате вычислений на другом уровне затраты на газ экспоненциально ниже, чем на L2, а производительность (TPS) выше. Обратите внимание, что L2 уже экспоненциально дешевле, чем L1. Масштабируемость свертывания складывается и умножается.
Для дальнейшего снижения затрат на газ можно разделить проверку доказательств и доступность данных (DA). Starknet L2 может служить исключительно в качестве уровня проверки доказательств, в то время как новые решения для обеспечения доступности данных, такие как Celestia или EigenDA, могут использоваться для размещения данных о транзакциях.
У пользователей будет возможность выбрать любой из вариантов в зависимости от их требований к безопасности. Размещение в Starknet как доказательств, так и данных о транзакциях является более безопасным вариантом, в то время как использование решений DA для размещения данных о транзакциях является более экономически эффективной альтернативой.
Фаза 3: Kakarot х Madara - тип 1 zkEVM
Kakarot и Madara также могут быть объединены, чтобы включить zkEVMs 1-го типа. Если человек способен:
1. Записать правила консенсуса Ethereum в Cairo внутри полного узла Madara x Kakarot, что позволит доказать консенсус L1.
2. Переход от Pedersen Merkle Patricia Trie (MPT) к MPT Keccak.
Затем Kakarot станет клиентом zkEVM первого типа, способным подтверждать блоки L1. Это более продвинутый вариант использования, который зависит от дорожной карты Ethereum, в первую очередь от Verge. После выхода Verge, keccak может быть заменен на poseidon в качестве хэш-функции для Ethereum. Это поможет командам zkEVM стать типом 1, так как основным препятствием для совместимости zkEVM является схема хранения, то есть реализация Keccak MPT доказуемым и достаточно дешевым способом.
Дополнительные темы исследований
- Madara позволяет цепочкам Kakarot использовать протокол обмена сообщениями субстрата для связи между роллапами
- Модульность субстрата позволяет цепочкам Kakarot внедрять инновации в протокол консенсуса
- Беспроблемное обновление среды выполнения Substrate позволяет цепочкам Kakarot обновлять версию своего EVM без жестких форков
Спасибо, что читаете! Скоро мы готовим супер крутые новости, так что будьте начеку!
- Мы участвуем в конкурсе 0xtitans 4 июня! Следите за играми MatchboxDAO в ближайшем будущем
- Мы готовимся к запуску нашего тестнета!
- И еще больше интересных новостей!