Các chức năng của bản cập nhật này có thể được tóm tắt thành ba điểm, đó là trí thông minh, hiệu quả và an toàn.

Các chức năng của bản cập nhật này có thể được tóm tắt thành ba điểm, đó là trí thông minh, hiệu quả và an toàn.

• Thông minh hơn: triển khai thiết kế Sierra, đảm bảo mã Cairo có thể chứng minh được và các hợp đồng thông minh StarkNet sẽ được triển khai trong phiên bản tiếp theo.

• Hiệu quả hơn: Theo dõi cơ chế đánh máy, quyền sở hữu và vay mượn ý tưởng thiết kế mạnh mẽ của ngôn ngữ Rust, có tính đến hiệu quả thực thi và tiêu chuẩn viết;

• An toàn hơn: Tính hoàn chỉnh của Turing được duy trì và tính bảo mật của cơ chế STARK được đảm bảo bằng các bằng chứng toán học;

Quy trình làm việc của phiên bản công khai Cairo 1.0 sẽ khác so với trước đây và hướng phát triển chính sẽ là cải tiến liên tục khả năng viết hợp đồng thông minh và sự thân thiện với nhà phát triển.

Điều tốt nhất của cả hai thế giới: Hướng tới ZK-EVM

Trong vòng chiến lớp 2 này, STARK và SNARK trong sê-ri ZK đã trở thành hai tuyến chính, nhưng khả năng tương thích và hiệu quả thực thi của EVM cũng trở thành tâm điểm chú ý của tất cả các bên và khả năng tương thích tốt hơn sẽ được mạng chính Ethereum công nhận. Phúc lợi bảo mật và hiệu quả thực thi cao hơn sẽ tăng tốc độ thực thi của chính L2.

Nhưng có một nghịch lý ở đây là khả năng tương thích EVM và hiệu quả thực thi thường không thể đạt được đồng thời, khả năng tương thích L1 càng tốt sẽ làm giảm hiệu quả thực thi L2, ngược lại sẽ phát sinh vấn đề bảo mật.

Do đó, StarkWare hy vọng sẽ sử dụng ngôn ngữ Cairo làm chất kết dính giữa hai bên.Các hợp đồng thông minh được viết thông qua nó không chỉ có thể chạy ở tốc độ tối đa trên StarkNet mà còn duy trì khả năng tương thích cao với mạng chính Ethereum.Đây là bản chất thực sự của ZK -EVM.ý nghĩa.

Trong bản cập nhật này, Cairo sẽ hỗ trợ Cairo-VM hoàn chỉnh, chìa khóa của nó là lớp trình bày trung gian Sierra.

Nói một cách đơn giản, Sierra sẽ đóng vai trò là "lớp dịch" giữa mã được viết bằng ngôn ngữ Cairo và mã byte bên dưới của nó, và quá trình dịch này sẽ tăng tốc trên cơ sở đảm bảo an ninh, mà không cần đặt trạng thái thực thi của giao dịch, nó có thể trực tiếp Chứng thực được thực hiện dựa trên trạng thái hiện tại.

Đây là một cải tiến về cú pháp riêng của Cairo. Ngoài ra, các hợp đồng thông minh của StarkWare sẽ dần dần chuyển sang ngôn ngữ Cairo hoàn chỉnh để hoàn thành việc thống nhất các tiêu chuẩn ngôn ngữ của riêng mình.

Vì mức độ tương thích đáng kể với mạng chính Ethereum được duy trì nên việc chuyển đổi giữa các hợp đồng thông minh được viết bằng Cairo và Solidity cũng sẽ dễ dàng hơn Warp, trình dịch của ứng dụng khách Ethereum Nethermind, đã hỗ trợ viết lại Uniswap V3 thành mã Cairo.

Trên thực tế, vào cuối tháng 10 năm 2022, StarkNet đã tuyên bố sẽ sử dụng Cairo để phát triển ZK-EVM, và sau đó khi StarkNet thực sự được đưa vào sản xuất, hiệu quả thực tế của khả năng tương thích này có thể được xác minh.

Mầm: Các tính năng cân bằng dựa trên rỉ sét

