Kakarot выпустил стек, заменяющий Эфир ZK, планируется к реализации в реальном времени STARK доказательства на Ethereum L1 до конца года.

PANews 30 апреля сообщает, что проект zkEVM Kakarot, поддерживаемый соучредителем Ethereum Виталиком Бутериным и StarkWare, объявил о завершении полной реализации Виртуальной машины Ethereum (EVM) и планирует к концу 2025 года осуществлять реальное доказательство блоков Ethereum Layer1 через систему STARK. Проект построен на языке Cairo, разработанном StarkWare, и нацелен на предоставление решений по zk-SNARKs, независимых от основных технологических стеков. Клемент Уолтер, соучредитель Kakarot, сказал, что нынешняя система способна генерировать доказательства блоков менее чем за 8 секунд, что быстрее, чем 12-секундный интервал блока Ethereum. Проект дифференцирует технологический стек с помощью языка Cairo и позволяет избежать использования основных решений, таких как Plonky3 protender и набор инструкций RISC-V. Дорожная карта Ethereum на 2028 год опирается на доказательства ZK, и Kakarot утверждает, что создал «первую надежную альтернативу» генерации доказательств блоков Ethereum с нулевым разглашением по сравнению с основными стеками. Релиз происходит в то время, когда сообщество Ethereum обсуждает альтернативу архитектуре RISC-V, предложенную Виталиком Бутериным. Команда Kakarot ответила, что, хотя для уровня выполнения имеет смысл принять дружественный к ZK набор инструкций, нет необходимости спешить с переходом на RISC-V.