Kakarot — это новаторская виртуальная машины Ethereum c нулевым разглашение (zkEVM), построенная поверх CairoVM, виртуальной машины сети StarkNet. Основная задача Kakarot — предоставить разработчикам возможно использовать знакомые инструменты, такие как язык смарт-контрактов Solidity.
Обзор Kakarot zkEVM
Kakarot предназначен специально для тех разработчиков, которым необходимо создавать и развертывать смарт-контракты таким образом, как если бы они работали на Ethereum. Платформа позволяет обеспечить полноценную совместимость смарт-контрактов, написанных на Solidity с виртуальной машиной CairoVM сети StarkNet.
Разработчики Kakarot планируют обеспечить полную совместимость EVM со StarkNet и создать инструмент zkRollup как услугу. Kakarot находится на пути к тому, чтобы стать zkEVM типа 2.5 (согласно типологии Виталика Бутерина), предлагая совместимость с существующим кодом EVM. Его инновационное решение сочетает в себе преимущества криптографии с нулевым разглашением и эффективность EVM, прокладывая путь к масштабируемым и безопасным децентрализованным приложениям (dApps).
Проще говоря, Kakarot позволяет разработчикам легко и беспрепятственно запускать смарт-контракты Ethereum, написанные на Solidity, в Starknet, не требуя каких-либо изменений в их коде!
Основые принципы
В центре внимания платформы Kakaron стоят 3 основных принципа:
- Полная совместимость с EVM. Kakarot zkEVM полностью совместим с виртуальной машиной Ethereum (EVM). Разработка на Kakarot и взаимодействие с децентрализованными приложениями (dApps) выглядят так же, как и на Ethereum. Kakarot обеспечит совместимость с собственными протоколами Starknet и возможность компоновки между протоколами.
- Масштабируемость. Используя преимущества масштабируемости Validity Rollups, STARK и Starkware CairoVM, Kakarot масштабирует Ethereum за счет пакетной обработки проверяемых транзакций. Kakarot стремится стать крупным поставщиком сети приложений zkEVM.
- Безопасность. Kakarot является частью технического стека zkRollup. Он наследует свою безопасность от Ethereum L1 через доказательства достоверности. Чтобы обеспечить целостность виртуальной машины Ethereum, Kakarot будет подвергаться основным наборам тестов Ethereum.
Архитектура Kakarot
Важные моменты, которые нужно знать о Kakaron и его архитектуре:
- Kakarot не является блокчейном, — это смарт-контракт, развернутый в StarkNet.
- Kakarot представляет из себя интерпретатор байт-кода EVM.
- Kakarot не является компилятором, не преобразовывает код Solidity в код Cairo.
- Возможности Kakarot:
- Выполнение произвольного байт-кода EVM.
- Разворачивание смарт-контрактов EVM.
- Вызов функций смарт-контрактов EVM, развернутых в Kakarot (чтение и методы записи).
На данный момент, решение находится на раннем этапе разработки, а запуск публичной тестовой сети запланирован на конец лета 2023 года.
