Kakarot: Giải pháp zkEVM dựa trên Cairo đổi mới

Kakarot zkEVM là một 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 đầy đủ Turing, gắn liền với 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ể xác minh.

Là một loại zkEVM, Kakarot có thể tạo ra các giao dịch và khối có thể xác minh. Vì được xây dựng trên CairoVM, mỗi giao dịch thực hiện trên Kakarot đều có thể xác minh. Kakarot zkEVM cho phép các nhà phát triển triển khai ứng dụng EVM, trong khi người dùng có thể sử dụng các công cụ thông dụng để tương tác với những ứng dụng này. Ngoài ra, Kakarot còn cung cấp khả năng tương tác với giao thức Starknet, mang lại tính tổng 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 trong chưa đầy 10.000 dòng mã. Chỉ sau sáu tháng đã đạt được mục tiêu đầy tham vọng này. Mạng thử nghiệm dự kiến sẽ được phát hành 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 Starknet

   Là EVM được tích hợp sẵn trong Starknet L2, các nhà phát triển có thể trực tiếp triển khai hợp đồng thông minh Solidity( hoặc các ngôn ngữ tương thích EVM khác) trên Starknet, và 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ẽ hoàn toàn giống với Polygon, Scroll hoặc Ethereum L1.

2. Kakarot x Madara:L3 zkEVMs

Kakarot và Madara sẽ được tích hợp, hỗ trợ L3 zkEVMs và các cấp cao hơ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 an ninh và phi tập trung, người dùng được hưởng lợi từ an ninh của Ethereum L1 trong khi giảm chi phí gas.

3. Kakarot x Madara:type 1 zkEVM

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

Đội ngũ cốt lõi

Nhóm cốt lõi của Kakarot xuất phát từ một sự kiện hackathon ở Lisbon, khoảng 10 người đã xây dựng nguyên mẫu zkEVM trong vòng một tuần. Hiện tại, dưới sự hỗ trợ của quỹ Starknet và Onlydust, đã có hơn 40 người đóng góp.

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 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 tiết lộ. Các nhà đầu tư bao gồm Starkware và LambDa. Các nhà đầu tư thiên thần có nhà 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ó thể kết nối tốt giữa Starknet và hệ sinh thái Ethereum, giảm bớt rào cản phát triển. Trong tương lai, nó cũng 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.

Là một phần quan trọng của hệ sinh thái Starknet, sự phát triển của Kakarot có mối liên hệ chặt chẽ với Starknet. Được sự hỗ trợ của V God và StarkWare là lợi thế, nhưng quy mô đội ngũ nhỏ và tài nguyên hạn chế cũng là bất lợi.

So với các zkEVM khác, Kakarot chọn tập trung vào hệ sinh thái Starknet thay vì triển khai L2 độc lập. Dự án vẫn đang ở giai đoạn đầu, mạng thử nghiệm sắp được phát hành, đáng để tiếp tục theo dõi sự phát triển của nó.