Kakarot zkEVM: Máy ảo Ethereum được viết bằng ngôn ngữ Cairo
Kakarot zkEVM là một Máy ảo Ethereum (EVM) được viết bằng ngôn ngữ Cairo. Cairo là ngôn ngữ Turing đầy đủ liên kết 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ể chứng minh.
Một đặc điểm chính của zkEVM là khả năng tạo ra các giao dịch và khối có thể chứng minh. Do 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 kết hợp 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 trên đó, đồng thời cho phép người dùng sử dụng các công cụ quen thuộc để tương tác với những ứng dụng này.
Ngoài ra, Kakarot còn kế hoạch cung cấp khả năng tương tác với giao thức Starknet, mang lại tính kết hợp cao hơn 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 Kakarot bắt đầu vào tháng 10 năm 2022, với một trong những mục tiêu đầy tham vọng là tạo ra một zkEVM với chưa đến 10.000 dòng mã. Chỉ trong 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.
Kakarot zkEVM的发展路线分为三个阶段:
Kakarot zkEVM trên Starknet - Đưa EVM vào Starknet
Kakarot x Madara - Thực hiện L3 zkEVMs
Kakarot x Madara - Thực hiện type 1 zkEVM
Giai đoạn đầu tiên sẽ đưa Kakarot zkEVM như một EVM tích hợp vào Starknet L2, cho phép các nhà phát triển triển khai hợp đồng thông minh Solidity trực tiếp trên Starknet.
Giai đoạn thứ hai sẽ tích hợp Kakarot và Madara, kích hoạt L3 zkEVMs, và thậm chí có thể đạt được các cấp độ cao hơn như L4, L5. Điều này sẽ cho phép đội ngũ triển khai chuỗi ứng dụng zkEVM của riêng họ và tận dụng chứng minh hiệu lực để thanh toán giao dịch trên Starknet.
Mục tiêu giai đoạn ba là đạt được zkEVM type 1, điều này đòi hỏi phải viết quy tắc đồng thuận Ethereum bằng Cairo và chuyển đổi từ Pedersen Merkle Patricia Trie sang Keccak MPT.
Cấu trúc đội ngũ
Nhóm cốt lõi của Kakarot được hình thành từ một cuộc hackathon ở Lisbon, khoảng mười người đã xây dựng một nguyên mẫu zkEVM trong 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á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 toàn diện.
Clément Walter: Đồng sáng lập và CTO, có nhiều nền tảng như 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 công bố. 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 ZAMA Rand Hindi.
Triển vọng dự án
Kakarot, với tư cách là một triển khai EVM 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 phát triển, giúp các dự án trong hệ sinh thái Ethereum dễ dàng xây dựng ứng dụng trên Starknet.
Tuy nhiên, sự phát triển của Kakarot cũng phần lớn phụ thuộc vào sự tiến triển tổng thể của hệ sinh thái Starknet. Nếu Starknet tiếp tục phát triển mạnh mẽ, Kakarot sẽ được hưởng lợi; ngược lại cũng vậy.
So với các dự án zkEVM khác, quy mô đội ngũ và nguồn lực của Kakarot tương đối hạn chế, đây cũng là một trong những lý do mà nó chưa được triển khai như một zkEVM L2 tổng quát.
Dù vậy, Kakarot đã nhận được sự ủng hộ từ Vitalik Buterin và StarkWare, điều này chắc chắn là một tín hiệu tích cực. Với việc mạng thử nghiệm sắp ra mắt, sự phát triển tương lai của Kakarot đáng được mong đợi. Thành công của dự án sẽ phụ thuộc vào việc thực hiện công nghệ, xây dựng hệ sinh thái và sự phát triển hợp tác với Starknet.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
17 thích
Phần thưởng
17
6
Đăng lại
Chia sẻ
Bình luận
0/400
BearMarketSurvivor
· 07-13 15:04
Chiến báo: Đội ngũ nhỏ mà tinh gọn, Vitalik Buterin trực tiếp lên xe ủng hộ
Xem bản gốcTrả lời0
LiquidatedAgain
· 07-11 13:52
Một lần nữa All in thế giới tiền điện tử câu chuyện mới?
Kakarot zkEVM: Máy ảo Ethereum được xây dựng bằng Cairo đưa EVM vào hệ sinh thái Starknet
Kakarot zkEVM: Máy ảo Ethereum được viết bằng ngôn ngữ Cairo
Kakarot zkEVM là một Máy ảo Ethereum (EVM) được viết bằng ngôn ngữ Cairo. Cairo là ngôn ngữ Turing đầy đủ liên kết 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ể chứng minh.
Một đặc điểm chính của zkEVM là khả năng tạo ra các giao dịch và khối có thể chứng minh. Do 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 kết hợp 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 trên đó, đồng thời cho phép người dùng sử dụng các công cụ quen thuộc để tương tác với những ứng dụng này.
Ngoài ra, Kakarot còn kế hoạch cung cấp khả năng tương tác với giao thức Starknet, mang lại tính kết hợp cao hơn 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 Kakarot bắt đầu vào tháng 10 năm 2022, với một trong những mục tiêu đầy tham vọng là tạo ra một zkEVM với chưa đến 10.000 dòng mã. Chỉ trong 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.
Kakarot zkEVM的发展路线分为三个阶段:
Giai đoạn đầu tiên sẽ đưa Kakarot zkEVM như một EVM tích hợp vào Starknet L2, cho phép các nhà phát triển triển khai hợp đồng thông minh Solidity trực tiếp trên Starknet.
Giai đoạn thứ hai sẽ tích hợp Kakarot và Madara, kích hoạt L3 zkEVMs, và thậm chí có thể đạt được các cấp độ cao hơn như L4, L5. Điều này sẽ cho phép đội ngũ triển khai chuỗi ứng dụng zkEVM của riêng họ và tận dụng chứng minh hiệu lực để thanh toán giao dịch trên Starknet.
Mục tiêu giai đoạn ba là đạt được zkEVM type 1, điều này đòi hỏi phải viết quy tắc đồng thuận Ethereum bằng Cairo và chuyển đổi từ Pedersen Merkle Patricia Trie sang Keccak MPT.
Cấu trúc đội ngũ
Nhóm cốt lõi của Kakarot được hình thành từ một cuộc hackathon ở Lisbon, khoảng mười người đã xây dựng một nguyên mẫu zkEVM trong 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ác thành viên cốt lõi bao gồm:
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 công bố. 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 ZAMA Rand Hindi.
Triển vọng dự án
Kakarot, với tư cách là một triển khai EVM 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 phát triển, giúp các dự án trong hệ sinh thái Ethereum dễ dàng xây dựng ứng dụng trên Starknet.
Tuy nhiên, sự phát triển của Kakarot cũng phần lớn phụ thuộc vào sự tiến triển tổng thể của hệ sinh thái Starknet. Nếu Starknet tiếp tục phát triển mạnh mẽ, Kakarot sẽ được hưởng lợi; ngược lại cũng vậy.
So với các dự án zkEVM khác, quy mô đội ngũ và nguồn lực của Kakarot tương đối hạn chế, đây cũng là một trong những lý do mà nó chưa được triển khai như một zkEVM L2 tổng quát.
Dù vậy, Kakarot đã nhận được sự ủng hộ từ Vitalik Buterin và StarkWare, điều này chắc chắn là một tín hiệu tích cực. Với việc mạng thử nghiệm sắp ra mắt, sự phát triển tương lai của Kakarot đáng được mong đợi. Thành công của dự án sẽ phụ thuộc vào việc thực hiện công nghệ, xây dựng hệ sinh thái và sự phát triển hợp tác với Starknet.