Поддерживаемый Виталиком и StarkWare проект Kakarot планирует реализовать доказательства с нулевым разглашением для Ethereum в реальном времени к концу 2025 года.
TechFlow сообщает, 29 апреля, по данным The Block, стартап Kakarot, совместно инвестируемый сооснователем Ethereum Виталиком Бутерином и компанией StarkWare, завершил рабочую реализацию виртуальной машины Ethereum (EVM) и планирует к концу 2025 года обеспечить генерацию доказательств ZK-STARK для блоков Ethereum Layer 1 в режиме реального времени. CTO Kakarot Клемент Уолтер отметил, что целевой показатель компании — сократить время вычисления доказательства до 8 секунд к концу текущего года, что быстрее стандартных 12 секунд на создание блока в Ethereum. Проект разработан на языке Cairo и предоставляет независимый ZK-стек, не зависящий от RISC-V, rust-evm и Plonky3, что способствует повышению разнообразия и устойчивости ZK-верификации в Ethereum. Исследователь Фонда Ethereum Джастин Дрейк заявил, что это поможет достичь «устойчивости доказательств с нулевым разглашением». Kakarot уже привлек финансирование в размере 6 млн долларов.
