Kakarot випустив стек заміни для Ethereum ZK, планується реалізація реальних STARK доказів на Ethereum L1 до кінця року.

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