zkEVM Kakarot: объединение Ethereum и Starknet
Kakarot — это реализация виртуальной машины Ethereum (EVM) с открытым исходным кодом на базе технологии доказательства с нулевым разглашением (ZK) и языка программирования Cairo. В первую очередь zkEVM Kakarot разрабатывается для внедрения смартконтрактов Ethereum в блокчейн второго уровня Starknet.
Запуск тестового режима Kakarot запланирован на конец августа 2023 года.
Далее последует интеграция zkEVM с сервером Madara, который проверяет и объединяет транзакции в блок. Результатом станут: единый набор инструментов для создания децентрализованных приложений на основе Kakarot и условия для доказуемости и вычислений в офчейн-режиме. Это снизит стоимость комиссии и повысит эффективность работы блокчейнов.
В конечном итоге с помощью Kakarot можно будет достичь совместимости разных Layer-3 решений на Starknet и возможности их взаимодействия в единой экосистеме. Например, DeFi-приложения смогут объединять свою заблокированную стоимость, а пользователи GameFi-проектов использовать один и тот же внутриигровой актив во множествах играх.
Kakarot основали в 2022 году Элиас Тазартес, Клемент Уолтер и Данило Ким.
Должность генерального директора занял Элиас Тазартес. Ангельскими инвесторами стали: учредитель криптографической компании Рэнд Хинди, технический директор Ledger Николя Бакка, основатель Ethereum Виталик Бутерин, а также венчурные фонды StarkWare и Lambda Class.
Комментируя привлечения средств от заметных лидеров криптоиндустрии, CEO Kakarot отметил, что команда учредителей проекта создала его за неделю в Лиссабоне. Они практически не спали и посвящали все время кодированию. Поэтому ему приятно осознавать, что такие личности и компании видят перспективу в их zkEVM и готовы спонсировать проект.
Какую проблему решает Kakarot?
Starknet, блокчейн второго уровня для масштабирования Ethereum, функционирует с помощью виртуальной машины Cairo VM. Для создания dApps на основе этого L2-решения применяется язык программирования Cairo. Это может отталкивать программистов, которые привыкли к популярному языку смартконтрактов Ethereum под названием Solidity, от желания опробовать возможности Starknet.
Kakarot создан, чтобы преодолеть этот барьер. Он обеспечивает совместимость языков программирования Solidity и Cairo, а также виртуальных машин Ethereum и Starknet. С ее помощью смартконтракты, созданные на Ethereum, можно будет запустить в Starknet без манипуляций в их коде.
Таким образом, zkEVM облегчает работу программистам, которые хотят запустить децентрализованные приложения на новом блокчейне второго уровня, но не хотят погружаться в особенности неизвестного им языка программирования.
Как устроена zkEVM Kakarot
Главная особенность виртуальной машины — технология Zero-Knowledge Proof, с помощью которой можно проверять транзакции без раскрытия информации о них, что обеспечивает блокчейну безопасность и конфиденциальность. Комбинация EVM и ZK-Proof возможна благодаря виртуальной компьютерной среде Cairo VM, которая является фундаментом Kakarot.
Также zkEVM использует набор инструментов ZK-Rollup. Этот технологический стек опирается на безопасность Ethereum, но обрабатывает и компилирует транзакции в пакеты вне сети с помощью серверов. Помимо этого, виртуальная машина использует клиент Ethereum JSON-RPC и протокол zk-STARK.
Все это обеспечивает Kakarot низкие комиссии и лучшую пропускную способность относительно платформы Ethereum и ее блокчейнов второго уровня.
zkEVM Kakarot преодолела сразу несколько проблем крипторынка: сложность интероперабельности, плохую масштабируемость, недостаток безопасности. Не удивительно, что проект поддержал Виталик Бутерин, так как успешное внедрение новой виртуальной машины поможет снять часть нагрузки с блокчейна Ethereum и сблизит его с экосистемой Starknet.
