Kakarot zkEVM là một máy ảo Ethereum được phát triển dựa trên ngôn ngữ Cairo (EVM). Cairo là một ngôn ngữ Turing hoàn chỉnh liên quan đến CairoVM, trong khi 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 zkEVM, Kakarot có đặc điểm là khả năng 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. Tổng thể, Kakarot zkEVM tận 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 các ứ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ụ quen thuộc.
Ngoài ra, 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 ở các lĩnh vực khác nhau.
Lộ trình phát triển
Dự án bắt đầu vào tháng 10 năm 2022, mục tiêu 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 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 hè năm 2023.
Lộ trình phát triển của Kakarot zkEVM được chia thành ba giai đoạn:
Thực hiện chức năng EVM trên Starknet
Đầu tiên, Kakarot zkEVM sẽ được triển khai như một EVM trong Starknet L2, cho phép các nhà phát triển 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ụ phát triển quen thuộc. Trải nghiệm người dùng sẽ giống như trên Polygon, Scroll hoặc Ethereum L1.
Tích hợp với Madara để实现 L3 zkEVM
Kakarot và Madara sẽ được tích hợp thành một ngăn xếp thống nhất, cho phép L3 zkEVM và các cấp độ cao hơn. Nhóm có thể triển khai chuỗi ứng dụng zkEVM của riêng họ, sử dụng chứng minh hiệu lực để thanh toán giao dịch trên Starknet. Cấu trúc L3 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.
Thực hiện 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 một 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à sự tiến triển của giai đoạn Verge.
Nền tảng đội ngũ
Nhóm cốt lõi của Kakarot được hình thành trong một cuộc marathon hacker tại Lisbon, khoảng 10 người đã xây dựng một nguyên mẫu zkEVM trong một tuần. Hiện tại, dưới sự hỗ trợ của quỹ Starknet và Onlydust, đã có hơn 40 người đó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, chuyên về kỹ thuật blockchain và phát triển full-stack
Clément Walter: Đồng sáng lập và CTO, có nền tảng bao gồm nghiên cứu khoa học, kỹ thuật và khởi nghiệp.
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:
Nhà đầu tư tổ chức: Starkware, LambDa
Nhà đầu tư thiên thần: Vitalik Buterin, đồng sáng lập Ledger Nicolas Bacca, đồng sáng lập và CEO ZAMA Rand Hindi
Đánh giá dự án
Kakarot với tư cách là một triển khai EVM trên Starknet, có khả năng trở thành cầu nối 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 hệ sinh thái Ethereum dễ dàng xây dựng ứng dụng trên Starknet.
Việc gắn bó chặt chẽ với hệ sinh thái Starknet là lợi thế của Kakarot, nhưng cũng có nghĩa là sự phát triển của nó chịu ảnh hưởng lớn từ Starknet. Nhận được sự hỗ trợ từ Vitalik và StarkWare, cả về tinh thần lẫn tài chính đều là sự bổ sung quan trọng.
So với các dự án zkEVM khác, quy mô đội ngũ Kakarot nhỏ hơn, ngân sách và độ nổi bật cũng thấp hơn, đây là những thách thức mà họ phải đối mặt. Hiện tại, Kakarot vẫn đang ở giai đoạn đầu, mạng thử nghiệm sắp được phát hành, đáng để 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.
10 thích
Phần thưởng
10
6
Chia sẻ
Bình luận
0/400
MetaMuskRat
· 07-20 01:21
Chỉ là một kỳ thi mở.
Xem bản gốcTrả lời0
RugResistant
· 07-18 18:42
các dấu hiệu tiềm ẩn trong việc triển khai cairo... cần kiểm toán kỹ lưỡng thật sự
Kakarot zkEVM: Cây cầu mới kết nối Starknet và hệ sinh thái Ethereum
Kakarot: Một dự án zkEVM mới gây theo dõi
Kakarot zkEVM là một máy ảo Ethereum được phát triển dựa trên ngôn ngữ Cairo (EVM). Cairo là một ngôn ngữ Turing hoàn chỉnh liên quan đến CairoVM, trong khi 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 zkEVM, Kakarot có đặc điểm là khả năng 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. Tổng thể, Kakarot zkEVM tận 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 các ứ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ụ quen thuộc.
Ngoài ra, 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 ở các lĩnh vực khác nhau.
Lộ trình phát triển
Dự án bắt đầu vào tháng 10 năm 2022, mục tiêu 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 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 hè năm 2023.
Lộ trình phát triển của Kakarot zkEVM được chia thành ba giai đoạn:
Thực hiện chức năng EVM trên Starknet
Đầu tiên, Kakarot zkEVM sẽ được triển khai như một EVM trong Starknet L2, cho phép các nhà phát triển 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ụ phát triển quen thuộc. Trải nghiệm người dùng sẽ giống như trên Polygon, Scroll hoặc Ethereum L1.
Tích hợp với Madara để实现 L3 zkEVM
Kakarot và Madara sẽ được tích hợp thành một ngăn xếp thống nhất, cho phép L3 zkEVM và các cấp độ cao hơn. Nhóm có thể triển khai chuỗi ứng dụng zkEVM của riêng họ, sử dụng chứng minh hiệu lực để thanh toán giao dịch trên Starknet. Cấu trúc L3 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.
Thực hiện 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 một 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à sự tiến triển của giai đoạn Verge.
Nền tảng đội ngũ
Nhóm cốt lõi của Kakarot được hình thành trong một cuộc marathon hacker tại Lisbon, khoảng 10 người đã xây dựng một nguyên mẫu zkEVM trong một tuần. Hiện tại, dưới sự hỗ trợ của quỹ Starknet và Onlydust, đã có hơn 40 người đóng góp.
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:
Đánh giá dự án
Kakarot với tư cách là một triển khai EVM trên Starknet, có khả năng trở thành cầu nối 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 hệ sinh thái Ethereum dễ dàng xây dựng ứng dụng trên Starknet.
Việc gắn bó chặt chẽ với hệ sinh thái Starknet là lợi thế của Kakarot, nhưng cũng có nghĩa là sự phát triển của nó chịu ảnh hưởng lớn từ Starknet. Nhận được sự hỗ trợ từ Vitalik và StarkWare, cả về tinh thần lẫn tài chính đều là sự bổ sung quan trọng.
So với các dự án zkEVM khác, quy mô đội ngũ Kakarot nhỏ hơn, ngân sách và độ nổi bật cũng thấp hơn, đây là những thách thức mà họ phải đối mặt. Hiện tại, Kakarot vẫn đang ở giai đoạn đầu, mạng thử nghiệm sắp được phát hành, đáng để theo dõi sự phát triển của nó.