Nhà phân tích Trong bài viết này, chúng ta sẽ khám phá các giai đoạn khác nhau của Kakarot, điểm mạnh và điểm yếu của chúng, cũng như những thách thức và cơ hội mà dự án phải đối mặt.
Tác giả: s
Biên soạn: Deep Tide TechFlow
Kakarot zkEVM là một EVM được triển khai ở Cairo. Bằng cách tăng cường khả năng tương thích của EVM, nó mở rộng hệ sinh thái của Starknet. Nó đã sử dụng điều gì để giành được sự hỗ trợ của Vitalik và StarkWare? Các nhà phân tích Trong bài viết này, chúng ta sẽ khám phá các giai đoạn khác nhau của Kakarot, điểm mạnh và điểm yếu của chúng, cũng như những thách thức và cơ hội mà dự án phải đối mặt.
CairoVM là gì?
Kakarot được xây dựng trên máy ảo (VM) CairoVM, là cơ sở hạ tầng của Starknet.
Các tính năng chính của CairoVM:
Thể hiện việc thực hiện dưới dạng đa thức (phương trình) để thực hiện có thể chứng minh được;
Cho phép sử dụng STARK để chứng minh tất cả các giao dịch trên Starknet.
Cairo là gì?
Turing hoàn thiện kiến trúc CPU thân thiện với STARK:
Tính đầy đủ của Turing: hệ thống có thể tính toán bất kỳ phép tính/chương trình nào có thể;
THÂN THIỆN STARK: Hệ thống bằng chứng do StarkWare cung cấp. Tính toàn vẹn tính toán ngoài chuỗi được chứng minh bằng các trình chứng minh và được xác minh bởi các trình xác minh trên chuỗi.
Cách thức hoạt động của Cairo
Các nhà phát triển có thể sử dụng Cairo để viết các chương trình trong CairoVM để mô tả các câu lệnh được chứng minh bằng ngôn ngữ cấp cao. Điều này cải thiện trải nghiệm của nhà phát triển vì họ có thể tận dụng khả năng mở rộng của bằng chứng không kiến thức (ZKP) mà không cần phải học cách viết các mạch phức tạp.
Kiến trúc Kakarot
Kakarot được xây dựng trên CairoVM và là:
Trình thông dịch bytecode EVM;
SC được triển khai trên Starknet;
Viết tại Cairo.
Kakarot cho phép:
Triển khai EVM SC hiện có.
Kakarot không phải là:
Chuỗi khối;
Trình biên dịch: Không chuyển đổi mã Solidity sang Cairo.
Kể từ tháng 5 năm 2023:
Kiến trúc mã byte 100% (Loại 3 zkEVM);
Đã thực hiện biên dịch trước EVM 8/9.
Sau khi thực hiện biên dịch trước EVM 9/9, Kakarot sẽ trở thành Loại 2.5 zkEVM.
Loại 1 zkEVM hoàn toàn tương đương với Ethereum, không thay đổi hệ thống Ethereum để tạo bằng chứng dễ dàng hơn,
Ưu điểm: Giải pháp tối ưu để nhân rộng Ethereum.
Nhược điểm: Tính toán chuyên sâu, chứng minh lâu (cần nhiều giờ).
Ví dụ: Cuộn, Taiko.
Loại 2 zkEVM hoàn toàn tương đương với EVM, với những sửa đổi nhỏ đối với hệ thống Ethereum (sử dụng một hàm băm khác) để:
Phát triển dễ dàng hơn;
Tạo bằng chứng nhanh hơn.
Ưu điểm: Có sẵn cho hầu hết các ứng dụng Ethereum.
Nhược điểm: Hiệu quả của EVM và ZK không thân thiện.
Ví dụ Cuộn.
Loại 2,5 zkEVM tương đương với EVM trừ chi phí Gas. Nó làm tăng chi phí gas của các hoạt động cụ thể trong EVM mà rất khó chứng minh với ZK.
Ưu điểm: ít rủi ro hơn EVM rộng hơn
Nhược điểm: Giảm khả năng tương thích với công cụ phát triển, một số dApps sẽ không tương thích.
Loại 3 zkEVM gần giống với EVM, chỉ có các tính năng đặc biệt khó thực hiện (chẳng hạn như tiền biên dịch) bị loại bỏ.
Ưu điểm: Thời gian chứng minh nhanh hơn, phát triển EVM dễ dàng hơn.
Nhược điểm: Một số dApp cần được viết lại.
Ví dụ:
Cuộn;
Đa giác
Loại 4 tương đương với ngôn ngữ cấp cao zkEVM, biên dịch mã nguồn SC (ngôn ngữ cấp cao) thành ngôn ngữ thân thiện với ZK-SNARK.
Ưu điểm: Tránh được nhiều chi phí.
Nhược điểm: Các hợp đồng có thể không có cùng địa chỉ với EVM, mã bytecode EVM viết tay có thể không được hỗ trợ, không thể chuyển giao cơ sở hạ tầng vì chúng chạy trên mã bytecode EVM.
Ví dụ:
đồng bộ hóa;
Người âm phủ.
Lộ trình Kakarot | Giai đoạn 1 | Đưa EVM lên Starknet
Kakarot ban đầu sẽ tồn tại trong Starknet dưới dạng EVM được lưu giữ. Trải nghiệm của nhà phát triển và người dùng (UX) sẽ hoàn toàn giống với Polygon, Scroll hoặc Ethereum.
Giai đoạn 2 | L3 zkEVM
Việc triển khai chuỗi ứng dụng zkEVM qua Kakarot cho phép họ giải quyết txns trên Starknet bằng cách sử dụng bằng chứng về tính hợp lệ. Điều này đạt được bằng cách kết hợp Kakarot và MadaraStarknet thành một ngăn xếp thống nhất.
Chỉ với 1 cú nhấp chuột, Tổng số giúp bạn:
Triển khai zkEVM dành riêng cho ứng dụng trên Starknet;
Truy cập vào môi trường EVM;
Thực hiện nhanh chóng;
Low Gas: Sử dụng các giải pháp có sẵn dữ liệu.
Sự an toàn.
Chạy Solidity SC trong CairoVM bằng cách sử dụng Kakarot: Mọi Solidity SC được triển khai trên EVM sẽ có thể chạy trên Starknet mà không cần thay đổi mã.
Những lợi thế của việc có thể có cả hai:
Hiệu quả EVM;
Hợp đồng thông minh trở nên có thể chứng minh được.
Giai đoạn 3 | Loại 1 zkEVM
Để đạt được điều này, Kakarot phải:
Sử dụng Cairo để viết các quy tắc đồng thuận Ethereum trong nút đầy đủ Madara x Kakarot để chứng minh sự đồng thuận L1;
Đã chuyển từ Pedersen Merkle Patricia Trie (MPT) sang Keccak MPT.
Nó phụ thuộc vào lộ trình Ethereum: Verge. Hiện tại, việc triển khai Keccak MPT theo cách có thể chứng minh là rẻ tiền là trở ngại tương thích chính đối với zkEVM. Sau Verge, Keccak có thể được thay thế bởi Poseidon làm hàm băm ưa thích của Ethereum.
suy nghĩ của tôi
Đây chắc chắn là một bước tiến lớn trong việc mang lại khả năng tương thích EVM cho Starknet, nhưng có một số lo ngại xung quanh thành công của Kakarot.
Đối mặt với sự cạnh tranh từ các đối thủ sau:
ZK-rollup với các hệ thống bằng chứng khác nhau (SNARK): Scroll, zksync, Polygon, Taiko, Linea;
Danh sách lạc quan: Lạc quan、Quyết định、Cơ sở;
Các zkVM khác nhau: RISC Zero, Hyper Oracle.
Sản phẩm phù hợp với thị trường (PMF)
Nhìn chung, Rollup-as-a-service là một lập luận chưa được kiểm chứng đòi hỏi phải xem xét hai khía cạnh chính:
Có bao nhiêu Rollup sẽ cần dịch vụ này?
Rollup có thích các bản dựng nội bộ hơn để có chủ quyền và khả năng tùy chỉnh không?
Lặp lại sản phẩm liên tục
Kakarot đang xây dựng một sản phẩm rất phức tạp về mặt kỹ thuật, có thể sẽ cần phải lặp đi lặp lại liên tục để thành công. Nó cũng phụ thuộc vào một số thành phần, bao gồm:
Sữa;
ĐA giải pháp;
Lộ trình của Ethereum: The Verge.
Xem bản gốc
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Vitalik tham gia đầu tư, Kakarot giới thiệu EVM với Starknet như thế nào?
Tác giả: s
Biên soạn: Deep Tide TechFlow
Kakarot zkEVM là một EVM được triển khai ở Cairo. Bằng cách tăng cường khả năng tương thích của EVM, nó mở rộng hệ sinh thái của Starknet. Nó đã sử dụng điều gì để giành được sự hỗ trợ của Vitalik và StarkWare? Các nhà phân tích Trong bài viết này, chúng ta sẽ khám phá các giai đoạn khác nhau của Kakarot, điểm mạnh và điểm yếu của chúng, cũng như những thách thức và cơ hội mà dự án phải đối mặt.
CairoVM là gì?
Kakarot được xây dựng trên máy ảo (VM) CairoVM, là cơ sở hạ tầng của Starknet.
Các tính năng chính của CairoVM:
Cairo là gì?
Turing hoàn thiện kiến trúc CPU thân thiện với STARK:
Cách thức hoạt động của Cairo
Các nhà phát triển có thể sử dụng Cairo để viết các chương trình trong CairoVM để mô tả các câu lệnh được chứng minh bằng ngôn ngữ cấp cao. Điều này cải thiện trải nghiệm của nhà phát triển vì họ có thể tận dụng khả năng mở rộng của bằng chứng không kiến thức (ZKP) mà không cần phải học cách viết các mạch phức tạp.
Kiến trúc Kakarot
Kakarot được xây dựng trên CairoVM và là:
Kakarot cho phép:
Kakarot không phải là:
Kể từ tháng 5 năm 2023:
Sau khi thực hiện biên dịch trước EVM 9/9, Kakarot sẽ trở thành Loại 2.5 zkEVM.
Loại 1 zkEVM hoàn toàn tương đương với Ethereum, không thay đổi hệ thống Ethereum để tạo bằng chứng dễ dàng hơn,
Ưu điểm: Giải pháp tối ưu để nhân rộng Ethereum.
Nhược điểm: Tính toán chuyên sâu, chứng minh lâu (cần nhiều giờ).
Ví dụ: Cuộn, Taiko.
Loại 2 zkEVM hoàn toàn tương đương với EVM, với những sửa đổi nhỏ đối với hệ thống Ethereum (sử dụng một hàm băm khác) để:
Ưu điểm: Có sẵn cho hầu hết các ứng dụng Ethereum.
Nhược điểm: Hiệu quả của EVM và ZK không thân thiện.
Ví dụ Cuộn.
Loại 2,5 zkEVM tương đương với EVM trừ chi phí Gas. Nó làm tăng chi phí gas của các hoạt động cụ thể trong EVM mà rất khó chứng minh với ZK.
Ưu điểm: ít rủi ro hơn EVM rộng hơn
Nhược điểm: Giảm khả năng tương thích với công cụ phát triển, một số dApps sẽ không tương thích.
Loại 3 zkEVM gần giống với EVM, chỉ có các tính năng đặc biệt khó thực hiện (chẳng hạn như tiền biên dịch) bị loại bỏ.
Ưu điểm: Thời gian chứng minh nhanh hơn, phát triển EVM dễ dàng hơn.
Nhược điểm: Một số dApp cần được viết lại.
Ví dụ:
Loại 4 tương đương với ngôn ngữ cấp cao zkEVM, biên dịch mã nguồn SC (ngôn ngữ cấp cao) thành ngôn ngữ thân thiện với ZK-SNARK.
Ưu điểm: Tránh được nhiều chi phí.
Nhược điểm: Các hợp đồng có thể không có cùng địa chỉ với EVM, mã bytecode EVM viết tay có thể không được hỗ trợ, không thể chuyển giao cơ sở hạ tầng vì chúng chạy trên mã bytecode EVM.
Ví dụ:
Lộ trình Kakarot | Giai đoạn 1 | Đưa EVM lên Starknet
Kakarot ban đầu sẽ tồn tại trong Starknet dưới dạng EVM được lưu giữ. Trải nghiệm của nhà phát triển và người dùng (UX) sẽ hoàn toàn giống với Polygon, Scroll hoặc Ethereum.
Giai đoạn 2 | L3 zkEVM
Việc triển khai chuỗi ứng dụng zkEVM qua Kakarot cho phép họ giải quyết txns trên Starknet bằng cách sử dụng bằng chứng về tính hợp lệ. Điều này đạt được bằng cách kết hợp Kakarot và MadaraStarknet thành một ngăn xếp thống nhất.
Chỉ với 1 cú nhấp chuột, Tổng số giúp bạn:
Chạy Solidity SC trong CairoVM bằng cách sử dụng Kakarot: Mọi Solidity SC được triển khai trên EVM sẽ có thể chạy trên Starknet mà không cần thay đổi mã.
Những lợi thế của việc có thể có cả hai:
Giai đoạn 3 | Loại 1 zkEVM
Để đạt được điều này, Kakarot phải:
Nó phụ thuộc vào lộ trình Ethereum: Verge. Hiện tại, việc triển khai Keccak MPT theo cách có thể chứng minh là rẻ tiền là trở ngại tương thích chính đối với zkEVM. Sau Verge, Keccak có thể được thay thế bởi Poseidon làm hàm băm ưa thích của Ethereum.
suy nghĩ của tôi
Đây chắc chắn là một bước tiến lớn trong việc mang lại khả năng tương thích EVM cho Starknet, nhưng có một số lo ngại xung quanh thành công của Kakarot.
Đối mặt với sự cạnh tranh từ các đối thủ sau:
Sản phẩm phù hợp với thị trường (PMF)
Nhìn chung, Rollup-as-a-service là một lập luận chưa được kiểm chứng đòi hỏi phải xem xét hai khía cạnh chính:
Lặp lại sản phẩm liên tục
Kakarot đang xây dựng một sản phẩm rất phức tạp về mặt kỹ thuật, có thể sẽ cần phải lặp đi lặp lại liên tục để thành công. Nó cũng phụ thuộc vào một số thành phần, bao gồm: