Tổng quan nhanh về Kakarot, một dự án zkEVM được đầu tư bởi Vitalik

Nguồn gốc: Kakarot

Biên dịch gốc: Karen, Foresight News

Kakarot zkEVM là một triển khai của Máy ảo Ethereum (EVM) được viết ở Cairo. Cairo là một ngôn ngữ hoàn chỉnh Turing được liên kết với CairoVM.

CairoVM đạt được tính toán có thể chứng minh bằng cách sử dụng đa thức và hệ thống chứng minh ZK-STARK. ZkEVM được đặc trưng bởi khả năng tạo ra các giao dịch có thể chứng minh được, từ đó tạo ra các khối có thể chứng minh được. Kakarot được xây dựng dựa trên CairoVM và mọi giao dịch được thực hiện trên Kakarot đều có thể chứng minh được.

Kakarot zkEVM cho phép các nhóm xây dựng và triển khai các ứng dụng EVM. Các nhà phát triển có thể triển khai bất kỳ Solidity nào (hoặc bất kỳ ngôn ngữ nào tương thích với EVM) trên Kakarot, giống như họ có thể làm trên Ethereum hoặc Polygon. Sau đó, người dùng cuối của họ có thể sử dụng chuỗi công cụ thông thường của họ (ví nhỏ, kết nối ví, v.v.) để tương tác với DApp.

Cuối cùng, Kakarot sẽ cung cấp khả năng tương tác với giao thức Starknet gốc và khả năng kết hợp giữa các giao thức, chẳng hạn như kết hợp TVL trong DeFi và cơ sở người dùng trong GameFi.

Chia tỷ lệ Fractal

Kakarot zkEVM có thể tồn tại ở các dạng khác nhau, đầu tiên, nó có thể được triển khai dưới dạng hợp đồng thông minh trên Starknet L2, do đó xuất hiện dưới dạng (hiển thị) EVM trên Starknet (Ethereum RPC, giao dịch Ethereum, v.v.).

Ngoài ra, Kakarot có thể được tích hợp vào ngăn xếp để triển khai L3 zkEVM. Đây là nơi trình sắp xếp Madara xuất hiện.

Bằng cách kết hợp Madara (nút đầy đủ của Starknet) và Kakarot (thời gian chạy EVM), có thể tạo ra L3 zkEVM. Ngăn xếp như sau: một nút đầy đủ của Substrate, sử dụng CairoVM làm công cụ thực thi và Kakarot làm thời gian chạy hợp đồng thông minh.

Các giao dịch trên Kakarot có thể được chứng minh và xác minh trên lớp thanh toán, cho phép mở rộng quy mô fractal tương thích với EVM.

bản đồ tuyến đường

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

Kakarot trước tiên sẽ tồn tại trong Starknet L2 dưới dạng EVM tích hợp, cho phép các nhà phát triển triển khai trí thông minh Solidity (hoặc bất kỳ ngôn ngữ tương thích với EVM) nào của họ trực tiếp trên Starknet bằng cách sử dụng hợp đồng bộ công cụ quen thuộc của họ (Foundry, Hardhat, Wagmi, v.v.).

Sau đó, người dùng cuối của họ sẽ có thể tương tác với DApp của họ bằng chuỗi công cụ thông thường của họ (Metamask, Wallet Connect, v.v.).

Trải nghiệm của nhà phát triển và người dùng trên Kakarot sẽ hoàn toàn giống với Polygon, Scroll hoặc Ethereum L1.

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

Kakarot và Madara sẽ được hợp nhất thành một ngăn xếp thống nhất để hỗ trợ L3 zkEVM, cũng như L4, L5, v.v. Các nhóm sẽ có thể triển khai chuỗi ứng dụng zkEVM của họ và sử dụng bằng chứng về tính hợp lệ để giải quyết các giao dịch trên Starknet.

Tại sao L3? Tại sao có thể chứng minh được?

Khả năng chứng minh có thể thực hiện các chức năng sau: tính toán theo chuỗi hoặc tính toán trên Lớp và xác minh trên chuỗi.

Các L3 sử dụng bằng chứng hợp lệ (như Kakarot) có một thuộc tính thú vị nhưng bị đánh giá thấp: khả năng tách rời bảo mật và phân cấp. Người dùng có thể hưởng lợi từ tính bảo mật của Ethereum L1 mà không có cùng mức độ phân quyền.

Do được tính toán ở lớp khác nên chi phí Gas thấp hơn nhiều so với L2 và hiệu suất (TPS) sẽ cao hơn. L2 đã rẻ hơn nhiều so với L1. Ngăn xếp và nhân lên khả năng mở rộng tổng số.

Để tiếp tục giảm chi phí Gas, có thể tách xác minh bằng chứng và tính khả dụng của dữ liệu (DA). Starknet L2 chỉ có thể được sử dụng làm lớp xác minh bằng chứng, trong khi các giải pháp về tính khả dụng của dữ liệu mới 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 có thể chọn tham gia vào một trong hai tùy chọn, tùy thuộc vào yêu 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à một tùy chọn an toàn hơn, trong khi sử dụng các giải pháp DA để xuất bản dữ liệu giao dịch là một tùy chọn tiết kiệm chi phí hơn.

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

Kakarot và Madara cũng có thể được kết hợp để kích hoạt zkEVM loại 1.

• Viết quy tắc đồng thuận Ethereum với Cairo trong nút đầy đủ Madara x Kakarot để có thể chứng minh sự đồng thuận L1.
• Đã chuyển từ Pedersen Merkle Patricia Trie (MPT) sang KeccakMPT.

Kakarot sau đó sẽ trở thành zkEVM loại 1 có khả năng chứng thực 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 (đáng chú ý nhất là Verge). Sau Verge, keccak có thể được thay thế bằng poseidon làm hàm băm được lựa chọn 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à cách bố trí bộ nhớ, tức là triển khai Keccak MPT theo cách rẻ và hợp lý.

Các chủ đề nghiên cứu khác

• Madara cho phép chuỗi Kakarot sử dụng giao thức nhắn tin Chất nền để liên lạc cuộn lên chéo.
• Tính mô đun của Substrate cho phép chuỗi Kakarot đổi mới bằng cách sử dụng giao thức đồng thuận của nó.
• Nâng cấp thời gian chạy không cần fork của Substrate cho phép chuỗi Kakarot nâng cấp phiên bản EVM của nó mà không cần hard fork.