Kakarot zkEVM là một triển khai máy ảo Ethereum (EVM) được viết bằng ngôn ngữ Cairo. Cairo là ngôn ngữ lập trình hoàn chỉnh theo kiểu 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à 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 được 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 những ứng dụng này.
Kakarot cũng 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 Kakarot được khởi động vào tháng 10 năm 2022, với mục tiêu mã nguồn mở và tạo ra một zkEVM với chưa đến 10,000 dòng mã. Trong vòng sáu tháng ngắn ngủi, mục tiêu này đã được hoàn thành, 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:
Kakarot zkEVM trên Starknet: Đưa EVM vào Starknet
Là một EVM tích hợp 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 bằng Solidity (hoặc bất kỳ ngôn ngữ nào tương thích EVM) và sử dụng các công cụ quen thuộc. Trải nghiệm người dùng sẽ giống như trên Polygon, Scroll hoặc Ethereum L1.
Kakarot x Madara：L3 zkEVMs
Tích hợp Kakarot và Madara, để thực hiện L3 zkEVMs, thậm chí là 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 lực để thanh toán giao dịch trên Starknet. Cách này có thể tách rời tính bảo mật và phi tập trung, đồng thời giảm chi phí và nâng cao hiệu suất.
Kakarot x Madara：type 1 zkEVM
Bằng cách viết các quy tắc đồng thuận Ethereum bằng Cairo trong nút đầy đủ Madara x Kakarot, và chuyển từ Pedersen MPT sang Keccak MPT, 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 các khối L1.
Nền tảng đội ngũ
Đội ngũ cốt lõi của Kakarot ra đời từ một cuộc hackathon ở Lisbon. Hiện tại, dưới sự hỗ trợ của quỹ Starknet và Onlydust, Kakarot có hơn 40 nhà đóng góp độc đáo.
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, 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ể chưa đượ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 Vitalik Buterin, đồng sáng lập Ledger Nicolas Bacca và đồng sáng lập kiêm CEO của ZAMA Rand Hindi.
Ưu điểm và thách thức của dự án
Kakarot là EVM được viết bằng Cairo trên Starknet, có khả năng 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 xây dựng trên Starknet, đồng thời duy trì tính bảo mật của Ethereum và giảm chi phí.
Tuy nhiên, sự phát triển của Kakarot gắn liền chặt chẽ với hệ sinh thái Starknet. Nếu Starknet phát triển không thuận lợi, Kakarot cũng sẽ bị ảnh hưởng. 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 tại sao hiện tại nó chưa được triển khai dưới dạng zkEVM L2 chung.
Mặc dù vậy, Kakarot đã nhận được sự hỗ trợ từ Vitalik Buterin và StarkWare, điều này là một sự bổ sung quan trọng cả về tài chính lẫn tinh thần. Dự án vẫn đang ở giai đoạn đầu, mạng thử nghiệm sắp được phát hành, xứng đáng để tiếp tục theo dõi sự phát triển của nó.
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.
15 thích
Phần thưởng
15
4
Chia sẻ
Bình luận
0/400
MemeCoinSavant
· 07-20 01:32
nghiên cứu zkvm dựa trên vừa được Thả fr fr
Xem bản gốcTrả lời0
MetaLord420
· 07-20 01:30
Vitalik Buterin lại đầu tư vào dự án mới? Hãy xem nào.
Kakarot zkEVM: Máy ảo Ethereum được xây dựng bằng Cairo sắp đăng nhập Starknet
Kakarot zkEVM: Máy ảo Ethereum dựa trên Cairo
Kakarot zkEVM là một triển khai máy ảo Ethereum (EVM) được viết bằng ngôn ngữ Cairo. Cairo là ngôn ngữ lập trình hoàn chỉnh theo kiểu 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à 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 được 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 những ứng dụng này.
Kakarot cũng 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 Kakarot được khởi động vào tháng 10 năm 2022, với mục tiêu mã nguồn mở và tạo ra một zkEVM với chưa đến 10,000 dòng mã. Trong vòng sáu tháng ngắn ngủi, mục tiêu này đã được hoàn thành, 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:
Kakarot zkEVM trên Starknet: Đưa EVM vào Starknet
Là một EVM tích hợp 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 bằng Solidity (hoặc bất kỳ ngôn ngữ nào tương thích EVM) và sử dụng các công cụ quen thuộc. Trải nghiệm người dùng sẽ giống như trên Polygon, Scroll hoặc Ethereum L1.
Kakarot x Madara：L3 zkEVMs
Tích hợp Kakarot và Madara, để thực hiện L3 zkEVMs, thậm chí là 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 lực để thanh toán giao dịch trên Starknet. Cách này có thể tách rời tính bảo mật và phi tập trung, đồng thời giảm chi phí và nâng cao hiệu suất.
Kakarot x Madara：type 1 zkEVM
Bằng cách viết các quy tắc đồng thuận Ethereum bằng Cairo trong nút đầy đủ Madara x Kakarot, và chuyển từ Pedersen MPT sang Keccak MPT, 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 các khối L1.
Nền tảng đội ngũ
Đội ngũ cốt lõi của Kakarot ra đời từ một cuộc hackathon ở Lisbon. Hiện tại, dưới sự hỗ trợ của quỹ Starknet và Onlydust, Kakarot có hơn 40 nhà đóng góp độc đáo.
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ể chưa đượ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 Vitalik Buterin, đồng sáng lập Ledger Nicolas Bacca và đồng sáng lập kiêm CEO của ZAMA Rand Hindi.
Ưu điểm và thách thức của dự án
Kakarot là EVM được viết bằng Cairo trên Starknet, có khả năng 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 xây dựng trên Starknet, đồng thời duy trì tính bảo mật của Ethereum và giảm chi phí.
Tuy nhiên, sự phát triển của Kakarot gắn liền chặt chẽ với hệ sinh thái Starknet. Nếu Starknet phát triển không thuận lợi, Kakarot cũng sẽ bị ảnh hưởng. 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 tại sao hiện tại nó chưa được triển khai dưới dạng zkEVM L2 chung.
Mặc dù vậy, Kakarot đã nhận được sự hỗ trợ từ Vitalik Buterin và StarkWare, điều này là một sự bổ sung quan trọng cả về tài chính lẫn tinh thần. Dự án vẫn đang ở giai đoạn đầu, mạng thử nghiệm sắp được phát hành, xứng đáng để tiếp tục theo dõi sự phát triển của nó.