Kakarot zkEVM: Sử dụng ngôn ngữ Cairo để triển khai Máy ảo Ethereum

Kakarot zkEVM là một triển khai máy ảo Ethereum (EVM) được viết bằng ngôn ngữ Cairo. Cairo là một ngôn ngữ lập trình hoàn chỉnh Turing, liên quan đến CairoVM. CairoVM sử dụng đa thức và hệ thống chứng minh ZK-STARK để thực hiện tính toán có thể chứng minh.

Với tư cách là zkEVM, Kakarot có khả năng tạo ra các giao dịch và khối có thể chứng minh. Do được xây dựng trên Máy ảo Cairo, mỗi giao dịch thực hiện trên Kakarot đều có thể chứng minh. Điều này cho phép các nhà phát triển triển khai ứng dụng EVM trên Kakarot, đồng thời cho phép người dùng tương tác với các ứng dụng này bằng những công cụ quen thuộc.

Ngoài ra, Kakarot còn lên kế hoạch cung cấp khả năng tương tác với giao thức Starknet, mang lại khả năng kết hợp cho các giao thức trong các lĩnh vực khác nhau như DeFi và GameFi.

Lộ trình phát triển

Dự án Kakarot bắt đầu vào tháng 10 năm 2022, với mục tiêu đầy tham vọng là tạo ra một zkEVM với chưa đến 10.000 dòng mã. Mục tiêu này đã được đạt được chỉ trong vòng sáu tháng. Dự án dự kiến sẽ phát hành mạng thử nghiệm vào cuối mùa hè năm 2023.

Lộ trình phát triển của Kakarot zkEVM được chia thành ba giai đoạn:

1. Kakarot zkEVM trên Starknet: Đưa EVM vào hệ sinh thái Starknet.

2. Kakarot x Madara: Hiện thực hóa L3 zkEVMs, cho phép đội ngũ triển khai chuỗi ứng dụng zkEVM của riêng mình.

3. Kakarot x Madara: Thực hiện type 1 zkEVM, có thể chứng minh Ethereum L1 khối.

Nền tảng đội ngũ

Đội ngũ cốt lõi của Kakarot được hình thành từ một cuộc hackathon ở Lisbon, khoảng mười người đã xây dựng một nguyên mẫu zkEVM trong một tuần. Hiện nay, với sự hỗ trợ của quỹ Starknet và Onlydust, Kakarot có hơn 40 nhà đóng góp độc đáo.

Các thành viên cốt lõi bao gồm:

• Elias Tazartes: Đồng sáng lập và CEO, tập trung vào kỹ thuật blockchain và phát triển full-stack.
• Clément Walter: Đồng sáng lập và CTO, có nền tảng đa dạng là nhà khoa học, kỹ sư và doanh nhân.

Tình hình tài trợ

Kakarot đã hoàn thành vòng gọi vốn pre-seed, số tiền cụ thể không được công bố. Các nhà đầu tư bao gồm Starkware và LambDa. Các nhà đầu tư thiên thần bao gồm người sáng lập Ethereum Vitalik Buterin, đồng sáng lập Ledger Nicolas Bacca và đồng sáng lập kiêm CEO của ZAMA Rand Hindi.

Triển vọng dự án

Kakarot như một triển khai EVM trên Starknet, có tiềm năng trở thành cầu nối quan trọng kết nối Starknet và hệ sinh thái Ethereum. Nó có thể giảm thiểu rào cản gia nhập cho các nhà phát triển, đồng thời giữ được tính bảo mật của Ethereum và giảm chi phí.

Tuy nhiên, sự phát triển của Kakarot cũng gắn liền với số phận của Starknet. Sự phát triển liên tục của Starknet là rất quan trọng đối với Kakarot. Mặc dù nhận được sự hỗ trợ từ Vitalik và StarkWare, nhưng so với các dự án zkEVM khác, quy mô đội ngũ Kakarot nhỏ hơn, ngân sách và độ nổi tiếng thương hiệu cũng thấp hơn, đây cũng là một trong những lý do khiến nó chưa được triển khai thành zkEVM L2 phổ biến.

Dự án Kakarot vẫn đang ở giai đoạn đầu, mạng thử nghiệm của nó sắp được phát hành. Khi dự án tiến triển, nó có tiềm năng mang lại giá trị quan trọng cho hệ sinh thái Starknet, nhưng sự thành công của nó còn phụ thuộc vào sự tác động chung của nhiều yếu tố.