Kakarot zkEVM được Vitalik đầu tư sắp tung testnet là gì?

Foresight News

特邀专栏作者

2023-06-05 10:25 (UTC+8)

Bài viết này có khoảng 1293 từ, đọc toàn bộ bài viết mất khoảng 2 phút

Nó sẽ trao quyền cho Starknet và hệ sinh thái Ethereum như thế nào?

Tóm tắt AI

Mở rộng

Nó sẽ trao quyền cho Starknet và hệ sinh thái Ethereum như thế nào?

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, dẫn đến 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.

tiêu đề cấp đầu tiên

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 máy phân loại 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.

tiêu đề phụ

bản đồ lộ trình

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.).

tiêu đề phụ

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.

tiêu đề phụ

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.

Cairo được sử dụng để 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.
Đã chuyển từ Pedersen Merkle Patricia Trie (MPT) sang Keccak MPT.

tiêu đề cấp đầu tiên