Kakarot zkEVM là một máy ảo Ethereum được viết bằng ngôn ngữ Cairo (EVM). Cairo là ngôn ngữ có khả năng lập trì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 loại triển khai của zkEVM, Kakarot có khả năng tạo ra các giao dịch và khối có thể chứng minh. Bởi vì đượ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 được. 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, cho phép các nhà phát triển triển khai các ứ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ụ 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 đến tính khả dụng 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, mục tiêu chính là mã nguồn mở và tạo ra một zkEVM với chưa đến 10.000 dòng mã. Mục tiêu này đã được đạt được chỉ trong vòng 6 tháng 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:
Kakarot zkEVM trên Starknet: Đưa EVM đến 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ể trực tiếp triển khai hợp đồng thông minh Solidity( hoặc bất kỳ ngôn ngữ tương thích EVM nào) trên Starknet 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
Kakarot và Madara sẽ được tích hợp thành một ngăn xếp thống nhất, để kích hoạt L3 zkEVMs, và có thể mở rộng đến L4, L5 nếu cần. Nhóm có thể triển khai chuỗi ứng dụng zkEVM, sử dụng chứng minh hiệu quả để thanh toán giao dịch trên Starknet. Cách này có thể giảm chi phí gas, cải thiện hiệu suất, đồng thời duy trì tính bảo mật.
Kakarot x Madara:type 1 zkEVM
Nếu có thể thực hiện hai điểm sau, Kakarot sẽ trở thành khách hàng type 1 zkEVM, có khả năng chứng minh khối L1:
Viết quy tắc đồng thuận Ethereum bằng Cairo
Chuyển từ MPT Pedersen sang MPT Keccak
Đây là một trường hợp sử dụng cao cấp hơn, phụ thuộc vào lộ trình phát triển của Ethereum, đặc biệt là 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, khoảng 10 người đã xây dựng một zkEVM trong vòng một tuần. Hiện tại, dưới sự hỗ trợ của quỹ Starknet và Onlydust, Kakarot có hơn 40 người đó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 và kỹ sư có chuyên môn trong nhiều lĩnh vực.
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 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 của ZAMA Rand Hindi.
Tóm tắt
Kakarot là một EVM được triển khai bằng Cairo trên Starknet, có khả năng kết nối hiệu quả giữa Starknet và hệ sinh thái Ethereum. Nó giảm thiểu rào cản phát triển, cho phép các dự án trong hệ sinh thái Ethereum được xây dựng trên Starknet, đồng thời duy trì tính an toàn và giảm chi phí. Các giai đoạn tương lai sẽ đạt được khả năng kết hợp nhiều hơn, chẳng hạn như với các mô-đun như Celestia hoặc EigenDA.
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, đây là một lợi thế lớn. Tuy nhiên, so với các dự án zkEVM khác, quy mô đội ngũ của 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 khiến nó chưa được triển khai như một zkEVM L2 phổ quát.
Kakarot hiện đang ở giai đoạn đầu, mạng thử nghiệm sắp được phát hành. Mặc dù phải đối mặt với nhiều thách thức, nhưng vị trí độc đáo và sự hỗ trợ mạnh mẽ của nó khiến nó có tiềm năng trong lĩnh vực zkEVM. Khi dự án phát triển, đáng để tiếp tục theo dõi tiến trình 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.
10 thích
Phần thưởng
10
4
Chia sẻ
Bình luận
0/400
BrokenDAO
· 2giờ trước
Tuy nhiên, đây lại là một EVM được đóng gói bằng Stark, sự tương tác chuỗi cross vẫn duy trì theo thói quen cũ.
Xem bản gốcTrả lời0
gas_fee_therapist
· 10giờ trước
Hả? Starknet đã đầu tư rất nhiều tiền vào đây!
Xem bản gốcTrả lời0
NFTArchaeologis
· 10giờ trước
Một lần nữa, kỷ nguyên số của kho báu khảo cổ được tái hiện, tôi đang chăm chú nghiên cứu văn bản nguồn của Máy ảo này với tâm trạng lo lắng.
Xem bản gốcTrả lời0
MemeKingNFT
· 10giờ trước
Ánh sáng sao trên bầu trời đêm giảm hoàn toàn vàng. ZK hiểu một chút? To da moon nhé. Turing hoàn thành chính là sinh cơ vô hạn. Thắng lớn rồi.
Kakarot: Triển khai Cairo trên Starknet kết nối hai hệ sinh thái lớn
Kakarot: Máy ảo Ethereum dựa trên 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ữ có khả năng lập trì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 loại triển khai của zkEVM, Kakarot có khả năng tạo ra các giao dịch và khối có thể chứng minh. Bởi vì đượ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 được. 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, cho phép các nhà phát triển triển khai các ứ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ụ 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 đến tính khả dụng 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, mục tiêu chính là mã nguồn mở và tạo ra một zkEVM với chưa đến 10.000 dòng mã. Mục tiêu này đã được đạt được chỉ trong vòng 6 tháng 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:
Kakarot zkEVM trên Starknet: Đưa EVM đến 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ể trực tiếp triển khai hợp đồng thông minh Solidity( hoặc bất kỳ ngôn ngữ tương thích EVM nào) trên Starknet 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
Kakarot và Madara sẽ được tích hợp thành một ngăn xếp thống nhất, để kích hoạt L3 zkEVMs, và có thể mở rộng đến L4, L5 nếu cần. Nhóm có thể triển khai chuỗi ứng dụng zkEVM, sử dụng chứng minh hiệu quả để thanh toán giao dịch trên Starknet. Cách này có thể giảm chi phí gas, cải thiện hiệu suất, đồng thời duy trì tính bảo mật.
Kakarot x Madara:type 1 zkEVM
Nếu có thể thực hiện hai điểm sau, Kakarot sẽ trở thành khách hàng type 1 zkEVM, có khả năng chứng minh khối L1:
Đây là một trường hợp sử dụng cao cấp hơn, phụ thuộc vào lộ trình phát triển của Ethereum, đặc biệt là 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, khoảng 10 người đã xây dựng một zkEVM trong vòng một tuần. Hiện tại, dưới sự hỗ trợ của quỹ Starknet và Onlydust, Kakarot có hơn 40 người đóng góp độc đáo.
Các thành viên cốt lõi bao gồm:
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 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 của ZAMA Rand Hindi.
Tóm tắt
Kakarot là một EVM được triển khai bằng Cairo trên Starknet, có khả năng kết nối hiệu quả giữa Starknet và hệ sinh thái Ethereum. Nó giảm thiểu rào cản phát triển, cho phép các dự án trong hệ sinh thái Ethereum được xây dựng trên Starknet, đồng thời duy trì tính an toàn và giảm chi phí. Các giai đoạn tương lai sẽ đạt được khả năng kết hợp nhiều hơn, chẳng hạn như với các mô-đun như Celestia hoặc EigenDA.
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, đây là một lợi thế lớn. Tuy nhiên, so với các dự án zkEVM khác, quy mô đội ngũ của 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 khiến nó chưa được triển khai như một zkEVM L2 phổ quát.
Kakarot hiện đang ở giai đoạn đầu, mạng thử nghiệm sắp được phát hành. Mặc dù phải đối mặt với nhiều thách thức, nhưng vị trí độc đáo và sự hỗ trợ mạnh mẽ của nó khiến nó có tiềm năng trong lĩnh vực zkEVM. Khi dự án phát triển, đáng để tiếp tục theo dõi tiến trình của nó.