на основе CairoVM Модульных конструкции zkEVM Kakarot завершенный Pre-Seed раунд финансирования, Конкретная сумма финансирования неизвестна，Vitalik Buterin、StarkWare、Node Guardians совместное предприятие CEO Sam Benyakoub、LambdaClass、Zama CEO Rand Hindi、Starknet Ляньчуан Fricoben、FuzzingLabs ожидание голосования。
Kakarot zkEVM — это виртуальная машина Ethereum (EVM), основанная на языке Cairo, которая использует доказательства STARK для доказуемых транзакций и блоков, обеспечивая прозрачность и безопасность.
CairoVM обеспечивает доказуемость вычислений, используя полиномы и систему доказательств ZK-STARK. ZkEVM характеризуется способностью генерировать доказуемые транзакции, которые приводят к доказуемым блокам. Kakarot построен на основе CairoVM, и каждая транзакция, выполненная в Kakarot, доказуема.
Kakarot zkEVM позволяет командам создавать и развертывать приложения EVM. Разработчики могут развернуть любой Solidity (или любой EVM-совместимый язык) на Kakarot точно так же, как на Ethereum или Polygon. Затем их конечные пользователи могут использовать свою обычную цепочку инструментов (маленький лисий кошелек, подключение к кошельку и т. д.) для взаимодействия с DApp.
В конечном итоге Kakarot обеспечит совместимость с собственными протоколами Starknet и возможность компоновки между протоколами, например, объединяя TVL в DeFi с пользовательской базой в GameFi.
\
Фрактальное масштабирование Kakarot zkEVM может существовать в разных формах, во-первых, он может быть развернут в виде смарт-контракта поверх Starknet L2, таким образом появляясь (раскрывая) EVM в Starknet (Ethereum RPC, транзакция Ethereum и т. д.).
Кроме того, Kakarot можно интегрировать в стек для развертывания L3 zkEVM. Вот тут-то и появляется сортировщик Мадары.
Комбинируя Madara (полный узел Starknet) и Kakarot (среда выполнения EVM), можно создать L3 zkEVM. Стек выглядит следующим образом: полный узел Substrate, использующий CairoVM в качестве механизма выполнения, и Kakarot в качестве среды выполнения смарт-контракта.
Транзакции на Kakarot могут быть подтверждены и проверены на уровне расчетов, что позволяет использовать фрактальное масштабирование, совместимое с EVM.
\
Карта маршрута Фаза 1: Kakarot zkEVM в Starknet — добавление EVM в Starknet Kakarot сначала будет существовать в Starknet L2 как встроенная EVM, что позволит разработчикам развертывать свой интеллект Solidity (или любой EVM-совместимый язык) непосредственно в Starknet, используя их знакомые наборы инструментов (Foundry, Hardhat, Wagmi и т. д.). контракт.
Затем их конечные пользователи смогут взаимодействовать со своими DApps, используя свою обычную цепочку инструментов (Metamask, Wallet Connect и т. д.).
Опыт разработчиков и пользователей на Kakarot будет точно таким же, как на Polygon, Scroll или Ethereum L1.
Фаза 2: Какарот x Мадара — L3 zkEVM Какарот и Мадара будут объединены в единый стек для поддержки L3 zkEVM, а также L4, L5 и т. д. Команды смогут развернуть свою цепочку приложений zkEVM и использовать подтверждение действительности для расчетов по транзакциям в Starknet.
Почему Л3? Почему доказуемость?
Доказуемость может реализовывать следующие функции: расчет по цепочке, или расчет по Слою, и проверка по цепочке.
L3, использующие доказательство валидности (например, Kakarot), обладают интересным, но недооцененным свойством: способностью разделять безопасность и децентрализацию. Пользователи могут воспользоваться безопасностью Ethereum L1 без такого же уровня децентрализации.
Из-за расчета в другом слое стоимость газа намного ниже, чем у L2, а производительность (TPS) будет выше. L2 уже намного дешевле, чем L1. Масштабируемость объединения суммируется и умножается.
Для дальнейшего снижения затрат на газ можно разделить контрольную проверку и доступность данных (DA). Starknet L2 можно использовать только в качестве уровня подтверждения, а новые решения для обеспечения доступности данных, такие как Celestia или EigenDA, можно использовать для публикации данных о транзакциях.
Пользователи могут выбрать любой вариант в зависимости от своих требований безопасности. Публикация доказательств и данных о транзакциях в Starknet является более безопасным вариантом, а использование решений DA для публикации данных о транзакциях — более экономичным вариантом.
Фаза 3: Какарот x Мадара - тип 1 zkEVM Какарот и Мадара также могут быть объединены для включения zkEVM типа 1.
Cairo используется для написания правил консенсуса Ethereum в полном узле 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 доказуемым и достаточно дешевым способом.
другие темы исследований Мадара позволяет цепочке Kakarot использовать протокол обмена сообщениями Substrate для межсводной связи.
Модульность Substrate позволяет сети Kakarot внедрять инновации, используя протокол консенсуса.
Обновление без форка Substrate позволяет сети Kakarot обновить свою версию EVM без хардфорка.
официальный округ Колумбия…