Трилема безопасности, децентрализации и масштабируемости зародилась с появлением блокчейна. В Эфире ее пытаются решить довольно элегантным путем. За безопасность и масштабируемость все так же продолжает нести ответственность базовый леер, а вот задачу масштабируемости было решено переложить на молодые плечи L2 сетей.
На практике это означает, что data availability, consensus и settlement, остаются в мэйнете, а L2 фокусируется на исполнение (Execution) транзакций.
Среди разнообразия L2 решений, уже можно выделить лидеров: ZK Rollups и Optimistic Rollups.
На текущий момент, строить Optimistic Rollups на базе Эфира на много проще, чем ZK, т.к. первые по умолчанию совместимы и не требуют дополнительных усилий. Тем не менее по заверению большинства экспертов, ZK имеет ряд преимуществ и являются финальной точкой развития роллапов на эфире, куда будут стремиться и существующие Optimistic Rollups.
Но несмотря на ряд фундаментальных преимуществ, включая высокую производительность и эффективность, ZK Rollups имеют и недостатки. Главный это плохая совместимость с EVM.
Для создания смарт контрактов на Starknet, оптимизированных для ZK proofs, разработчики должны освоить новый язык - Cairo. Это создает высокий барьер для развития экосистемы, который и призван убрать Kakarot. Именно о нем и пойдет речь в этой статье.
Kakarot это реализация Ethereum Virtual Machine (EVM), написанная на Cairo, специально для Starknet. Т.к. ZK имеет свой язык - Cairo и свою виртуальную машину - CairoVM, которые совместимы с криптографическими доказательствами Stark.
Kakarot zkEVM позволяет разработчикам строить или переносить любое приложение написанное на Solidity или любом другом EVM совместимом языке, на Kakarot. А конечный пользователь может взаимодействовать с приложениями через привычные ему инструменты, такие как метамаск и т.д.
Таким образом Kakarot позволяет нам насладиться преимуществами EVM и безопасностью ZK.
Kakarot был написан с использованием всего лишь 10,000 строчек кода, что значительно упрощает процесс аудирования. А так же ускоряет внедрение апдейтов в систему.
Kakarot является открытым кодом, который может проверить абсолютно каждый.
В отличие от других zkEVM, которые берут на себя и функции безопасности, Kakarot оставляет их профессионалам из StarkWare. Которые берут на себя ответственность за аудиты и криптографию. Сам же проект может сфокусироваться исключительно на EVM, не заботясь о доказательной части.
Kakarot zkEVM может существовать в разных формах.
Он может быть развернут, как смарт контракт поверх Starknet L2. Предоставив EVM на базе старкнет, куда войдут использование Ethereum RPC, транзакции Ethereum и т.д.
Kakarot можно интегрировать в стек для развертывания zkEVM L3, где так же будет задействован Madara - сиквенсор. Объединив Madara и Kakarot, можно создать zkEVM L3.