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.

Дорожная карта

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. Если человек умеет:

Затем Kakarot станет клиентом zkEVM первого типа, способным проверять блоки L1. Это более продвинутый вариант использования, который зависит от дорожной карты Ethereum, в первую очередь от Verge. После Verge keccak может быть заменен на poseidon в качестве предпочтительной хеш-функции для Ethereum. Это помогло бы командам zkEVM стать типом 1, поскольку основным блокировщиком совместимости для zkEVM является схема хранения, то есть реализация Keccak MPT доказуемым и достаточно дешевым способом.

Дополнительные темы исследований