Giải thích chi tiết về Kakarot: dự án zkEVM được Vitalik ưu ái và đầu tư

Nguồn gốc: Yinan Yinan cho biết

Giới thiệu

Kakarot zkEVM là một triển khai của Máy ảo Ethereum (EVM) được viết ở Cairo. Cairo là ngôn ngữ hoàn chỉnh Turing được liên kết với CairoVM. CairoVM cho phép tính toán có thể chứng minh được bằng cách sử dụng đa thức và hệ thống chứng minh ZK-STARK.

Đặc điểm của zkEVM là nó có thể tạo ra các giao dịch có thể chứng minh được và do đó cũng có thể tạo ra các khối có thể chứng minh được. Kakarot được xây dựng trên CairoVM, vì vậy mọi giao dịch được thực hiện trên Kakarot đều có thể chứng minh được.

Tóm lại, Kakarot zkEVM được viết bằng ngôn ngữ Cairo và sử dụng hệ thống chứng minh ZK-STARK để cung cấp sức mạnh tính toán có thể chứng minh được. Nó 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 cuối tương tác với các ứng dụng này bằng chuỗi công cụ thông thường của họ.

Cuối cùng, Kakarot cũng sẽ cung cấp khả năng tương tác với giao thức Starknet, cung cấp 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

Dự án bắt đầu vào tháng 10 năm 2022 với một số mục tiêu: nguồn mở ngay từ ngày đầu, hoan nghênh những đóng góp và tham vọng nhất là không sử dụng 10.000 dòng mã để tạo zkEVM .

Lộ trình của Kakarot zkEVM được chia thành ba giai đoạn:

Giai đoạn 1: Kakarot zkEVM trên Starknet —Đưa EVM đến Starknet

Kakarot zkEVM lần đầu tiên sẽ tồn tại trong L2 của Starknet dưới dạng EVM tích hợp, cho phép các nhà phát triển trực tiếp Triển khai Solidity của họ (hoặc bất kỳ ngôn ngữ tương thích EVM nào ) hợp đồng thông minh và sử dụng các công cụ mà họ quen thuộc (chẳng hạn như Foundry, Hardhat, Wagmi, v.v.). Người dùng cuối của họ sẽ có thể tương tác với dApps của họ bằng cách sử dụng chuỗi công cụ quen thuộc như Metamask, Wallet connect, v.v. Nhìn chung, trải nghiệm của nhà phát triển và người dùng trên Kakarot sẽ giống hệt như trên Polygon, Scroll hoặc Ethereum L1

Giai đoạn 2: Kakarot x Madara—L3 zkEVM

Kakarot và Madara sẽ được tích hợp thành một hệ thống thống nhất, để kích hoạt L3 zkEVM và L4, L5, v.v. ở những nơi hợp lý. Các nhóm sẽ có thể triển khai chuỗi ứng dụng zkEVM của mình và tận dụng bằng chứng về tính hợp lệ để giải quyết các giao dịch trên Starknet. Việc tính toán được thực hiện ngoài chuỗi hoặc ở cấp độ cao hơn và được xác minh trên chuỗi. Những L3 dựa trên bằng chứng xác thực (như Kakarot) này có một đặc tính thú vị và bị đánh giá thấp: khả năng tách rời tính bảo mật và phân quyền.

Người dùng có thể hưởng lợi từ tính bảo mật của Ethereum L1 mà không yêu cầu mức độ phân cấp tương tự (tức là hàng nghìn người xác thực). Tuy nhiên, đối với các bản tổng hợp, phân cấp có lợi vì nó mang lại tính sống động và khả năng chống kiểm duyệt, hai đặc tính rất quan trọng (bị đánh giá thấp?). Điều này có thể đạt được bằng cách đặt trình sắp xếp ở hàng trăm thay vì hàng nghìn. Do việc tính toán được thực hiện trên một lớp khác nên chi phí gas của L2 thấp hơn nhiều so với L2, trong khi hiệu suất (TPS) cao hơn.

Lưu ý rằng L2 đã rẻ hơn nhiều so với L1. Khả năng mở rộng của các bản tổng hợp được xếp chồng lên nhau và nhân lên. Để giảm hơn nữa chi phí gas, việc xác minh bằng chứng và tính sẵn có của dữ liệu (DA) có thể được tách riêng. Starknet L2 chỉ có thể đóng vai trò là lớp xác minh bằng chứng, trong khi các giải pháp sẵn có của dữ liệu mới, chẳng hạn như Celestia hoặc EigenDA, có thể được sử dụng để xuất bản dữ liệu giao dịch. Người dùng sẽ có tùy chọn chọn tham gia một trong hai tùy chọn, tùy thuộc vào nhu cầu bảo mật của họ. Xuất bản bằng chứng và dữ liệu giao dịch trên Starknet là lựa chọn an toàn hơn, trong khi sử dụng giải pháp DA để công bố dữ liệu giao dịch là lựa chọn tiết kiệm hơn.

