Tác giả: s, nhà phân tích đầu tư mạo hiểm; bản dịch: Jinse Finance xiaozou
Kakarot zkEVM là gì? Tại sao nó được hỗ trợ bởi Vitalik và StarkWare? Kakarot mang EVM đến với Starknet, tạo điều kiện mở rộng EVM dApps. Hãy cùng tìm hiểu sâu hơn nhé!
Chúng tôi đã khởi động và vào chế độ Super Saiyan. Kakarot Labs đã được chính thức thành lập và hoàn thành tài trợ sớm giai đoạn tiền hạt giống với các nhà đầu tư hàng đầu.
Hãy cùng hướng đến tầm nhìn phát triển, làm rõ vị thế hiện tại và hướng tới một tương lai tươi sáng.
Bài viết này sẽ chủ yếu giới thiệu những nội dung sau: 1. CairoVM là gì? 2. Cairo là gì? 3. Kiến trúc EVM 4. Kiến trúc Kakarot 5. Phân loại kiểu zkEVM 6. Lộ trình Kakarot 7. Suy nghĩ cá nhân.
Kakarot zkEVM là một EVM được triển khai bằng ngôn ngữ Cario, mở rộng độ tin cậy của hệ sinh thái Starknet bằng cách tăng cường khả năng tương thích EVM. Hãy hiểu từng bước một.
**1. ****CairoVM là gì? **
Kakarot chạy trên máy ảo CairoVM, là cơ sở hạ tầng của Starknet. Các tính năng chính của CairoVM như sau:
· Biểu diễn phép thực hiện dưới dạng phương trình đa thức cho phép thực hiện có thể chứng minh được.
· Cho phép tất cả các giao dịch Starknet sử dụng xác minh STARK.
**2. Cario là gì? **
Cario là một kiến trúc CPU thân thiện với STARK hoàn chỉnh của Turing.
· Turing Complete: Hệ thống có khả năng tính toán bất kỳ tính toán/chương trình nào có thể.
· Thân thiện với Stark: Hệ thống xác thực của StarkWare. 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.
Vậy, Cario hoạt động như thế nào? Các nhà phát triển có thể sử dụng Cairo để viết các chương trình trong CaroVM và mô tả các câu lệnh bằng ngôn ngữ cấp cao (sẽ được chứng minh). Điều này cải thiện trải nghiệm phát triển vì các nhà phát triển có thể tận dụng khả năng mở rộng của ZK Proofs (ZKP) mà không cần phải học cách viết các mạch phức tạp.
3. Kiến trúc EVM****
Kiến trúc EVM là kiến trúc VM (máy ảo) trưởng thành và được xác định rõ ràng với:
142 opcodes: hướng dẫn được EVM sử dụng để thực hiện giao dịch và hợp đồng thông minh (SC). Một khoản phí gas là cần thiết để thực hiện.
9 tiền biên dịch: Hợp đồng thông minh được tích hợp vào Ethereum để xử lý các hoạt động thông thường. Có thể được gọi với phí gas tiêu chuẩn.
4. Kakarot****Cấu trúc
Kakarot được phát triển dựa trên CairoVM, đó là:
· Trình thông dịch bytecode EVM
·Hợp đồng thông minh được triển khai trên Starknet
· Sử dụng ngôn ngữ Cario
Kakarot hỗ trợ:
· Triển khai hợp đồng thông minh EVM như vố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% đã được hiện thực hóa (Loại 3 zkEVM)
9 EVM được biên dịch trước để đạt được 8
Sau khi triển khai tất cả 9 bản biên dịch trước EVM, Kakarot sẽ trở thành Loại 2.5 zkEVM.
5, zkEVM***Loạiloại
(1) Loại 1 zkEVM | Hoàn toàn tương đương với Ethereum
Không có thay đổi nào đối với hệ thống Ethereum để hỗ trợ tạo bằng chứng dễ dàng hơn.
lợi thế:
Giải pháp tối ưu cho việc mở rộng Ethereum
sự thiếu sót:
· Tin học chuyên sâu
Thời gian chứng minh dài (mất hàng giờ)
Ví dụ:
·Cuộn
·Taiko
(2) zkEVM loại 2 | hoàn toàn tương đương với EVM
Các sửa đổi nhỏ đối với hệ thống Ethereum (các hàm băm khác nhau) giúp việc phát triển dễ dàng hơn và tạo bằng chứng nhanh hơn.
lợi thế:
· Hỗ trợ hầu hết các dApp Ethereum
sự thiếu sót:
Sự kém hiệu quả và không thân thiện của EVM vẫn tồn tại
Ví dụ:
·Cuộn
(3) Loại 2.5 zkEVM | Tương đương với EVM (trừ phí xăng)
Đã thêm chi phí gas cho các hoạt động cụ thể trong EVM khó chứng minh bằng ZK.
lợi thế:
Ít rủi ro hơn thay đổi EVM rộng hơn
sự thiếu sót:
Giảm khả năng tương thích của các công cụ phát triển
· Một số dApps không tương thích
(4) Loại 3 zkEVM | gần như tương đương với EVM
Các tính năng đặc biệt khó thực hiện (chẳng hạn như biên dịch trước) đã bị xóa.
lợi thế:
· Thời gian chứng minh nhanh hơn
· Phát triển EVM dễ dàng hơn
sự thiếu sót:
· Một số dApps cần được viết lại
Ví dụ:
·Cuộn
·Đa giác
**(5)Tpye4zkEVM|**tương đương với ngôn ngữ cấp cao
Mã nguồn hợp đồng thông minh (ngôn ngữ cấp cao) được biên dịch thành ngôn ngữ thân thiện với ZK-SNARK.
lợi thế:
· Tránh nhiều chi phí
sự thiếu sót:
Địa chỉ hợp đồng có thể khác với địa chỉ trong EVM
Có thể không hỗ trợ mã byte EVM viết tay
· Cơ sở hạ tầng gỡ lỗi không thể kế thừa vì chúng chạy trên EVM bytecode.
Ví dụ:
·zkSync
·Nethermind
6**、Bản đồ lộ trình Kakarot**
(1) 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 phát triển và trải nghiệm người dùng (UX) sẽ giống như Polygon, Scroll hoặc Ethereum.
(2) Giai đoạn 2 | L3 zkEVM
Triển khai chuỗi ứng dụng zkEVM thông qua Kakarot cho phép họ giải quyết các giao dịch trên Starknet bằng cách sử dụng bằng chứng hợp lệ.
Bằng cách hợp nhất Kakarot và bộ giải mã Starknet của Madara (bộ giải mã Starknet dựa trên chất nền) thành một ngăn xếp thống nhất.
(3) Giai đoạn 2 | zkEVM-Rollup-as-a-Service
Chỉ với một cú nhấp chuột, tổng số nhận được:
·ZkEVM dành riêng cho ứng dụng được triển khai trên Starknet
· Truy cập vào môi trường EVM
· Thi công nhanh chóng
Phí gas thấp: sử dụng các giải pháp có sẵn dữ liệu (Celestia, EigenLayer)
· Bảo mật mã hóa
Ưu điểm của zkEVM-Rollup-as-a-Service:
Chạy hợp đồng thông minh Solidity trong CairoVM bằng cách sử dụng Kakarot
Mọi hợp đồng thông minh Solidity được triển khai trên EVM đều có thể chạy trên Starknet mà không cần thay đổi mã
Tốt nhất của cả hai thế giới:
Hiệu quả với EVM
·Hợp đồng thông minh trở nên có thể chứng minh được
(4) Giai đoạn 3 | Loại 1 zkEVM
Để bước vào giai đoạn này, Kakarot phải:
·Sử dụng Cairo để viết các quy tắc đồng thuận Ethereum trong các nút đầy đủ của Madara và Kakarot để chứng minh sự đồng thuận L1.
· Chuyển từ Pedersen Merkle Patricia Trie (MPT) sang Keccak MPT.
Tuy nhiên, Giai đoạn 3 là không chắc chắn. 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 được và chi phí thấp là trở ngại chính đối với khả năng tương thích với zkEVM. Sau Verge, Keccak có thể được thay thế bởi Poseidon làm hàm băm được lựa chọn cho Ethereum.
7**、Suy nghĩ cá nhân**
Mang lại khả năng tương thích EVM cho Starknet chắc chắn là một bước tiến lớn, nhưng vẫn còn một số lo ngại về sự thành công của Kakarot.
(1) Lĩnh vực ZK có tính cạnh tranh cao
Đối thủ cạnh tranh là:
· ZK-rollup với các hệ thống bằng chứng khác nhau (SNARK): Scroll, zkSync, Polygon, Taiko, Linea.
·Bản tổng hợp lạc quan：Lạc quan、Quyết định、Cơ sở
zkVM khác nhau: RISC Zero, Hyper Oracle
(2) Sản phẩm phù hợp với thị trường (PMF)
Nhìn chung, rollup-as-a-service là một chủ đề mở, với hai khía cạnh chính cần xem xét:
· Có bao nhiêu bản tổng hợp cần dịch vụ này?
Rollup có thích xây dựng chủ quyền và khả năng tùy chỉnh trong nội bộ không?
(3) Lặp lại sản phẩm liên tục
Kakarot đang phát triển và xây dựng một sản phẩm có độ phức tạp cao về mặt kỹ thuật và có thể sẽ cần lặp lại liên tục để thành công.
Nó cũng dựa trên một số thành phần động, bao gồm:
·Sữa
·Giải pháp về tính khả dụng của dữ liệu
Lộ trình Ethereum: 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.
Kakarot zkEVM là gì? Tại sao Vitalik tham gia bỏ phiếu
Tác giả: s, nhà phân tích đầu tư mạo hiểm; bản dịch: Jinse Finance xiaozou
Kakarot zkEVM là gì? Tại sao nó được hỗ trợ bởi Vitalik và StarkWare? Kakarot mang EVM đến với Starknet, tạo điều kiện mở rộng EVM dApps. Hãy cùng tìm hiểu sâu hơn nhé!
Chúng tôi đã khởi động và vào chế độ Super Saiyan. Kakarot Labs đã được chính thức thành lập và hoàn thành tài trợ sớm giai đoạn tiền hạt giống với các nhà đầu tư hàng đầu.
Hãy cùng hướng đến tầm nhìn phát triển, làm rõ vị thế hiện tại và hướng tới một tương lai tươi sáng.
Bài viết này sẽ chủ yếu giới thiệu những nội dung sau: 1. CairoVM là gì? 2. Cairo là gì? 3. Kiến trúc EVM 4. Kiến trúc Kakarot 5. Phân loại kiểu zkEVM 6. Lộ trình Kakarot 7. Suy nghĩ cá nhân.
Kakarot zkEVM là một EVM được triển khai bằng ngôn ngữ Cario, mở rộng độ tin cậy của hệ sinh thái Starknet bằng cách tăng cường khả năng tương thích EVM. Hãy hiểu từng bước một.
**1. ****CairoVM là gì? **
Kakarot chạy trên máy ảo CairoVM, là cơ sở hạ tầng của Starknet. Các tính năng chính của CairoVM như sau:
· Biểu diễn phép thực hiện dưới dạng phương trình đa thức cho phép thực hiện có thể chứng minh được.
· Cho phép tất cả các giao dịch Starknet sử dụng xác minh STARK.
**2. Cario là gì? **
Cario là một kiến trúc CPU thân thiện với STARK hoàn chỉnh của Turing.
· Turing Complete: Hệ thống có khả năng tính toán bất kỳ tính toán/chương trình nào có thể.
· Thân thiện với Stark: Hệ thống xác thực của StarkWare. 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.
Vậy, Cario hoạt động như thế nào? Các nhà phát triển có thể sử dụng Cairo để viết các chương trình trong CaroVM và mô tả các câu lệnh bằng ngôn ngữ cấp cao (sẽ được chứng minh). Điều này cải thiện trải nghiệm phát triển vì các nhà phát triển có thể tận dụng khả năng mở rộng của ZK Proofs (ZKP) mà không cần phải học cách viết các mạch phức tạp.
3. Kiến trúc EVM****
Kiến trúc EVM là kiến trúc VM (máy ảo) trưởng thành và được xác định rõ ràng với:
142 opcodes: hướng dẫn được EVM sử dụng để thực hiện giao dịch và hợp đồng thông minh (SC). Một khoản phí gas là cần thiết để thực hiện.
9 tiền biên dịch: Hợp đồng thông minh được tích hợp vào Ethereum để xử lý các hoạt động thông thường. Có thể được gọi với phí gas tiêu chuẩn.
4. Kakarot****Cấu trúc
Kakarot được phát triển dựa trên CairoVM, đó là:
· Trình thông dịch bytecode EVM
·Hợp đồng thông minh được triển khai trên Starknet
· Sử dụng ngôn ngữ Cario
Kakarot hỗ trợ:
· Triển khai hợp đồng thông minh EVM như vố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% đã được hiện thực hóa (Loại 3 zkEVM)
9 EVM được biên dịch trước để đạt được 8
Sau khi triển khai tất cả 9 bản biên dịch trước EVM, Kakarot sẽ trở thành Loại 2.5 zkEVM.
5, zkEVM***Loạiloại
(1) Loại 1 zkEVM | Hoàn toàn tương đương với Ethereum
Không có thay đổi nào đối với hệ thống Ethereum để hỗ trợ tạo bằng chứng dễ dàng hơn.
lợi thế:
Giải pháp tối ưu cho việc mở rộng Ethereum
sự thiếu sót:
· Tin học chuyên sâu
Thời gian chứng minh dài (mất hàng giờ)
Ví dụ:
·Cuộn
·Taiko
(2) zkEVM loại 2 | hoàn toàn tương đương với EVM
Các sửa đổi nhỏ đối với hệ thống Ethereum (các hàm băm khác nhau) giúp việc phát triển dễ dàng hơn và tạo bằng chứng nhanh hơn.
lợi thế:
· Hỗ trợ hầu hết các dApp Ethereum
sự thiếu sót:
Sự kém hiệu quả và không thân thiện của EVM vẫn tồn tại
Ví dụ:
·Cuộn
(3) Loại 2.5 zkEVM | Tương đương với EVM (trừ phí xăng)
Đã thêm chi phí gas cho các hoạt động cụ thể trong EVM khó chứng minh bằng ZK.
lợi thế:
Ít rủi ro hơn thay đổi EVM rộng hơn
sự thiếu sót:
Giảm khả năng tương thích của các công cụ phát triển
· Một số dApps không tương thích
(4) Loại 3 zkEVM | gần như tương đương với EVM
Các tính năng đặc biệt khó thực hiện (chẳng hạn như biên dịch trước) đã bị xóa.
lợi thế:
· Thời gian chứng minh nhanh hơn
· Phát triển EVM dễ dàng hơn
sự thiếu sót:
· Một số dApps cần được viết lại
Ví dụ:
·Cuộn
·Đa giác
**(5)Tpye4zkEVM|**tương đương với ngôn ngữ cấp cao
Mã nguồn hợp đồng thông minh (ngôn ngữ cấp cao) được biên dịch thành ngôn ngữ thân thiện với ZK-SNARK.
lợi thế:
· Tránh nhiều chi phí
sự thiếu sót:
Địa chỉ hợp đồng có thể khác với địa chỉ trong EVM
Có thể không hỗ trợ mã byte EVM viết tay
· Cơ sở hạ tầng gỡ lỗi không thể kế thừa vì chúng chạy trên EVM bytecode.
Ví dụ:
·zkSync
·Nethermind
6**、Bản đồ lộ trình Kakarot**
(1) 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 phát triển và trải nghiệm người dùng (UX) sẽ giống như Polygon, Scroll hoặc Ethereum.
(2) Giai đoạn 2 | L3 zkEVM
Triển khai chuỗi ứng dụng zkEVM thông qua Kakarot cho phép họ giải quyết các giao dịch trên Starknet bằng cách sử dụng bằng chứng hợp lệ.
Bằng cách hợp nhất Kakarot và bộ giải mã Starknet của Madara (bộ giải mã Starknet dựa trên chất nền) thành một ngăn xếp thống nhất.
(3) Giai đoạn 2 | zkEVM-Rollup-as-a-Service
Chỉ với một cú nhấp chuột, tổng số nhận được:
·ZkEVM dành riêng cho ứng dụng được triển khai trên Starknet
· Truy cập vào môi trường EVM
· Thi công nhanh chóng
Phí gas thấp: sử dụng các giải pháp có sẵn dữ liệu (Celestia, EigenLayer)
· Bảo mật mã hóa
Ưu điểm của zkEVM-Rollup-as-a-Service:
Chạy hợp đồng thông minh Solidity trong CairoVM bằng cách sử dụng Kakarot
Mọi hợp đồng thông minh Solidity được triển khai trên EVM đều có thể chạy trên Starknet mà không cần thay đổi mã
Tốt nhất của cả hai thế giới:
Hiệu quả với EVM
·Hợp đồng thông minh trở nên có thể chứng minh được
(4) Giai đoạn 3 | Loại 1 zkEVM
Để bước vào giai đoạn này, Kakarot phải:
·Sử dụng Cairo để viết các quy tắc đồng thuận Ethereum trong các nút đầy đủ của Madara và Kakarot để chứng minh sự đồng thuận L1.
· Chuyển từ Pedersen Merkle Patricia Trie (MPT) sang Keccak MPT.
Tuy nhiên, Giai đoạn 3 là không chắc chắn. 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 được và chi phí thấp là trở ngại chính đối với khả năng tương thích với zkEVM. Sau Verge, Keccak có thể được thay thế bởi Poseidon làm hàm băm được lựa chọn cho Ethereum.
7**、Suy nghĩ cá nhân**
Mang lại khả năng tương thích EVM cho Starknet chắc chắn là một bước tiến lớn, nhưng vẫn còn một số lo ngại về sự thành công của Kakarot.
(1) Lĩnh vực ZK có tính cạnh tranh cao
Đối thủ cạnh tranh là:
· ZK-rollup với các hệ thống bằng chứng khác nhau (SNARK): Scroll, zkSync, Polygon, Taiko, Linea.
·Bản tổng hợp lạc quan：Lạc quan、Quyết định、Cơ sở
zkVM khác nhau: RISC Zero, Hyper Oracle
(2) Sản phẩm phù hợp với thị trường (PMF)
Nhìn chung, rollup-as-a-service là một chủ đề mở, với hai khía cạnh chính cần xem xét:
· Có bao nhiêu bản tổng hợp cần dịch vụ này?
Rollup có thích xây dựng chủ quyền và khả năng tùy chỉnh trong nội bộ không?
(3) Lặp lại sản phẩm liên tục
Kakarot đang phát triển và xây dựng một sản phẩm có độ phức tạp cao về mặt kỹ thuật và có thể sẽ cần lặp lại liên tục để thành công.
Nó cũng dựa trên một số thành phần động, bao gồm:
·Sữa
·Giải pháp về tính khả dụng của dữ liệu
Lộ trình Ethereum: Verge