Kakarot KAKAROT
Нашли ошибку?Kakarot - это виртуальная машина Ethereum, написанная на языке Cairo, которую можно развернуть на StarkNet, L2 решении для Ethereum и использовать для запуска смарт-контрактов Ethereum на StarkNet.
ПодробностиКраткий обзор Kakarot
Kakarot классифицируется как Blockchain Service. Токен проекта KAKAROT является Utility и размещается в сети блокчейна Ethereum (ERC20) .
График цены KAKAROT
Инвесторы Kakarot
Криптовалюта Kakarot
Kakarot zkEVM — это реализация виртуальной машины Ethereum (EVM), написанная в Каире. 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.
Фрактальное масштабирование
Какарот zkEVM может существовать в разных формах. Во-первых, его можно развернуть как смарт-контракт поверх Starknet L2 и, таким образом, открыть EVM (Ethereum RPC, Ethereum-транзакции и т. д.) в Starknet.
В качестве альтернативы Kakarot можно интегрировать в стек для развертывания L3 zkEVM. Здесь в дело вступает секвенсор Madara.
Комбинируя Madara (полный узел Starknet) и Kakarot (среда выполнения EVM), можно создать zkEVM L3. Стек следующий: полный узел субстрата, который использует 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.
Фаза 2: Какарот x Мадара — L3 zkEVM
Kakarot и Madara будут объединены в единый стек, чтобы включить zkEVM L3 — и L4, L5 и т. д., когда это будет целесообразно. Команды смогут развертывать свои цепочки приложений zkEVM и использовать доказательства достоверности для расчетов по транзакциям в Starknet.
L3, которые используют доказательства достоверности (например, Kakarot), обладают интересным и недооцененным свойством: способностью отделять безопасность и децентрализацию. Пользователи могут воспользоваться безопасностью Ethereum L1, не требуя того же уровня децентрализации, то есть тысяч валидаторов.
В результате вычислений на другом слое затраты газа экспоненциально ниже, чем на L2, а производительность (TPS) выше. Обратите внимание, что L2 уже экспоненциально дешевле, чем L1. Масштабируемость накопительных пакетов многократно возрастает.
Для дальнейшего снижения затрат на газ можно разделить контрольную проверку и доступность данных (DA). Starknet L2 может служить исключительно в качестве уровня подтверждения, в то время как новые решения для обеспечения доступности данных, такие как Celestia или EigenDA, могут использоваться для публикации данных о транзакциях.
У пользователей будет возможность выбрать любой вариант, в зависимости от их требований безопасности. Размещение как доказательств, так и данных транзакций в Starknet является более безопасным вариантом, а использование решений DA для публикации данных транзакций является более рентабельной альтернативой.
Фаза 3: Какарот x Мадара — тип 1 zkEVM
Какарот и Мадара также могут быть объединены для включения zkEVM типа 1. Если человек умеет:
- Напишите правила консенсуса Ethereum в Каире внутри полного узла Madara x Kakarot, чтобы обеспечить доказательство консенсуса L1.
- Переключиться с Pedersen Merkle Patricia Trie (MPT) на Keccak MPT.
Затем Kakarot станет клиентом zkEVM первого типа, способным проверять блоки L1. Это более продвинутый вариант использования, который зависит от дорожной карты Ethereum, в первую очередь от Verge. После Verge keccak может быть заменен на poseidon в качестве предпочтительной хеш-функции для Ethereum. Это помогло бы командам zkEVM стать типом 1, поскольку основным блокировщиком совместимости для zkEVM является схема хранения, то есть реализация Keccak MPT доказуемым и достаточно дешевым способом.
Дополнительные темы исследований
- Madara позволяет цепочкам Kakarot использовать протокол обмена сообщениями субстрата для обмена данными между свертками.
- Модульность субстрата позволяет цепочкам Kakarot внедрять инновации с помощью протокола консенсуса.
- Обновления среды выполнения Substrate без форков позволяют цепочкам Kakarot обновлять версию своих EVM без хардфорков.