Giai đoạn 3: Kakarot x Madara —zkEVM loại 1

Kakarot và Madara cũng có thể được kết hợp để triển khai zkEVM loại 1. Nếu bạn có thể:

1. Sử dụng Cairo để viết các quy tắc đồng thuận Ethereum trong nút đầy đủ Madara x Kakarot để có thể chứng minh sự đồng thuận L1.  

2. Chuyển từ Pedersen Merkle Patricia Trie (MPT) sang Keccak MPT.

Kakarot sau đó sẽ trở thành khách hàng zkEVM loại 1, có khả năng chứng minh các khối L1. Đây là trường hợp sử dụng nâng cao hơn phụ thuộc vào lộ trình của Ethereum và đặc biệt là Verge. Sau Verge, keccak có thể sẽ được thay thế bằng poseidon làm hàm băm ưa thích cho Ethereum. Điều này sẽ giúp nhóm zkEVM trở thành loại 1 vì rào cản tương thích chính đối với zkEVM là bố cục lưu trữ, tức là triển khai Keccak MPT với chi phí hợp lý và rõ ràng

Mục tiêu này đã đạt được chỉ trong sáu tháng. Và testnet sẽ được phát hành vào cuối mùa hè năm 2023.

Đội ngũ:

Trong một tuần làm việc tận tâm tại một ngôi nhà hacker ở Lisbon, khoảng mười người đã xây dựng một zkEVM. Tại thời điểm này, nhóm nòng cốt Kakarot đã ra đời.

Với sự giúp đỡ của Starknet Foundation và Onlydust, Kakarot ngày nay có hơn 40 cộng tác viên độc đáo.

Elias Tazartes: Đồng sáng lập và CEO của Kakarot , nhà phát triển tự do chuyên về kỹ thuật blockchain (Dapp, Ethereum, Algorand) và phát triển toàn diện (Svelte/React, NodeJS, Rust, Python).

Clment Walter: nhà khoa học, kỹ sư, doanh nhân , người siêng năng, đầy tò mò về mọi thứ, đây là lời giới thiệu của Clment về bản thân. Ông cũng là người đồng sáng lập và giám đốc công nghệ của Kakarot.

Tài chính:

Hiện tại, Kakarot đã tiến hành tài trợ vòng sơ tuyển. Số tiền tài trợ cụ thể vẫn chưa được công bố. Các đội tham gia và nhân sự tham gia đầu tư là: Starkware, các nhà đầu tư thiên thần LambDa bao gồm Vitalik, đồng sáng lập Ledger Nicolas Bacca  và đồng sáng lập kiêm Giám đốc điều hành ZAMA Rand Hindi.

Tóm tắt:

Hiện tại, sự phát triển của hệ sinh thái chuỗi công cộng không tương thích với EVM đang ở giai đoạn chậm. Hầu hết các hệ sinh thái chuỗi công khai hiện đều xoay quanh hệ sinh thái Ethereum. Kakarot là một Máy ảo Ethereum (EVM) được viết bằng Cairo trên Starknet . , có thể liên kết tốt hệ sinh thái Starknet và hệ sinh thái Ethereum. Trên Starknet không tương thích với EVM, hệ sinh thái Ethereum có thể được xây dựng tốt trên Starknet và hạ thấp ngưỡng đầu vào để các nhà phát triển phát triển, đồng thời truy cập vào tính bảo mật của Ethereum . cắt giảm chi phí. Đến giai đoạn thứ hai và thứ ba của Kakarot, có thể đạt được nhiều khả năng kết hợp hơn. Các kết hợp mô-đun như Celestia hoặc EigenDA và các mô-đun khác.

Như ZK-EVM đã viết trên Starknet, mối quan hệ của nó với hệ sinh thái Starknet giống như mối quan hệ truyền miệng. Trải nghiệm người dùng và ZK-EVM được xây dựng trên Kakarot, có thể đóng góp tốt cho sự thịnh vượng sinh thái của dự án, ngược lại, nếu Starknet không phát triển như mong đợi thì Kakarot cũng sẽ bị ảnh hưởng.

Kakarot còn có một lợi thế khác là có được sự hỗ trợ của V God và StarkWare, không chỉ về mặt tinh thần mà còn về mặt tài chính.

Với ZK khác -Compared với EVM, Kakarot gặp bất lợi - một đội dưới 10 người, ngân sách và thương hiệu nhỏ hơn nhiều. Đây cũng là một lý do khiến Kakarot không được triển khai dưới dạng zkEVM L2 chung.

Kakarot vẫn đang trong giai đoạn đầu và mạng thử nghiệm sẽ sớm được phát hành, vì vậy hãy chú ý theo dõi.

Bài viết này được gửi đi và không thể hiện quan điểm của BlockBeats

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia