Kakarot, стартап, поддерживаемый cоучредителем эфириума Виталиком Бутериным и компанией StarkWare, занимающийся масштабированием блокчейна, завершили рабочую реализацию виртуальной машины Ethereum, готовую к началу проверки блоков Ethereum Layer 1 в режиме реального времени с использованием системы проверки STARK к концу 2025 года.
«Мы завершили создание нового способа доказательства блоков Ethereum — независимого, zk-native и готового к работе в режиме реального времени», — сказал соучредитель и технический директор Kakarot Клемент Уолтер. «Каждые 12 секунд Ethereum создает блок. К концу этого года мы планируем опубликовать доказательство STARK в течение 8 секунд — быстрее, чем сама цепочка. Именно такая скорость и устойчивость нужны Ethereum».
Kakarot — это zkEVM (виртуальная машина Ethereum с нулевым разглашением), созданная в Каире, открытый исходный код ZK-native языка StarkWare для генерации доказательств STARK. Он использует инфраструктуру проверки StarkWare на основе STARK для создания и отправки криптографических доказательств в Ethereum Layer 1. Kakarot стремится сделать смарт-контракты Ethereum более эффективными, одновременно доказывая, что все транзакции действительны.
Дорожная карта Ethereum до 2028 года основана на доказательствах ZK, и Какарот утверждает, что создал «первую достоверную альтернативу» для генерации доказательств с нулевым разглашением блоков Ethereum по сравнению с доминирующим стеком.
Большинство ZK-EVM сегодня полагаются на одну и ту же реализацию EVM (rust-evm), один и тот же набор инструкций (RISC-V) и один и тот же провер (Plonky3), пояснила команда в заявлении, предоставленном эксклюзивно The Block. Kakarot стремится устранить эту «стратегическую уязвимость» с помощью Cairo, чтобы снизить зависимость от одной системы.
«Противоречивый стек Kakarot — без Plonky3, без revm, без RISC-V — это благо для разнообразия и экспериментов ZK-EVM», — сказал исследователь Ethereum Foundation Джастин Дрейк. «Подобно разнообразию клиентов Consensus Layer и Execution Layer, разнообразие ZK-EVM — это мощный метод достижения устойчивости к снаркофикации, даже если отдельные реализации ZK-EVM считаются глючными».
«В гонке за доказательство ZK в реальном времени на Ethereum Kakarot проложит путь к лидерству, поскольку у него есть суперсила родного языка ZK», — предсказал соучредитель и генеральный директор StarkWare Эли Бен-Сассон. «Другой захватывающий аспект здесь — это крайне важное разнообразие клиентов, которое появится на Ethereum. Все говорят о готовности ZK, но без разнообразия клиентов это хрупкое обещание. Kakarot поставляет первый альтернативный стек ZK на Ethereum — другой путь».
Дебаты по поводу RISC-V
Заявление Какаротта последовало за недавним предложением Виталика Бутерина повысить масштабируемость Ethereum, заменив байт-код виртуальной машины Ethereum (EVM) на архитектуру RISC-V с открытым исходным кодом. Бутерин сказал, что «радикальная» и «амбициозная» идея может быть «единственным жизнеспособным путем» для значительного масштабирования уровня исполнения Ethereum и может сократить затраты на исполнение в цепочке в некоторых случаях до 100 раз. «Старые контракты EVM продолжат работать и будут полностью двусторонне совместимы с контрактами RISC-V нового стиля», — отметил Бутерин.
В ответ на это Уолтер заявил во вторник, что, хотя набор инструкций, совместимый с ZK, имеет смысл для уровня исполнения, нет необходимости торопиться с принятием RISC-V. «Наше сегодняшнее объявление демонстрирует, что мы не должны ограничиваться повторным использованием существующего стека и можем построить высокопроизводительную систему, адаптированную к потребностям производительности Ethereum».
Базирующаяся в Париже команда из 10 человек, компания Kakarot получила финансирование в размере 6 миллионов долларов от криптоаборигенов, включая Бутерина и StarkWare, превратившись из общественного проекта по написанию операционных кодов Ethereum в Каире в разработчика инфраструктуры блокчейна следующего поколения.
Фонд Ethereum Foundation представил новую структуру управления и правления в сообщении на форуме, опубликованном в понедельник, в преддверии запланированного на 7 мая обновления основной сети протокола Pectra, призванного улучшить пользовательский опыт, повысить масштабируемость накоплений и повысить верхний предел ставок валидаторов.
