Subscribe to DavieVN
Subscribe to DavieVN
<100 subscribers
<100 subscribers
Share Dialog
Share Dialog
Giải mã Cairo VM, CASM, Cairo Zero, Cairo và Sierra.
Để mở khóa khả năng mở rộng quy mô an toàn và phi tập trung cho Ethereum, Bản tổng hợp hợp lệ giúp việc xác minh các lô giao dịch hiệu quả hơn nhiều so với việc thực hiện lại một cách ngây thơ. Các nút chuyên biệt (được gọi là Trình sắp xếp chuỗi) trên Lớp 2 (L2) gói các giao dịch thành các khối L2 mới, trong khi các nút mạng chính Ethereum xác nhận các giao dịch này với nỗ lực tối thiểu.
Starknet là một Bản tổng hợp tính hợp lệ tận dụng máy ảo Cairo, được thiết kế có mục đích nhằm tối ưu hóa hiệu quả của các bằng chứng về tính hợp lệ. Starknet sử dụng STARK (Đối số kiến thức minh bạch, có thể mở rộng) làm hệ thống chứng minh, cho phép tạo ra các bằng chứng ngắn gọn cho các phép tính phức tạp, do đó giảm đáng kể độ phức tạp của quy trình xác minh trên chuỗi.
Trong bài đăng trên blog này, chúng ta sẽ đi sâu vào các thành phần khác nhau giúp Starknet trở thành L2 hoạt động hiệu quả nhất theo TPS – Cairo VM, CASM, Cairo Zero, Cairo và Sierra.
Việc tạo Bằng chứng Hiệu lực cho các chương trình tính toán nói chung đòi hỏi phải nắm bắt sâu sắc các nguyên tắc toán học phức tạp làm nền tảng cho STARK. Đối với mỗi phép tính, điều quan trọng là phải xây dựng Biểu diễn trung gian đại số (AIR), bao gồm một tập hợp các ràng buộc đa thức thể hiện chính xác phép tính đã cho. Ban đầu được đặt tên là “CPU AIR”, Cairo là một CPU ảo và một AIR đơn lẻ, có khả năng mô tả bất kỳ tính toán nào với cùng một AIR “chung”. Cairo VM được thiết kế có chủ ý cho các hệ thống Chứng minh tính hợp lệ và không bị hạn chế bởi các giới hạn do EVM (máy ảo Ethereum) áp đặt
CASM (Cairo Assembly) là mã máy mà Cairo VM chạy. CASM được dịch sang các ràng buộc đa thức để thực thi chương trình một cách chính xác. CASM là một thành phần quan trọng trong hệ sinh thái vì bất kể người dùng gửi gì đến trình sắp xếp chuỗi Starknet, điều đã được chứng minh là việc thực thi CASM chính xác.
Cairo Zero, được phát hành vào năm 2020, đã giới thiệu ngôn ngữ Turing-complete đầu tiên trên thế giới để tạo ra các chương trình có thể chứng minh được STARK, cách mạng hóa tính toán có thể kiểm chứng. Các chương trình Cairo Zero được biên dịch cục bộ thành CASM và sau đó được gửi đến trình sắp xếp chuỗi Starknet. Mặc dù mang tính đột phá, nhưng Cairo Zero có một lộ trình học tập khó khăn do tính chất cấp thấp và không hoàn toàn loại bỏ các nguyên tắc mã hóa cơ bản cần thiết để chứng minh việc thực thi chương trình.
Cairo (nay là v2.1.1) khắc phục những hạn chế của Cairo Zero, hứa hẹn việc soạn thảo hợp đồng an toàn hơn, hiệu quả hơn. Cairo cải thiện đáng kể trải nghiệm của nhà phát triển với cú pháp giống Rust và bằng cách loại bỏ những hạn chế tồn tại ở Cairo Zero (ví dụ: ghi một lần bộ nhớ). Cairo mang đến các khái niệm lập trình hiện đại từ thế giới cũ, chẳng hạn như đặc điểm/ngụ ý, tổng quát, đối sánh enum mà không ảnh hưởng đến hiệu quả của việc tạo bằng chứng do CairoVM cơ bản mang lại.
Với Cairo, đến Sierra. Sierra đóng vai trò là đại diện trung gian giữa Cairo và CASM. Lớp bổ sung này đảm bảo rằng mã người dùng vẫn có thể được chứng minh trong mọi trường hợp. Sierra biên dịch thành “ CASM an toàn”, một tập hợp con của CASM được đảm bảo có thể chứng minh được cho tất cả các đầu vào. Lớp trung gian giữa mã người dùng và mã đã được chứng minh này rất quan trọng trong việc bảo vệ trình sắp xếp chuỗi Starknet khỏi DOS dưới dạng các giao dịch không thể chứng minh được.
Một lợi ích có lẽ đáng ngạc nhiên của Sierra là nhờ cách biểu diễn trung gian đơn giản này, trình sắp xếp chuỗi Starknet cuối cùng có thể chạy trực tiếp trên phần cứng gốc thay vì thông qua CairoVM. Để minh họa sức mạnh của trình sắp xếp chuỗi thực thi Sierra, hãy xem xét ví dụ sau: người ta có thể sử dụng thông tin loại từ Sierra để làm việc với các kiểu gốc (ví dụ: u32) thay vì làm việc trong trường chính của CairoVM.
Cairo xây dựng dựa trên nền tảng do CairoVM đặt ra để cách mạng hóa tính toán có thể kiểm chứng. Với cú pháp giống Rust và các tính năng của ngôn ngữ lập trình hiện đại, Cairo nâng cao đáng kể trải nghiệm của nhà phát triển, đơn giản hóa việc viết hợp đồng và giảm nguy cơ xảy ra lỗi. Cairo nổi lên như một công cụ mạnh mẽ thúc đẩy sự đổi mới phi tập trung.
Giải mã Cairo VM, CASM, Cairo Zero, Cairo và Sierra.
Để mở khóa khả năng mở rộng quy mô an toàn và phi tập trung cho Ethereum, Bản tổng hợp hợp lệ giúp việc xác minh các lô giao dịch hiệu quả hơn nhiều so với việc thực hiện lại một cách ngây thơ. Các nút chuyên biệt (được gọi là Trình sắp xếp chuỗi) trên Lớp 2 (L2) gói các giao dịch thành các khối L2 mới, trong khi các nút mạng chính Ethereum xác nhận các giao dịch này với nỗ lực tối thiểu.
Starknet là một Bản tổng hợp tính hợp lệ tận dụng máy ảo Cairo, được thiết kế có mục đích nhằm tối ưu hóa hiệu quả của các bằng chứng về tính hợp lệ. Starknet sử dụng STARK (Đối số kiến thức minh bạch, có thể mở rộng) làm hệ thống chứng minh, cho phép tạo ra các bằng chứng ngắn gọn cho các phép tính phức tạp, do đó giảm đáng kể độ phức tạp của quy trình xác minh trên chuỗi.
Trong bài đăng trên blog này, chúng ta sẽ đi sâu vào các thành phần khác nhau giúp Starknet trở thành L2 hoạt động hiệu quả nhất theo TPS – Cairo VM, CASM, Cairo Zero, Cairo và Sierra.
Việc tạo Bằng chứng Hiệu lực cho các chương trình tính toán nói chung đòi hỏi phải nắm bắt sâu sắc các nguyên tắc toán học phức tạp làm nền tảng cho STARK. Đối với mỗi phép tính, điều quan trọng là phải xây dựng Biểu diễn trung gian đại số (AIR), bao gồm một tập hợp các ràng buộc đa thức thể hiện chính xác phép tính đã cho. Ban đầu được đặt tên là “CPU AIR”, Cairo là một CPU ảo và một AIR đơn lẻ, có khả năng mô tả bất kỳ tính toán nào với cùng một AIR “chung”. Cairo VM được thiết kế có chủ ý cho các hệ thống Chứng minh tính hợp lệ và không bị hạn chế bởi các giới hạn do EVM (máy ảo Ethereum) áp đặt
CASM (Cairo Assembly) là mã máy mà Cairo VM chạy. CASM được dịch sang các ràng buộc đa thức để thực thi chương trình một cách chính xác. CASM là một thành phần quan trọng trong hệ sinh thái vì bất kể người dùng gửi gì đến trình sắp xếp chuỗi Starknet, điều đã được chứng minh là việc thực thi CASM chính xác.
Cairo Zero, được phát hành vào năm 2020, đã giới thiệu ngôn ngữ Turing-complete đầu tiên trên thế giới để tạo ra các chương trình có thể chứng minh được STARK, cách mạng hóa tính toán có thể kiểm chứng. Các chương trình Cairo Zero được biên dịch cục bộ thành CASM và sau đó được gửi đến trình sắp xếp chuỗi Starknet. Mặc dù mang tính đột phá, nhưng Cairo Zero có một lộ trình học tập khó khăn do tính chất cấp thấp và không hoàn toàn loại bỏ các nguyên tắc mã hóa cơ bản cần thiết để chứng minh việc thực thi chương trình.
Cairo (nay là v2.1.1) khắc phục những hạn chế của Cairo Zero, hứa hẹn việc soạn thảo hợp đồng an toàn hơn, hiệu quả hơn. Cairo cải thiện đáng kể trải nghiệm của nhà phát triển với cú pháp giống Rust và bằng cách loại bỏ những hạn chế tồn tại ở Cairo Zero (ví dụ: ghi một lần bộ nhớ). Cairo mang đến các khái niệm lập trình hiện đại từ thế giới cũ, chẳng hạn như đặc điểm/ngụ ý, tổng quát, đối sánh enum mà không ảnh hưởng đến hiệu quả của việc tạo bằng chứng do CairoVM cơ bản mang lại.
Với Cairo, đến Sierra. Sierra đóng vai trò là đại diện trung gian giữa Cairo và CASM. Lớp bổ sung này đảm bảo rằng mã người dùng vẫn có thể được chứng minh trong mọi trường hợp. Sierra biên dịch thành “ CASM an toàn”, một tập hợp con của CASM được đảm bảo có thể chứng minh được cho tất cả các đầu vào. Lớp trung gian giữa mã người dùng và mã đã được chứng minh này rất quan trọng trong việc bảo vệ trình sắp xếp chuỗi Starknet khỏi DOS dưới dạng các giao dịch không thể chứng minh được.
Một lợi ích có lẽ đáng ngạc nhiên của Sierra là nhờ cách biểu diễn trung gian đơn giản này, trình sắp xếp chuỗi Starknet cuối cùng có thể chạy trực tiếp trên phần cứng gốc thay vì thông qua CairoVM. Để minh họa sức mạnh của trình sắp xếp chuỗi thực thi Sierra, hãy xem xét ví dụ sau: người ta có thể sử dụng thông tin loại từ Sierra để làm việc với các kiểu gốc (ví dụ: u32) thay vì làm việc trong trường chính của CairoVM.
Cairo xây dựng dựa trên nền tảng do CairoVM đặt ra để cách mạng hóa tính toán có thể kiểm chứng. Với cú pháp giống Rust và các tính năng của ngôn ngữ lập trình hiện đại, Cairo nâng cao đáng kể trải nghiệm của nhà phát triển, đơn giản hóa việc viết hợp đồng và giảm nguy cơ xảy ra lỗi. Cairo nổi lên như một công cụ mạnh mẽ thúc đẩy sự đổi mới phi tập trung.
No activity yet