Kakarot: Máy ảo Ethereum do Cairo viết

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

Với tư cách là zkEVM, Kakarot có thể tạo ra các giao dịch và khối có thể chứng minh. Do được xây dựng trên CairoVM, 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 các ứng dụng EVM trên đó, trong khi người dùng cuối có thể tương tác với các ứng dụng bằng các công cụ thông dụng.

Ngoài ra, Kakarot cũng sẽ 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 như DeFi và GameFi.

Lộ trình phát triển

Dự án bắt đầu vào tháng 10 năm 2022, với mục tiêu mã nguồn mở và tạo ra zkEVM với chưa đến 10.000 dòng mã. Mục tiêu này đã được đạt được trong vòng sáu tháng, và 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 của Kakarot zkEVM được chia thành ba giai đoạn:

1. Kakarot zkEVM trên Starknet: Đưa EVM vào Starknet

   Với EVM tích hợp sẵn trong Starknet L2, các nhà phát triển có thể triển khai hợp đồng thông minh Solidity trực tiếp, sử dụng các công cụ quen thuộc như Foundry, Hardhat, v.v. Trải nghiệm người dùng sẽ giống như trên Polygon, Ethereum L1, v.v.

2. Kakarot x Madara：L3 zkEVMs

   Tích hợp Kakarot và Madara, triển khai L3 zkEVMs, có thể mở rộng lên L4, L5 nếu cần. Nhóm có thể triển khai chuỗi ứng dụng zkEVM, sử dụng chứng minh hiệu quả để thanh toán giao dịch trên Starknet. Kiến trúc L3 này có thể tách biệt tính bảo mật và phi tập trung, người dùng hưởng lợi từ tính bảo mật của Ethereum L1 mà không cần mức độ phi tập trung tương đương.

3. Kakarot x Madara：loại 1 zkEVM

   Nếu có thể viết quy tắc đồng thuận Ethereum bằng Cairo và chuyển từ Pedersen Merkle Patricia Trie sang Keccak MPT, Kakarot sẽ trở thành một client zkEVM loại 1 có khả năng chứng minh khối L1. Điều này phụ thuộc vào lộ trình của Ethereum, đặc biệt là sự phát triển của giai đoạn Verge.

Tổng quan về đội ngũ

Đội ngũ cốt lõi của Kakarot ra đời từ một cuộc hackathon ở Lisbon. Hiện tại có hơn 40 người đóng góp tham gia phát triển dự án.

Các thành viên chính 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 toàn diện.
• Clément Walter: Đồng sáng lập và CTO, có nền tả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ể chưa được công bố. Các nhà đầu tư bao gồm Starkware, LambDa và những người khác. Các nhà đầu tư thiên thần có Vitalik Buterin, đồng sáng lập Ledger Nicolas Bacca và đồng sáng lập ZAMA Rand Hindi.

Đánh giá dự án

Kakarot như một triển khai EVM trên Starknet, có thể kết nối hiệu quả Starknet và hệ sinh thái Ethereum, giảm thiểu rào cản phát triển. Ở giai đoạn tương lai sẽ thực hiện nhiều khả năng kết hợp hơn, như kết hợp với các mô-đun như Celestia hoặc EigenDA.

Dự án gắn liền chặt chẽ với hệ sinh thái Starknet, hỗ trợ lẫn nhau. Được sự hỗ trợ của V thần và StarkWare là một lợi thế lớn. Tuy nhiên, so với các dự án zkEVM khác, quy mô đội ngũ Kakarot nhỏ, ngân sách và độ nổi bật thấp hơn, đây cũng là một trong những lý do mà hiện tại nó chưa được triển khai như một zkEVM L2 tổng quát.

Kakarot vẫn đang ở giai đoạn đầu, mạng thử nghiệm sắp được phát hành, đáng để theo dõi sự phát triển của nó.