Kakarot zkEVM: Máy ảo Ethereum được viết bằ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ữ hoàn chỉnh Turing liên kết với CairoVM, mà 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ó thể tạo ra các giao dịch và khối có thể chứng minh. Kakarot được xây dựng trên Máy ảo Cairo, vì vậy mọi giao dịch thực hiện trên đó đều có thể chứng minh. Tổng thể, Kakarot zkEVM tận dụng 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 tính khả 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, với các mục tiêu bao gồm việc mã nguồn mở ngay từ đầu, cũng như tạo ra 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 mùa hè năm 2023.
Lộ trình phát triển của Kakarot zkEVM được chia thành ba giai đoạn:
Kakarot zkEVM trên Starknet - Đưa EVM vào 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ể 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ực tiếp 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ẽ tích hợp, thực hiện L3 zkEVMs, và có thể mở rộng đến L4, L5 nếu 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 quả để thanh toán giao dịch trên Starknet. Kiến trúc L3 này có thể tách rời an ninh và phi tập trung, người dùng được hưởng lợi từ an ninh của Ethereum L1, đồng thời giảm chi phí và nâng cao hiệu suất.
Kakarot x Madara - loại 1 zkEVM
Bằng cách viết quy tắc đồng thuận Ethereum bằng Cairo trong nút đầy đủ Madara x Kakarot, và chuyển từ Pedersen Merkle Patricia Trie (MPT) sang Keccak MPT, Kakarot hy vọng trở thành client zkEVM loại 1, có khả năng chứng minh khối L1. Việc thực hiện mục tiêu này phụ thuộc vào lộ trình phát triển của Ethereum, đặc biệt là giai đoạn Verge.
Nền tảng đội ngũ
Đội ngũ cốt lõi của Kakarot xuất phát từ một hackathon ở Lisbon, khoảng mười người đã xây dựng nguyên mẫu zkEVM trong vòng một tuần. Hiện tại, với sự hỗ trợ của quỹ Starknet và Onlydust, Kakarot 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à Giám đốc điều hành, 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 là 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 các tổ chức như Starkware, LambDa, cũng như các nhà đầu tư thiên thần như 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
Kakarot, như một triển khai EVM trên Starknet, hứa hẹn sẽ trở thành cầu nối quan trọng giữa Starknet và hệ sinh thái Ethereum. Nó có thể giảm bớt rào cản cho các nhà phát triển, giúp các dự án trong hệ sinh thái Ethereum dễ dàng 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í.
Sự phát triển của Kakarot gắn liền chặt chẽ với hệ sinh thái Starknet. Khi Starknet liên tục nâng cấp để cải thiện trải nghiệm người dùng, Kakarot có khả năng đóng góp cho sự thịnh vượng của hệ sinh thái. Tuy nhiên, sự thành công của Kakarot cũng phần nào phụ thuộc vào sự phát triển của Starknet.
Việc nhận được sự hỗ trợ từ Vitalik Buterin và StarkWare là một lợi thế lớn của Kakarot. 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 mà hiện tại nó chưa được triển khai thành zkEVM L2 phổ biến.
Là một dự án đang ở giai đoạn đầu, sự phát triển của Kakarot đáng được theo dõi liên tục. Mạng thử nghiệm sắp ra mắt sẽ là một điểm quan trọng để quan sát sức mạnh công nghệ và tiềm năng sinh thái 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
FloorSweeper
· 08-05 17:27
eh một cơn sốt zk khác... cược 500 eth của tôi rằng cái này sẽ không sống sót qua thị trường gấu smh
Kakarot zkEVM: Máy ảo Ethereum được xây dựng bằng ngôn ngữ Cairo kết nối Starknet với hệ sinh thái Ethereum
Kakarot zkEVM: Máy ảo Ethereum được viết bằ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ữ hoàn chỉnh Turing liên kết với CairoVM, mà 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ó thể tạo ra các giao dịch và khối có thể chứng minh. Kakarot được xây dựng trên Máy ảo Cairo, vì vậy mọi giao dịch thực hiện trên đó đều có thể chứng minh. Tổng thể, Kakarot zkEVM tận dụng 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 tính khả 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, với các mục tiêu bao gồm việc mã nguồn mở ngay từ đầu, cũng như tạo ra 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 mùa hè năm 2023.
Lộ trình phát triển của Kakarot zkEVM được chia thành ba giai đoạn:
Kakarot zkEVM trên Starknet - Đưa EVM vào 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ể 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ực tiếp 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ẽ tích hợp, thực hiện L3 zkEVMs, và có thể mở rộng đến L4, L5 nếu 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 quả để thanh toán giao dịch trên Starknet. Kiến trúc L3 này có thể tách rời an ninh và phi tập trung, người dùng được hưởng lợi từ an ninh của Ethereum L1, đồng thời giảm chi phí và nâng cao hiệu suất.
Kakarot x Madara - loại 1 zkEVM
Bằng cách viết quy tắc đồng thuận Ethereum bằng Cairo trong nút đầy đủ Madara x Kakarot, và chuyển từ Pedersen Merkle Patricia Trie (MPT) sang Keccak MPT, Kakarot hy vọng trở thành client zkEVM loại 1, có khả năng chứng minh khối L1. Việc thực hiện mục tiêu này phụ thuộc vào lộ trình phát triển của Ethereum, đặc biệt là giai đoạn Verge.
Nền tảng đội ngũ
Đội ngũ cốt lõi của Kakarot xuất phát từ một hackathon ở Lisbon, khoảng mười người đã xây dựng nguyên mẫu zkEVM trong vòng một tuần. Hiện tại, với sự hỗ trợ của quỹ Starknet và Onlydust, Kakarot 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 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 các tổ chức như Starkware, LambDa, cũng như các nhà đầu tư thiên thần như 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
Kakarot, như một triển khai EVM trên Starknet, hứa hẹn sẽ trở thành cầu nối quan trọng giữa Starknet và hệ sinh thái Ethereum. Nó có thể giảm bớt rào cản cho các nhà phát triển, giúp các dự án trong hệ sinh thái Ethereum dễ dàng 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í.
Sự phát triển của Kakarot gắn liền chặt chẽ với hệ sinh thái Starknet. Khi Starknet liên tục nâng cấp để cải thiện trải nghiệm người dùng, Kakarot có khả năng đóng góp cho sự thịnh vượng của hệ sinh thái. Tuy nhiên, sự thành công của Kakarot cũng phần nào phụ thuộc vào sự phát triển của Starknet.
Việc nhận được sự hỗ trợ từ Vitalik Buterin và StarkWare là một lợi thế lớn của Kakarot. 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 mà hiện tại nó chưa được triển khai thành zkEVM L2 phổ biến.
Là một dự án đang ở giai đoạn đầu, sự phát triển của Kakarot đáng được theo dõi liên tục. Mạng thử nghiệm sắp ra mắt sẽ là một điểm quan trọng để quan sát sức mạnh công nghệ và tiềm năng sinh thái của nó.