Kakarot zkEVM: Máy ảo Ethereum được xây dựng bằng Cairo
Kakarot zkEVM là một Máy ảo Ethereum (EVM) được viết bằng ngôn ngữ Cairo. Cairo là một ngôn ngữ hoàn chỉnh Turing, 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.
Đặc điểm của zkEVM là có khả năng tạo ra các giao dịch và khối có thể chứng minh. Kakarot được xây dựng trên CairoVM, do đó mỗi giao dịch thực hiện trên đó đều có thể chứng minh.
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. Nó cho phép các nhà phát triển triển khai ứ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 trong các lĩnh vực như DeFi và GameFi.
Lộ trình phát triển
Dự án bắt đầu vào tháng 10 năm 2022, nhằm mục đích mã nguồn mở và tạo ra zkEVM với chưa đến 10,000 dòng mã. Mục tiêu này đã được hoàn thành trong vòng chỉ sáu tháng. Mạng thử nghiệm dự kiến sẽ được phát hành vào cuối mùa hè năm 2023.
Sự phát triển của Kakarot zkEVM được chia thành ba giai đoạn:
Giai đoạn một: Triển khai Kakarot zkEVM trên Starknet
Kakarot zkEVM sẽ đầu tiên tồn tại như một EVM tích hợp trong Starknet L2, cho phép các nhà phát triển triển khai hợp đồng thông minh Solidity (hoặc ngôn ngữ tương thích EVM khác) trực tiếp trên Starknet và sử dụng các công cụ quen thuộc. Người dùng có thể tương tác với các dApps bằng các công cụ thông dụng. Tổng thể, trải nghiệm phát triển và sử dụng trên Kakarot sẽ hoàn toàn nhất quán với Polygon, Scroll hoặc Ethereum L1.
Giai đoạn hai: Kakarot và Madara kết hợp --- 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à hỗ trợ L4, L5 khi cần thiết. 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. Tính toán diễn ra bên ngoài chuỗi hoặc ở các tầng cao hơn, xác minh trên chuỗi. Những L3 này có một đặc điểm thú vị: khả năng tách biệt an toàn và phi tập trung. Người dùng có thể tận hưởng an toàn của Ethereum L1 mà không cần mức độ phi tập trung tương tự. Tuy nhiên, đối với rollups, phi tập trung vẫn quan trọng vì nó mang lại tính sống động và khả năng chống kiểm duyệt. Điều này có thể được thực hiện bằng cách thiết lập bộ sắp xếp thành hàng trăm thay vì hàng nghìn. Do tính toán diễn ra ở một tầng khác, chi phí gas của L3 thấp hơn L2 và hiệu suất cao hơn. Để giảm thêm chi phí, có thể tách biệt việc xác minh chứng minh và tính khả dụng dữ liệu (DA). Người dùng có thể chọn các tùy chọn khác nhau dựa trên nhu cầu an toàn.
Giai đoạn ba: Kakarot và Madara kết hợp --- loại 1 zkEVM
Kakarot và Madara còn có thể kết hợp để thực hiện type 1 zkEVM. Nếu có thể:
Sử dụng Cairo để viết quy tắc đồng thuận Ethereum trong nút đầy đủ Madara x Kakarot, từ đó chứng minh đồng thuận L1.
Chuyển từ Pedersen Merkle Patricia Trie (MPT) sang Keccak MPT.
Vậy thì Kakarot có thể trở thành một client zkEVM type 1, có khả năng chứng minh các khối L1. Đây là một trường hợp sử dụng nâng cao hơn, phụ thuộc vào lộ trình phát triển của Ethereum, đặc biệt là giai đoạn Verge. Sau giai đoạn Verge, keccak có thể bị poseidon thay thế làm hàm băm ưa thích của Ethereum. Điều này sẽ giúp đội ngũ zkEVM đạt được type 1, vì rào cản tương thích chính của zkEVM là cách bố trí lưu trữ, tức là việc thực hiện Keccak MPT một cách có thể chứng minh và với chi phí hợp lý.
Nền tảng độ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.
Với sự hỗ trợ của Quỹ Starknet và Onlydust, Kakarot hiện có hơn 40 đóng góp độc lập.
**Elias Tazartes：**Người đồng sáng lập và CEO của Kakarot, tập trung vào kỹ thuật blockchain và phát triển toàn diện.
**Clément Walter：**Người đồng sáng lập và CTO của Kakarot, tự xưng là nhà khoa học, kỹ sư, doanh nhân và người đa tài.
Tình hình tài chính
Kakarot đã hoàn thành vòng tài trợ trước khi ra mắt, 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 có Vitalik Buterin, đồng sáng lập Ledger Nicolas Bacca và Rand Hindi, đồng sáng lập và CEO của ZAMA.
Triển vọng dự án
Hiện tại, hệ sinh thái chuỗi công cộng không tương thích EVM phát triển khá chậm, hầu hết các hệ sinh thái chuỗi công cộng đều xoay quanh Ethereum. Kakarot là EVM được viết bằng Cairo trên Starknet, có thể kết nối tốt giữa Starknet và hệ sinh thái Ethereum, cho phép các dự án Ethereum xây dựng trên Starknet, giảm bớt rào cản phát triển và tận hưởng tính bảo mật và chi phí thấp của Ethereum. Ở các giai đoạn sau, sẽ còn có nhiều khả năng kết hợp hơn, chẳng hạn như với Celestia hoặc EigenDA.
Là ZK-EVM trên Starknet, Kakarot gắn liền với hệ sinh thái Starknet. Starknet liên tục cải tiến và nâng cấp, nâng cao trải nghiệm người dùng, trong khi ZK-EVM được xây dựng bởi Kakarot sẽ đóng góp vào sự thịnh vượng của hệ sinh thái. Tuy nhiên, nếu Starknet phát triển không tốt, Kakarot cũng sẽ bị ảnh hưởng.
Kakarot đã nhận được sự hỗ trợ từ Vitalik Buterin và StarkWare, được tăng cường cả về tinh thần và tài chính, đây là một lợi thế lớn.
Tuy nhiên, so với các ZK-EVM khác, Kakarot cũng phải đối mặt với những thách thức: quy mô đội ngũ nhỏ, ngân sách và độ nhận diện thương hiệu thấp. Đây cũng là một trong những lý do khiến Kakarot chưa được triển khai như một zkEVM L2 phổ biến.
Kakarot hiện vẫn ở giai đoạn đầu, mạng thử nghiệm sắp được phát hành, đáng để tiếp tục theo dõi sự phát triển của nó.
Xem bản gốc
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
5
Chia sẻ
Bình luận
0/400
EthMaximalist
· 14giờ trước
Có chút gì đó hay đấy, không tệ.
Xem bản gốcTrả lời0
NFTArchaeologis
· 14giờ trước
Cuốn cổ thư của thế giới số lại thêm một chương mới
Xem bản gốcTrả lời0
MrDecoder
· 14giờ trước
Thắng lớn V神 ra tay
Xem bản gốcTrả lời0
RugPullAlarm
· 15giờ trước
Chỉ cần có sự bảo chứng của vb thì thật sự hấp dẫn? Được gọi là đội ngũ nhỏ nhưng có xác suất cao là một vòng đầu tư.
Xem bản gốcTrả lời0
GateUser-2fce706c
· 15giờ trước
Tôi đã nói rằng đường đua zkEVM thực sự là mật mã của sự giàu có, ba năm cũng không muộn!
Kakarot zkEVM: Ứng dụng AppChain có thể chứng minh được do Cairo xây dựng
Kakarot zkEVM: Máy ảo Ethereum được xây dựng bằng Cairo
Kakarot zkEVM là một Máy ảo Ethereum (EVM) được viết bằng ngôn ngữ Cairo. Cairo là một ngôn ngữ hoàn chỉnh Turing, 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.
Đặc điểm của zkEVM là có khả năng tạo ra các giao dịch và khối có thể chứng minh. Kakarot được xây dựng trên CairoVM, do đó mỗi giao dịch thực hiện trên đó đều có thể chứng minh.
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. Nó cho phép các nhà phát triển triển khai ứ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 trong các lĩnh vực như DeFi và GameFi.
Lộ trình phát triển
Dự án bắt đầu vào tháng 10 năm 2022, nhằm mục đích mã nguồn mở và tạo ra zkEVM với chưa đến 10,000 dòng mã. Mục tiêu này đã được hoàn thành trong vòng chỉ sáu tháng. Mạng thử nghiệm dự kiến sẽ được phát hành vào cuối mùa hè năm 2023.
Sự phát triển của Kakarot zkEVM được chia thành ba giai đoạn:
Kakarot zkEVM sẽ đầu tiên tồn tại như một EVM tích hợp trong Starknet L2, cho phép các nhà phát triển triển khai hợp đồng thông minh Solidity (hoặc ngôn ngữ tương thích EVM khác) trực tiếp trên Starknet và sử dụng các công cụ quen thuộc. Người dùng có thể tương tác với các dApps bằng các công cụ thông dụng. Tổng thể, trải nghiệm phát triển và sử dụng trên Kakarot sẽ hoàn toàn nhất quán với Polygon, Scroll hoặc Ethereum L1.
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à hỗ trợ L4, L5 khi cần thiết. 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. Tính toán diễn ra bên ngoài chuỗi hoặc ở các tầng cao hơn, xác minh trên chuỗi. Những L3 này có một đặc điểm thú vị: khả năng tách biệt an toàn và phi tập trung. Người dùng có thể tận hưởng an toàn của Ethereum L1 mà không cần mức độ phi tập trung tương tự. Tuy nhiên, đối với rollups, phi tập trung vẫn quan trọng vì nó mang lại tính sống động và khả năng chống kiểm duyệt. Điều này có thể được thực hiện bằng cách thiết lập bộ sắp xếp thành hàng trăm thay vì hàng nghìn. Do tính toán diễn ra ở một tầng khác, chi phí gas của L3 thấp hơn L2 và hiệu suất cao hơn. Để giảm thêm chi phí, có thể tách biệt việc xác minh chứng minh và tính khả dụng dữ liệu (DA). Người dùng có thể chọn các tùy chọn khác nhau dựa trên nhu cầu an toàn.
Kakarot và Madara còn có thể kết hợp để thực hiện type 1 zkEVM. Nếu có thể:
Vậy thì Kakarot có thể trở thành một client zkEVM type 1, có khả năng chứng minh các khối L1. Đây là một trường hợp sử dụng nâng cao hơn, phụ thuộc vào lộ trình phát triển của Ethereum, đặc biệt là giai đoạn Verge. Sau giai đoạn Verge, keccak có thể bị poseidon thay thế làm hàm băm ưa thích của Ethereum. Điều này sẽ giúp đội ngũ zkEVM đạt được type 1, vì rào cản tương thích chính của zkEVM là cách bố trí lưu trữ, tức là việc thực hiện Keccak MPT một cách có thể chứng minh và với chi phí hợp lý.
Nền tảng độ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.
Với sự hỗ trợ của Quỹ Starknet và Onlydust, Kakarot hiện có hơn 40 đóng góp độc lập.
**Elias Tazartes：**Người đồng sáng lập và CEO của Kakarot, tập trung vào kỹ thuật blockchain và phát triển toàn diện.
**Clément Walter：**Người đồng sáng lập và CTO của Kakarot, tự xưng là nhà khoa học, kỹ sư, doanh nhân và người đa tài.
Tình hình tài chính
Kakarot đã hoàn thành vòng tài trợ trước khi ra mắt, 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 có Vitalik Buterin, đồng sáng lập Ledger Nicolas Bacca và Rand Hindi, đồng sáng lập và CEO của ZAMA.
Triển vọng dự án
Hiện tại, hệ sinh thái chuỗi công cộng không tương thích EVM phát triển khá chậm, hầu hết các hệ sinh thái chuỗi công cộng đều xoay quanh Ethereum. Kakarot là EVM được viết bằng Cairo trên Starknet, có thể kết nối tốt giữa Starknet và hệ sinh thái Ethereum, cho phép các dự án Ethereum xây dựng trên Starknet, giảm bớt rào cản phát triển và tận hưởng tính bảo mật và chi phí thấp của Ethereum. Ở các giai đoạn sau, sẽ còn có nhiều khả năng kết hợp hơn, chẳng hạn như với Celestia hoặc EigenDA.
Là ZK-EVM trên Starknet, Kakarot gắn liền với hệ sinh thái Starknet. Starknet liên tục cải tiến và nâng cấp, nâng cao trải nghiệm người dùng, trong khi ZK-EVM được xây dựng bởi Kakarot sẽ đóng góp vào sự thịnh vượng của hệ sinh thái. Tuy nhiên, nếu Starknet phát triển không tốt, Kakarot cũng sẽ bị ảnh hưởng.
Kakarot đã nhận được sự hỗ trợ từ Vitalik Buterin và StarkWare, được tăng cường cả về tinh thần và tài chính, đây là một lợi thế lớn.
Tuy nhiên, so với các ZK-EVM khác, Kakarot cũng phải đối mặt với những thách thức: quy mô đội ngũ nhỏ, ngân sách và độ nhận diện thương hiệu thấp. Đây cũng là một trong những lý do khiến Kakarot chưa được triển khai như một zkEVM L2 phổ biến.
Kakarot hiện vẫn ở giai đoạn đầu, mạng thử nghiệm sắp được phát hành, đáng để tiếp tục theo dõi sự phát triển của nó.