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à một 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.

Các đặc điểm của zkEVM là có thể tạo ra các giao dịch và khối có thể chứng minh. Bởi vì Kakarot được xây dựng trên CairoVM, nên mọi giao dịch thực hiện trên đó đều có thể chứng minh.

Tổng thể, Kakarot zkEVM sử dụng ngôn ngữ Cairo và hệ thống chứng minh ZK-STARK để cung cấp khả năng tính toán có thể chứng minh. Nó cho phép các nhà phát triển triển khai ứng dụng EVM và cho phép người dùng tương tác với các ứng dụng này bằng các công cụ phổ biến.

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

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

   Kakarot zkEVM sẽ được hiện diện đầu tiên như một EVM tích hợp trong L2 của Starknet. Các nhà phát triển có thể trực tiếp triển khai hợp đồng thông minh Solidity trên Starknet và sử dụng các công cụ quen thuộc. Trải nghiệm người dùng sẽ tương tự như trên Polygon, Scroll hoặc Ethereum L1.

2. Kakarot x Madara:L3 zkEVMs

Kakarot và Madara sẽ tích hợp, để kích hoạt L3 zkEVMs, thậm chí L4, L5, v.v. Nhóm có thể triển khai chuỗi ứng dụng zkEVM và sử dụng chứng minh hiệu lực để thanh toán giao dịch trên Starknet. Cách này có thể tách biệt an ninh và phi tập trung, đồng thời giảm chi phí, nâng cao hiệu suất.

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 từ Pedersen MPT sang Keccak MPT, Kakarot có thể trở thành khách hàng 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 phát triển của Ethereum, đặc biệt là bản nâng cấp Verge.

Độ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 góp viê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 stack
• Clément Walter: Đồng sáng lập và CTO, nhà khoa học, kỹ sư và doanh nhân

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

Tóm tắt

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. Nó giảm bớt rào cản phát triển, cho phép các dự án trong hệ sinh thái Ethereum có thể xây dựng trên Starknet, đồng thời duy trì tính bảo mật và chi phí thấp của Ethereum.

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

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