📍 Kakarot ra mắt zkEVM viết bằng Cairo, hướng tới STARK proof thời gian thực cho Ethereum

📌 Kakarot – một zkEVM viết bằng ngôn ngữ Cairo – vừa công bố khả năng tạo STARK proof độc lập cho từng block Ethereum, với mục tiêu đạt chứng minh thời gian thực vào cuối năm 2025.

📌 Không giống các zkEVM khác như Scroll hay zkSync dùng stack phổ biến (revm, Plonky3), Kakarot chọn cách xây từ con số 0 theo hướng “ZK-native”, cho phép tích hợp logic tạo bằng chứng ngay trong từng dòng mã để tăng tốc độ và bảo mật.

📌 Dự án đặt mục tiêu tạo proof cho block Ethereum chỉ trong 8 giây – nhanh hơn cả chu kỳ tạo block gốc (12 giây), mở ra tiềm năng xây dựng một lớp proving client độc lập cho Ethereum, giúp xác minh logic mạng lưới.

📌 Các nhà phát triển Ethereum đánh giá đây là bước tiến lớn giúp đa dạng hoá giải pháp zkEVM và gia cố độ tin cậy hạ tầng Layer-1 trong tương lai.