Theo thông báo của PANews vào ngày 30 tháng 4, dựa trên báo cáo của The Block, dự án zkEVM Kakarot được hỗ trợ bởi nhà đồng sáng lập Ethereum Vitalik Buterin và StarkWare đã thông báo hoàn thành việc triển khai đầy đủ chức năng của Máy ảo Ethereum (EVM), với kế hoạch thực hiện chứng minh trực tiếp các block Layer 1 của Ethereum thông qua hệ thống chứng minh STARK trước cuối năm 2025. Dự án được xây dựng bằng ngôn ngữ Cairo do StarkWare phát triển, nhằm cung cấp giải pháp Bằng chứng không tri thức độc lập với ngăn xếp công nghệ chính.
Nhà đồng sáng lập Kakarot Clement Walter cho biết, hệ thống hiện tại đã có thể tạo ra chứng minh block trong 8 giây, nhanh hơn so với khoảng thời gian tạo block 12 giây của Ethereum. Dự án đã thực hiện sự khác biệt về ngăn xếp công nghệ thông qua ngôn ngữ Cairo, tránh phụ thuộc vào các giải pháp chính (như Prover Plonky3 và tập lệnh RISC-V). Lộ trình của Ethereum năm 2028 phụ thuộc vào chứng minh ZK, còn Kakarot tuyên bố đã xây dựng "giải pháp thay thế đáng tin cậy đầu tiên" để tạo ra chứng minh không tri thức cho các block Ethereum so với các ngăn xếp chính. Tiến triển này được công bố đúng vào thời điểm cộng đồng Ethereum đang thảo luận về giải pháp thay thế kiến trúc RISC-V do Vitalik Buterin đề xuất. Đội ngũ Kakarot trả lời rằng, mặc dù việc sử dụng tập lệnh thân thiện với ZK ở lớp thực thi là có lý, nhưng không cần phải vội chuyển sang RISC-V.
