Kakarot zkEVM: Máy ảo Ethereum được xây dựng bằng ngôn ngữ Cairo

Kakarot zkEVM là một máy ảo Ethereum được viết bằng ngôn ngữ Cairo (EVM). Cairo là ngôn ngữ 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.

Là một 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 ứng dụng EVM trên Kakarot, trong khi người dùng có thể sử dụng các công cụ quen thuộc để tương tác với các ứng dụng này.

Kakarot còn cung cấp khả năng tương tác với giao thức Starknet, mang đến 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 Kakarot bắt đầu vào tháng 10 năm 2022, mục tiêu là tạo ra một zkEVM với chưa đến 10,000 dòng mã. Chỉ trong vòng sáu tháng, mục tiêu này đã được thực hiện 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

   Ở giai đoạn này, Kakarot zkEVM sẽ tồn tại như một EVM tích hợp trong L2 của Starknet. Các nhà phát triển có thể triển khai hợp đồng thông minh Solidity trực tiếp 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ẽ giống như trên Polygon hoặc Ethereum L1.

2. Kakarot x Madara: L3 zkEVMs

Kakarot sẽ tích hợp với Madara, thực hiện L3 zkEVMs. Nhóm có thể triển khai chuỗi ứng dụng zkEVM của riêng họ, sử dụng chứng minh hiệu lực để thanh toán giao dịch trên Starknet. Giải pháp L3 này có thể giảm yêu cầu phi tập trung trong khi vẫn giữ an toàn cho Ethereum L1, từ đó giảm đáng kể chi phí gas và cải thiện hiệu suất.

3. Kakarot x Madara: loại 1 zkEVM

   Bằng cách viết quy tắc đồng thuận Ethereum bằng Cairo trong nút toàn phần Madara x Kakarot, và chuyển từ MPT Pedersen sang MPT Keccak, Kakarot hy vọng sẽ trở thành một khách hàng zkEVM loại 1, có khả năng chứng minh khối L1. Việc thực hiện trường hợp sử dụng cao cấp này phụ thuộc vào lộ trình phát triển của Ethereum.

Cấu trúc đội ngũ

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

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

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

Tình hình tài chính

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 các tổ chức như Starkware, LambDa, cùng với các nhà đầu tư thiên thần như Vitalik Buterin, đồng sáng lập Ledger Nicolas Bacca và CEO ZAMA Rand Hindi.

Phân tích triển vọng dự án

Kakarot như là một sự triển khai EVM trên Starknet, hứa hẹn sẽ trở thành cầu nối quan trọng giữa Starknet và hệ sinh thái Ethereum. Nó có thể giảm bớt rào cản cho các nhà phát triển khi tham gia vào Starknet, đồng thời cung cấp cho người dùng trải nghiệm quen thuộc của Ethereum.

Ưu điểm của dự án bao gồm:

1. Kết hợp chặt chẽ với hệ sinh thái Starknet, cùng có lợi và phát triển.
2. Nhận được sự ủng hộ của những nhân vật quan trọng trong ngành như V神 và StarkWare
3. Thiết kế mô-đun, có thể kết hợp với các giải pháp Layer 2 khác

Những thách thức phải đối mặt:

1. Quy mô đội ngũ nhỏ, tài nguyên hạn chế
2. Dự án vẫn đang ở giai đoạn đầu, cần thời gian để xác minh
3. Phụ thuộc vào sự phát triển của Starknet, có một số rủi ro nhất định.

Tổng thể, Kakarot đại diện cho một hướng đổi mới của công nghệ zkEVM, hứa hẹn mang lại nhiều khả năng hơn cho hệ sinh thái Starknet. Với việc mạng thử nghiệm sắp ra mắt, hiệu suất thực tế của dự án đáng được chú ý.