Trên thực tế, bản thân Cairo có thể được coi là một ngôn ngữ được viết bằng ngôn ngữ Rust, ngôn ngữ này thừa hưởng nhiều tính năng Rust hơn.

Bản thân Rust khác với những ngôn ngữ được gọi là hiện đại như Python/Go, hiệu quả hoạt động của nó rất gần với các ngôn ngữ phát triển cấp thấp hơn, nhưng đồng thời nó cũng tính đến khả năng đọc, chẳng hạn như đặc biệt. cơ chế quản lý bộ nhớ - quyền sở hữu đặc biệt (quyền sở hữu) và mượn.thiết kế.

Nói chính xác, quyền sở hữu của Cairo/Rust đề cập đến yêu cầu rõ ràng về quản lý bộ nhớ. Do cơ chế vận hành nút đặc biệt của chuỗi khối, nó là một môi trường phát triển nhạy cảm với bộ nhớ điển hình. Lấy C/C++ và Java làm ví dụ, có hiện có ba cơ chế sử dụng tài nguyên bộ nhớ chính:

• C/C++: Quản lý bộ nhớ theo cách thủ công, nhờ (hưởng lợi từ) sự tiến bộ của thiết bị hiện đại, phần lớn các nhà phát triển chưa có thói quen giải phóng bộ nhớ kịp thời, điều này sẽ gây lãng phí tài nguyên nghiêm trọng;

• Java: Cơ chế tái chế tài nguyên tự động. JVM là một máy ảo khi chạy Java, nó có chức năng tự động quản lý bộ nhớ, nhưng nhìn chung để đảm bảo hiệu quả hoạt động, JVM sẽ duy trì một lượng tài nguyên bộ nhớ nhất định, điều này cũng sẽ gây ra sự không phù hợp giữa cung và cầu;

• Cairo/Rust: Cơ chế sở hữu quản lý tài nguyên bộ nhớ. Bất kỳ biến nào trong Rust đều phải chỉ định chủ sở hữu và chỉ có thể có một chủ sở hữu tại một thời điểm. Khi thực thi, biến đó sẽ được giải phóng và không thể tiếp tục tồn tại trong bộ nhớ.

Thiết kế cơ chế sở hữu như vậy có thể đảm bảo rằng các tài nguyên bộ nhớ có giá trị chỉ được gọi trong quá trình thực thi, điều này có thể tính đến hiệu quả hoạt động của C/C++, nhưng tránh được các vấn đề như rò rỉ bộ nhớ. hữu ích cho việc giảm kích thước tổng thể của hợp đồng thông minh có ý nghĩa rất lớn.

Thứ hai là ý tưởng về đánh máy mạnh mẽ. Cairo/Rust liên quan đến việc viết và chạy nhiều hợp đồng thông minh, và tất cả chúng đều mang các Mã thông báo, NFT và dữ liệu cá nhân có giá trị cao, cần được xử lý đặc biệt và mọi thay đổi đều cần được điều trị một cách thận trọng.

Strongly typed languages ​​và essentially typed languages ​​có liên quan đến định nghĩa của các biến. Nói một cách đơn giản, các loại mạnh yêu cầu các biến phải được "kiểu dữ liệu" trước khi sử dụng."Các định nghĩa khía cạnh, chẳng hạn như số nguyên, số dấu phẩy động, chuỗi, v.v., không thể thay đổi tùy ý mà không có các thao tác chuyển đổi kiểu rõ ràng.

Các ngôn ngữ được gõ yếu không có các quy tắc nghiêm ngặt như vậy và kiểu dữ liệu của các biến có thể được thay đổi linh hoạt.

Khi viết hợp đồng thông minh, loại và số lượng tài sản phải được xử lý rõ ràng để đảm bảo rằng quyền sở hữu của chúng rõ ràng và quy trình giao dịch và chuyển đổi rõ ràng. tránh các mối lo ngại về bảo mật khác.

Theo lịch trình chính thức, trình biên dịch Cairo 1.0 sẽ ra mắt vào quý 1 năm nay, khi đó nó sẽ được tích hợp sâu hơn với StarkNet, với sự trợ giúp của các tính năng ngôn ngữ của Rust, dự kiến ​​sẽ cải thiện tốc độ thực thi từ lớp dưới cùng, do đó nâng TPS của nó lên mức có thể sử dụng hàng ngày.

