Kakarot: Dự án zkEVM đổi mới được phát triển 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ữ lập trình đầy đủ Turing liên quan đến CairoVM, CairoVM thực hiện tính toán có thể xác minh thông qua hệ thống chứng minh đa thức và ZK-STARK.

Là một loại zkEVM, Kakarot có khả năng 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 được thực hiện trên Kakarot đều có thể xác minh. 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ể xác minh, cho phép các nhà phát triển triển khai ứng dụng EVM trên đó 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ụ quen thuộc.

Ngoài ra, kế hoạch Kakarot 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 khác nhau 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 các mục tiêu chính bao gồm phát triển mã nguồn mở và tạo zkEVM với chưa đến 10.000 dòng mã. Trong vòng 6 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 phát triển của Kakarot zkEVM được chia thành ba giai đoạn:

Giai đoạn một: Xây dựng môi trường EVM trên Starknet

Kakarot zkEVM sẽ được tồn tại như một EVM tích hợp bên trong Starknet L2, cho phép các nhà phát triển triển khai trực tiếp 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ụ phát triển quen thuộc. Người dùng có thể tương tác với dApp bằng ví phổ biến, trải nghiệm sẽ tương tự như trên Polygon, Scroll hoặc Ethereum L1.

Giai đoạn hai: Tích hợp với Madara, thực hiện L3 zkEVM

Kakarot và Madara sẽ được tích hợp thành một công nghệ thống nhất, để kích hoạt L3 zkEVM, và có thể mở rộng lên các cấp độ L4, L5 nếu cần thiết. Nhóm có thể triển khai các chuỗi ứng dụng zkEVM riêng của mình, sử dụng chứng minh hiệu quả để thanh toán giao dịch trên Starknet. Cấu trúc L3 này có thể tách biệt bảo mật và phi tập trung, người dùng có thể tận hưởng bảo mật của Ethereum L1 trong khi giảm nhu cầu về một lượng lớn nút xác minh.

Kiến trúc này có thể giảm đáng kể chi phí gas và cải thiện hiệu suất. Để tối ưu hóa thêm, có thể tách việc xác minh chứng minh và khả năng sẵn có của dữ liệu (DA). Starknet L2 có thể hoạt động như một lớp xác minh chứng minh, trong khi các giải pháp DA mới như Celestia hoặc EigenDA có thể được sử dụng để phát hành dữ liệu giao dịch.

Giai đoạn ba: Thực hiện type 1 zkEVM

Thông qua việc viết quy tắc đồng thuận Ethereum bằng Cairo trong nút đầy đủ Madara x Kakarot, và chuyển từ Pedersen Merkle Patricia Trie(MPT) sang Keccak MPT, Kakarot hy vọng sẽ trở thành khách hàng zkEVM loại 1, có khả năng xác thực khối L1. Việc đạt được mục tiê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. Sau bản nâng cấp Verge, keccak có thể được poseidon thay thế trở thành hàm băm ưa thích của Ethereum, điều này sẽ giúp đội ngũ zkEVM đạt được khả năng tương thích loại 1.

Cấu trúc độ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 10 người đã xây dựng nguyên mẫu zkEVM trong vòng một tuần. Hiện tại, với sự hỗ trợ của quỹ Starknet và Onlydust, Kakarot có hơn 40 nhà đóng góp độc lập.

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 toàn diện.
• Clément Walter: Đồng sáng lập và CTO, có nền tảng đa dạng với vai trò 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ể 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 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, được viết bằng Cairo trên Starknet, hy vọng sẽ trở thành cây cầu quan trọng kết nối Starknet và hệ sinh thái Ethereum. Nó có thể giảm bớt rào cản gia nhập cho các nhà phát triển, giúp các dự án trong hệ sinh thái Ethereum dễ dàng xây dựng trên Starknet, đồng thời giữ được tính bảo mật của Ethereum và giảm chi phí.

Sự phát triển của Kakarot gắn liền với hệ sinh thái Starknet. Khi Starknet liên tục nâng cấp cải thiện trải nghiệm người dùng, zkEVM được xây dựng bởi Kakarot cũng sẽ đóng góp vào sự thịnh vượng của hệ sinh thái. Tuy nhiên, tình trạng phát triển của Starknet cũng sẽ ảnh hưởng trực tiếp đến triển vọng của Kakarot.

Việc nhận được sự ủng hộ của Vitalik Buterin và StarkWare là một lợi thế lớn của Kakarot, điều này không chỉ thể hiện về mặt tinh thần mà còn bao gồm cả sự hỗ trợ tài chính.

So với các dự án zkEVM khác, Kakarot đang phải đối mặt với những thách thức như quy mô đội ngũ nhỏ, ngân sách và độ phổ biến thấp, đâ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 phổ quát.

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