Reborn: Thân thiện với nhà phát triển

Cairo 1.0 gánh vác nhiệm vụ quan trọng là kết nối mạng chính L2 và Ethereum, theo kế hoạch Regenesis (tái sinh) chính thức của mình, StarkNet sẽ chuyển đổi hoàn toàn sang Cairo vào quý 1 năm 2023, chấm dứt tình trạng chia rẽ hiện tại và bước vào giai đoạn phát triển mới của giai đoạn cạnh tranh sinh thái .

Tuy nhiên, do thiếu vắng những ứng dụng sát thủ thực sự, cộng với sự ra đi của những dự án hàng đầu như dYdX, con đường thăng tiến của StarkWare vẫn còn nhiều chông gai.

Trong mô hình phát triển chuỗi công khai/L2/dApp hiện tại, Solidity (Vyper) chiếm gần 98% vị trí độc quyền, trong khi Cairo chỉ chiếm chưa đến 1% không gian thị trường.

Kể từ khi thành lập StarkNet và StarkEx, các dApp do Cairo cung cấp đã xử lý hơn 300 triệu giao dịch, tạo ra hơn 65 triệu NFT và xử lý các giao dịch trị giá 700 tỷ USD, tất cả đều sử dụng Ethereum làm lớp thanh toán cuối cùng.

Trước khi Cairo 1.0 thực sự được áp dụng cho StarkNet, trải nghiệm của nhà phát triển là bước đầu tiên trong việc cạnh tranh để được tham gia vào hệ sinh thái StarkWare Ngoài hỗ trợ Warp của Nethermind, ConsenSys cũng đã đạt được sự hợp tác với StarkWare để cung cấp cho Cairo các hợp đồng thông minh nhằm cung cấp bảo mật dịch vụ kiểm toán.

Bài đọc liên quan:

Bài đọc liên quan:Kho hệ sinh thái của StarkWare: 7 ứng dụng trong StarkEx, 105 dự án sinh thái trong StarkNet

Có thể thấy rằng tiến độ phát triển chức năng của Cairo tương đối nhanh và dự kiến ​​sẽ triển khai nhiều chức năng hơn, đồng thời StarkNet cũng sẽ lấp đầy khoảng trống chức năng hiện tại sau khi Cairo được triển khai và cuối cùng nhận ra mô-đun đầy đủ tính năng của cấp hệ thống StarkNet các cuộc gọi.

Hiện tại, bạn có thể tham khảo dữ liệu của StarkEx một cách chính xác. Không giống như lộ trình tổng quát hóa của StarkNet, StarkEx được định hướng cho một số dự án lớn có quy mô lớn, bao gồm Immutable X, Sorare, Rgino.Fi và dYdX. Số lượng người dùng đã sử dụng dịch vụ đã lên tới 20 triệu, cuộc sống trung bình hàng tháng là hàng chục nghìn.

phần kết

phần kết

Cairo 1.0 không chỉ đơn giản là một bản cập nhật ngôn ngữ mà còn đảm nhận vai trò phong phú hơn, bao gồm kích hoạt khả năng tương thích EVM của StarkNet và hiệu quả thực thi, đồng thời giảm độ khó phát triển bằng cách tận dụng các mô hình lập trình trưởng thành của Rust, chẳng hạn như quyền sở hữu và gõ mạnh.

Đồng thời, cần lưu ý rằng Cairo 1.0 vẫn còn một số chức năng chưa được triển khai đầy đủ và trạng thái đầy đủ của nó có thể cần một chu kỳ phát triển dài hơn và thời gian phát hành mã thông báo của nó cũng sẽ được điều chỉnh cho phù hợp.

Nói tóm lại, Cairo có ý nghĩa to lớn trong việc kết thúc phiên bản StarkNet "không hoàn chỉnh" hiện tại, kết hợp các công cụ mới như Sierra, trình biên dịch và các công cụ phát triển chính thống, sẽ giảm đáng kể áp lực viết hợp đồng thông minh cho các nhà phát triển trên đó.