đặc tả giao thức máy tính ao

Tác giả: Tyler Hall, Vince Juliano, Ivan Morozov, Sam Williams, Tom Wilson Biên soạn: PermaDAO 

Áo là gì?

ao là một Định hướng diễn viên chạy trên Arweave Một máy tính, mạng các nút tạo nên máy tính tuân theo giao thức Core Data. Bài viết này giới thiệu ngắn gọn về đặc tả giao thức, chức năng và chi tiết kỹ thuật để cho phép các nhà xây dựng triển khai hoặc tích hợp dịch vụ.

ao là một môi trường điện toán thống nhất, duy nhất (Hình ảnh hệ thống đơnHình ảnh hệ thống đơn) được lưu trữ trong mạng phân tán trên một tập hợp không đồng nhất của các nút. ao được thiết kế như một môi trường có thể lưu trữ bất kỳ số lượng quy trình song song nào, được điều phối thông qua lớp nhắn tin mở.

Chuẩn nhắn tin này kết nối các tiến trình chạy độc lập trên một máy để tạo thành một "mạng", giống như một trang web chạy trên một máy chủ riêng biệt nhưng thông qua các Siêu liên kết kết nối thành một hệ thống tổng thể với một trải nghiệm thống nhất.

Không giống như các hệ thống điện toán phi tập trung hiện có, ao hỗ trợ các hoạt động điện toán linh hoạt không bị giới hạn về năng lực vốn có và các hình thức của giao thức, trong khi vẫn duy trì chính Khả năng xác minh của mạng (do đó giảm thiểu sự tin cậy).

Ngoài ra, kiến ​​trúc mô-đun và phân tán của ao cho phép các nền tảng hợp đồng thông minh hiện có dễ dàng "cắm" vào mạng, mở ra một nền tảng có thể tích hợp với bất kỳ nền tảng nào khác Một tiến trình gửi và nhận các thông điệp tới một tiến trình đơn lẻ.

ao không áp đặt một bộ quy tắc nào lên tất cả môi trường máy tính của người dùng, ao được xây dựng dưới dạng mô-đun: cho phép người dùng chọn máy ảo và mô hình tuần tự phù hợp phù hợp nhất với họ, đảm bảo bảo mật tin nhắn và các tùy chọn thanh toán.

Môi trường mô-đun này xử lý việc xử lý quyết toán trên lớp dữ liệu phi tập trung của Arweave thông qua nhắn tin hợp nhất (tất cả các tin nhắn đều có cùng định dạng). Môi trường mô-đun này là một môi trường điện toán hợp nhất có thể đáp ứng nhu cầu của nhiều khối lượng công việc cực kỳ rộng và mỗi quy trình có thể dễ dàng nhắn tin và cộng tác.

Mục tiêu cốt lõi của ao là đạt được các dịch vụ điện toán cộng tác và không cần tin cậy mà không bị hạn chế về quy mô. Điều này mở ra những khả năng mới cho các ứng dụng mà trước đây không thể thực hiện được: kết hợp ưu điểm của ứng dụng hợp đồng thông minh (dịch vụ chỉ yêu cầu tin cậy vào mã) với ưu điểm của môi trường điện toán truyền thống như AmazonEC2 v.v. Kết hợp.

aos (hệ điều hành phi tập trung của ao) cho phép các nhà phát triển khởi chạy các quy trình dòng lệnh tương tự như hợp đồng thông minh trong mạng phi tập trung. Quá trình này tương tự như việc khởi động một máy chủ trên dịch vụ đám mây, nhưng tính phân quyền và tính toán không cần tin cậy là những ưu điểm chính của nó.

Các quy trình này không bị giới hạn ở một vị trí thực tế cụ thể khi chạy, cho phép người dùng tương tác liền mạch qua mạng. Kết quả là một nền tảng điện toán toàn cầu thống nhất, duy nhất (Hình ảnh hệ thống đơn), vượt qua các giới hạn vật lý và khả năng mở rộng và được sử dụng bởi tất cả những người tham gia.

Tóm lại, ao tạo thành một máy tính khổng lồ, có khả năng mở rộng mà trên đó người dùng có thể tương tác với bất kỳ quy trình nào để tạo thành một hệ sinh thái có tính cộng tác cao.

Đối với người dùng, ao đại diện cho một máy tính dùng chung mà trên đó họ có thể thực thi nhiều quy trình. Các quy trình này không bị ràng buộc với bất kỳ máy chủ cụ thể nào hoặc bị chi phối bởi bất kỳ cá nhân hoặc nhóm nào. Sau khi được kích hoạt, các quy trình này sẽ cung cấp dịch vụ theo cách bảo mật bằng mật mã, đảm bảo hoạt động khách quan và lâu dài.

Thiết kế này mang đến cho người dùng quyền sử dụng ứng dụng ổn định trong thời gian dài, từ đó mang lại môi trường đáng tin cậy để người dùng tương tác với hệ thống.

Các chức năng cốt lõi

Với sự phân quyền hiện có So với điện toán phân tán trong các hệ thống, giao thức ao cung cấp các chức năng sau:

Bất kỳ số lượng quy trình nào (quy trình tương tự như hợp đồng thông minh) đều chạy song song:< /strong>Trong ao, các ứng dụng được xây dựng từ bất kỳ số lượng quy trình giao tiếp nào. Lấy cảm hứng từ mô hìnhdiễn viên ban đầu (Carl Hewitt, 1973) và Erlang, ao không cho phép chia sẻ bộ nhớ giữa các tiến trình nhưng cho phép chúng giao tiếp qua các tiêu chuẩn nhắn tin gốc.

Sau đó, mỗi quy trình này có thể chạy ở tốc độ tối đa bằng cách sử dụng các tài nguyên máy tính có sẵn mà không ảnh hưởng lẫn nhau. Bằng cách tập trung vào nhắn tin, ao thực hiện cơ chế mở rộng quy mô tương tự như môi trường hệ thống phân tán/Web2 truyền thống hơn là hợp đồng thông minh truyền thống.

Tài nguyên điện toán không giới hạn: Trong phiên bản gốc của SmartWeave và LazyLedger Được xây dựng trên kiến ​​trúc điện toán lười biếng của Celestia (sau này gọi là Celestia), các nút trong mạng ao không cần thực hiện bất kỳ phép tính nào khi đạt được sự đồng thuận về chuyển đổi trạng thái chương trình.

Tất cả nhật ký của từng quy trình đều được lưu trữ và trạng thái ảnh ba chiều (HolographicState) của quy trình cuối cùng được giữ lại trên Arweave. Chi phí tính toán sau đó được giao cho người dùng, người dùng có thể tự tính toán trạng thái của mình hoặc yêu cầu nút mà họ chọn thực hiện việc tính toán.

Truy cập Arweave, ổ cứng không giới hạn: các quy trình ao có thể tải và thực thi liền mạch dữ liệu có kích thước bất kỳ trực tiếp vào bộ nhớ của nó và Ghi trở lại mạng. Thiết lập này loại bỏ các hạn chế về tài nguyên điển hình và cho phép thực thi song song hoàn toàn, mở rộng đáng kể khả năng phát triển ứng dụng vượt ra ngoài giới hạn của nền tảng hợp đồng thông minh truyền thống.

Do đó, nó mở ra cánh cửa cho các ứng dụng phức tạp đòi hỏi tài nguyên điện toán và xử lý dữ liệu rộng rãi, chẳng hạn như các nhiệm vụ học máy và các tác nhân tự trị chuyên sâu về tính toán.

Hợp đồng tự động: Trong môi trường hợp đồng thông minh truyền thống (chẳng hạn như Ethereum, Solana, Polygon, v.v. ), hợp đồng phải được "đánh thức" để thực hiện các phép tính theo yêu cầu giao dịch của người dùng. Trong môi trường này, một chương trình không "hoạt động" trừ khi người dùng tương tác với nó, làm giảm phạm vi ứng dụng có thể được xây dựng trên đó.

ao loại bỏ hạn chế này bằng cách cho phép các hợp đồng tương tác với nhau bằng cách lên lịch các tác vụ có thể tự động đánh thức và thực hiện tính toán theo các khoảng thời gian đã đặt. Bất kỳ người dùng nào hoặc chính quy trình đó đều có thể trả tiền cho một nút để "đăng ký" một quy trình, từ đó kích hoạt các tính toán ở tần suất thích hợp.

Cấu trúc mô-đun hỗ trợ các tiện ích mở rộng: kiến ​​trúc cốt lõi của ao là giao thức dữ liệu mở mà bất kỳ ai cũng có thể xây dựng. Mọi thứ từ trình sắp xếp chuỗi, chuyển tiếp tin nhắn và thậm chí cả máy ảo cấp hệ thống đều có thể được thay thế và mở rộng theo ý muốn.

Tính linh hoạt này sẽ cho phép các hệ thống hợp đồng thông minh hiện có trong hệ sinh thái Arweave (Warp, everPay, Mem, v.v.) kết nối với ao và có thể gửi và nhận tin nhắn với mạng hợp nhất. Điều này cũng sẽ cho phép tất cả các hệ thống hợp đồng thông minh này chia sẻ một số cơ sở hạ tầng và công cụ giống nhau, giúp trải nghiệm điện toán trên Arweave trở nên mạch lạc hơn.

ao Giới thiệu kiến ​​trúc

Các thành phần cơ bản của ao như sau sau:

Quy trình: Một đơn vị tính toán trong mạng. Các quy trình có thể được biểu diễn dưới dạng nhật ký tương tác được lưu trữ trên Arweave, bao gồm các mục dữ liệu thông tin. Khi khởi tạo tiến trình, bạn cần xác định môi trường tính toán (bao gồm máy ảo, bộ lập lịch, bộ nhớ và các tiện ích mở rộng cần thiết).

Trạng thái của quy trình có thể được tính toán bởi các đơn vị tính toán đáp ứng yêu cầu và có thể đạt được sự đồng thuận. Ngoài việc nhận tin nhắn từ ví người dùng, các quy trình còn nhận tin nhắn từ các quy trình khác thông qua đơn vị nhắn tin. Nhà phát triển quy trình có thể tự do lựa chọn cách xác định độ tin cậy của những thông báo này (xem bên dưới).

Thông báo: Mọi tương tác với một quy trình trong ao đều được thể hiện bằng một thông báo. Về cơ bản, tin nhắn là các mục dữ liệu tuân theo tiêu chuẩn ANS-104. Người dùng và quy trình (thông qua hộp thư đi và đơn vị nhắn tin của họ) có thể gửi tin nhắn đến các quy trình khác trong mạng thông qua đơn vị điều phối.

ao Định nghĩa ngữ nghĩa của tin nhắn là giữa UDP và TCP: nó được đảm bảo chỉ được gửi một lần, nhưng nếu tin nhắn không bao giờ được chuyển tiếp bởi đơn vị đưa tin hoặc người nhận không bao giờ thực sự giải quyết nó, và coi như tin nhắn chưa bao giờ xảy ra.

Đơn vị lập lịch (SU): Đơn vị lập lịch chịu trách nhiệm chỉ định số vị trí tăng dần nguyên tử cho các tin nhắn được gửi đến các quy trình (tương tự như Ethereum nonce ). Sau khi được phân bổ, người lập lịch cần đảm bảo rằng dữ liệu được tải lên Arweave, giúp dữ liệu có sẵn vĩnh viễn cho những người khác.

Các quy trình được tự do lựa chọn thứ tự ưa thích của mình. Việc này có thể được triển khai theo nhiều cách khác nhau: phi tập trung, tập trung hoặc thậm chí do người dùng lưu trữ.

Đơn vị tính toán (CU): Đơn vị tính toán là các nút tính toán trạng thái quy trình trong ao. Đầu vào của nó sử dụng đơn vị người dùng và trình nhắn tin. cung cấp. Đơn vị lập lịch sẽ chỉ sắp xếp các thông báo quy trình và yêu cầu các đơn vị tính toán bổ sung để tính toán trạng thái của quy trình.

Điều này tạo ra một thị trường điện toán ngang hàng trong đó các đơn vị điện toán cạnh tranh với nhau để cung cấp các dịch vụ ở trạng thái quy trình điện toán. Các đơn vị tính toán này chơi trò chơi đánh đổi giữa giá cả, yêu cầu tính toán và các thông số khác. Sau khi quá trình tính toán trạng thái hoàn tất, đơn vị tính toán sẽ trả lại bằng chứng đã ký về đầu ra cho người gọi.

Các đơn vị tính toán cũng có thể tạo và xuất bản các bằng chứng trạng thái đã ký mà các nút khác có thể chọn tải - tùy ý trả một khoản phí do UDL chỉ định.

Đơn vị nhắn tin ( MU): Đơn vị nhắn tin chịu trách nhiệm gửi tin nhắn trong mạng ao. Các tin nhắn này phải trải qua một quy trình. gọi là Cranking (Danh từ riêng, có nghĩa như "bắt đầu" và "thực hiện lặp lại") để chuyển quá trình.

Về cơ bản, khi các đơn vị đưa tin xử lý một tin nhắn trong hệ thống, chúng sẽ gửi thông tin đến SU thích hợp để xử lý và thông tin được SU chuyển đến CU để tính toán Đầu ra được trả về SU và thiết bị truyền tin lặp lại quy trình.

Quá trình này tiếp tục cho đến khi không còn tin nhắn nào cần xử lý. Người dùng và quy trình cũng có thể trả tiền cho MU để đăng ký một quy trình và xử lý các thông báo tùy ý được tạo ra bởi các tương tác tác vụ theo lịch trình của nó. Một tiến trình cũng có thể tùy ý đánh dấu một thông báo là được truyền, điều này khiến MU gửi thông báo đến SU của nó nhưng không lắng nghe phản hồi.

Bằng cách này, ao có thể cung cấp một môi trường sôi động và cung cấp cho người dùng quyền tự do lựa chọn lớn nhất đối với các quy trình - máy ảo (VM), chế độ thanh toán, loại trình lập lịch trình , bảo mật tin nhắn, v.v.—mà không cần phải đồng ý về bản thân việc tính toán tốn kém.

Công việc liên quan

Hiện tại chưa có trường hợp tương tự nào mô tả về ao và trải nghiệm sử dụng nó. Tuy nhiên, có nhiều dự án và mạng lưới liên quan có thể được so sánh với ao để làm sáng tỏ các đặc tính của nó. Trong phần này chúng ta lần lượt thảo luận từng công việc liên quan.

Người mẫu diễn viên

Người mẫu diễn viên của Carl Hewitt, Peter Bishop và Richard Steiger đã giới thiệu nó trong bài báo "Chính thức hóa diễn viên mô-đun chung cho trí tuệ nhân tạo" như một khuôn khổ cơ bản để hiểu và triển khai tính đồng thời trong hệ thống máy tính.

Mô hình này tin rằng đơn vị tính toán cơ bản là "tác nhân", có thể đưa ra quyết định cục bộ, tạo thêm tác nhân, gửi tin nhắn và xác định cách phản hồi để tiếp nhận thực thể thông điệp. Cách tiếp cận thiết kế và lập trình hệ thống này giúp tạo ra các ứng dụng phân tán, có tính đồng thời cao và có khả năng mở rộng.

Erlang

ao chịu ảnh hưởng nặng nề từ Erlang Inspiration từ môi trường máy tính và ngôn ngữ lập trình của chúng. Erlang là một triển khai mô hình Actor cung cấp các quy trình cực kỳ nhẹ được bộ lập lịch xử lý trong thời gian chạy để sử dụng hiệu quả trong các hệ thống song song ồ ạt (máy và mạng có nhiều luồng vật lý).

Những khả năng này tạo ra một dạng lập trình "hướng quy trình" trong đó các nhà phát triển chia các tính toán của họ thành nhiều thành phần hợp tác và song song một cách tự nhiên để đạt được mục tiêu của họ. Mặc dù Erlang không quá nổi tiếng trong điện toán phổ thông nhưng nó được sử dụng rộng rãi trong nhiều môi trường đòi hỏi hiệu năng cao: tổng đài điện thoại, dịch vụ nhắn tin tức thời như WhatsApp, v.v.

ao Máy tính kế thừa trực tiếp cách tiếp cận theo định hướng quy trình của Erlang. Bằng chứng thực nghiệm của Erlang cho thấy rằng môi trường điện toán phân tán thực hiện tính toán phân tán bằng cách truyền thông điệp giữa các tiến trình mà không chia sẻ bộ nhớ có thể rất hiệu quả. ao áp dụng cách tiếp cận này cho các hợp đồng thông minh trong khi lần đầu tiên cung cấp một hình ảnh hệ thống duy nhất cho môi trường giống Erlang.

Nền tảng hợp đồng thông minh (như Ethereum)

Ethereum Fangfang là mạng điện toán phi tập trung nơi tất cả người dùng chia sẻ bộ nhớ và luồng thực thi. Ban đầu dựa trên ý tưởng bổ sung tính toán hoàn chỉnh Turing vào chuỗi khối, Ethereum đã phát triển thành một dự án xây dựng một “máy tính thế giới”.

Khi ra mắt, Ethereum lần đầu tiên đã thể hiện thành công sức mạnh của tính toán mã tùy ý không cần tin cậy - điều này mà không cần tạo ra một mạng blockchain độc lập như bên dưới. Mặc dù mạng đã thu hút được sự chú ý lớn của người dùng và nhà phát triển, nhưng thông lượng của mạng lõi vẫn không được cải thiện kể từ khi ra mắt vào năm 2015.

Thay vì cố gắng mở rộng mạng cơ bản vượt quá sức mạnh xử lý của một luồng nhỏ, hệ sinh thái Ethereum đã chuyển sang hình ảnh lộ trình "tập trung vào cuộn".

Phương pháp mở rộng này tập trung vào việc hỗ trợ các mạng "cuộn" bổ sung kế thừa một số thuộc tính của Ethereum, nhưng không phải tất cả. Tính đến thời điểm viết bài này, có 14 mạng tổng hợp trong hệ sinh thái Ethereum và các dự án đằng sau các chương trình này có tổng giá trị hơn 100 triệu USD.

Mỗi mục trong số 14 mục tổng hợp đại diện cho một phép tính đơn luồng khác (một "quy trình" trong thuật ngữ ao) có thể được thực hiện song song.

ao ngay từ đầu đã cam kết xây dựng một kiến ​​trúc tập trung ngay từ đầu vào việc thực thi song song thay vì bộ nhớ dùng chung, cung cấp một cách tiếp cận hoàn toàn mới cho bất kỳ số lượng bộ nhớ độc lập nào. kiến trúc trong khi vẫn giữ cho chương trình được phân quyền và không cần tin cậy.

Thị trường máy tính phi tập trung (ví dụ: Akash)

Trên thị trường truyền thống các nền tảng hợp đồng thông minh như Ethereum, kiến ​​trúc luồng chia sẻ giới hạn mỗi người dùng thực hiện các tác vụ tính toán nhỏ hơn. Hạn chế này hạn chế sự phức tạp và khả năng mở rộng của các hoạt động trên mạng. Mô hình tài nguyên dùng chung này vốn đã hạn chế khả năng mở rộng và hiệu quả của ứng dụng, ảnh hưởng đến tiềm năng của các hợp đồng thông minh có cường độ tính toán cao hơn.

Một số mạng được thiết kế để hỗ trợ tính toán quy mô lớn trong môi trường phi tập trung, chẳng hạn như Akash. Không giống như các nền tảng nhấn mạnh vào khả năng tính toán có thể kiểm chứng và tái tạo, Akash và các mạng tương tự cung cấp một thị trường phi tập trung cho các dịch vụ lưu trữ container.

Cách tiếp cận này cho phép thực thi các chương trình truyền thống, không xác định trên các máy vật lý có kiến ​​trúc x86. Tuy nhiên, cách tiếp cận này hy sinh khả năng tạo ra các dịch vụ không cần sự tin cậy, chẳng hạn như các dịch vụ được cung cấp bởi hợp đồng thông minh.

ao cho phép các nhà phát triển chọn máy ảo (VM) ưa thích của họ, với việc triển khai tham chiếu ban đầu tập trung vào việc sử dụng WebAssembly (WASM) để thực thi các quy trình. Bộ chứa WASM trong ao có thể quản lý bộ nhớ lên tới 4 GB và giới hạn này dự kiến ​​sẽ tăng lên khi áp dụng WASM64, giúp thực hiện tính toán trong thời gian dài.

Các công cụ biên dịch phong phú trong hệ sinh thái WASM hỗ trợ nhiều chương trình đa dạng. Ví dụ về việc sử dụng WASM gần đây bao gồm thực thi các mô hình biến đổi mô hình ngôn ngữ lớn (LLM) trong trình duyệt web, nhận dạng giọng nói và thậm chí cả phần mềm xử lý hình ảnh chuyên sâu về tính toán như Photoshop.

ao Ngoài sức mạnh tính toán đáng kể, nhờ cơ chế trạng thái ba chiều, nó thậm chí có thể duy trì các đặc tính của hợp đồng thông minh truyền thống. ao không đạt được sự đồng thuận về trạng thái tính toán mà tập trung vào việc đảm bảo rằng nhật ký tương tác được ghi vào Arweave và có sẵn liên tục.

Với việc thanh toán xác định cho các máy ảo và tính sẵn có của tất cả các thông báo quy trình trên Arweave, một "hình ba chiều" có thể được chiếu: trạng thái có thể chưa được đại diện bởi bất kỳ người tham gia nào hoặc thực sự tính toán nó, nhưng sau khi quá trình tính toán hoàn tất, chúng tôi có thể đảm bảo rằng kết quả đầu ra của nó sẽ luôn nhất quán.

Ngoài ra, hệ thống trạng thái ba chiều được kích hoạt bởi nhật ký tin nhắn trên Arweave cho phép quy trình ao phản hồi các tin nhắn ngầm dựa trên thời gian, tự đánh thức và thực thi hành động .

Kết hợp với cơ chế trạng thái ba chiều, ao cũng cung cấp một mạng phân tán gồm các Đơn vị Điện toán, cung cấp cho người dùng các câu lệnh chữ ký được mã hóa về kết quả tính toán. Các nút điện toán này cạnh tranh với nhau trên thị trường, giúp giảm chi phí cho người dùng trong việc giải quyết các trạng thái hình ba chiều.

Lưu trữ máy ảo ngang hàng (ví dụ: Urbit)

Urbit Nó là một hệ thống điện toán ngang hàng có một số điểm tương đồng với ao. Bằng cách tập trung vào việc phân phối và tính sẵn có của nhật ký tương tác, Urbit có thể cung cấp môi trường điện toán phân tán trong đó "máy chủ" có thể được di chuyển từ máy chủ vật lý này sang máy chủ vật lý khác.

Trong quá trình chuyển đổi từ máy chủ này sang máy chủ khác, nhật ký tương tác với các tính toán được quản lý có thể được thực hiện để tính toán lại trạng thái hiện tại. Các tiến trình Urbit cũng có thể gửi tin nhắn cho nhau để liên lạc.

Không giống như ao, Urbit không đạt được sự đồng thuận phi tập trung về nhật ký tương tác của nó. Trong thực tế, điều này có nghĩa là không có thỏa thuận có thẩm quyền nào về việc "tổng hợp" hoặc tính khả dụng được đảm bảo của nó - và do đó, không có đảm bảo nào về trạng thái của các quy trình của nó.

Trong trường hợp này, Urbit có thể được coi là tương tự như Akash và các thị trường điện toán phi tập trung khác, nhưng có thêm khả năng hoạt động trên một máy chủ sẵn sàng trong trường hợp của quá trình chuyển đổi, việc tính toán được chuyển từ máy chủ này sang máy chủ khác theo cách có thể kiểm chứng được.

ao mở rộng mô hình này bằng cách đảm bảo rằng thông điệp tường trình được gửi đến các quy trình luôn sẵn có thông qua các đơn vị lập lịch trình (SU) tải chúng lên Arweave. Bằng cách thực thi tính khả dụng của nhật ký này, các quy trình của người dùng được phân cấp—không còn tồn tại trên một nút điện toán cụ thể—cho phép trạng thái của chúng được giải quyết trong thời gian thực bởi mạng lưới Đơn vị Điện toán (CU) phân tán.

Sự khác biệt về kiến ​​trúc này đảm bảo rằng quy trình ao có các thuộc tính cần thiết để cho phép triển khai các hợp đồng thông minh không cần tin cậy (điện toán phi tập trung có thể xác minh), cũng như có thể lưu trữ bất kỳ số lượng quá trình. Khả năng sau này phát sinh do các quy trình vẫn có thể được biểu diễn bằng hình ảnh ba chiều (nhật ký thông báo của chúng có sẵn vĩnh viễn) mà không có bất kỳ đơn vị tính toán nào hiện được gắn vào để thực thi chúng.

Mô hình bảo mật và tin cậy linh hoạt

Như trong tài liệu này Như đã nêu, giao thức dữ liệu lõi ao cung cấp một khuôn khổ cho tính toán an toàn nhưng bản thân nó không cung cấp hoặc thực thi bất kỳ hình thức đảm bảo kinh tế nào. Thay vào đó, ao cung cấp một hệ thống linh hoạt gồm các yếu tố bảo mật mật mã cho phép thực hiện các cơ chế bảo mật tiết kiệm.

Để hoàn thành vai trò cung cấp bảo mật kinh tế cho người dùng, các hợp đồng đặt cược ao và mã thông báo đang được phát triển để có thể thực thi bảo mật kinh tế cho các đơn vị trong mạng. Hoạt động đúng.

Mặc dù thông số kỹ thuật chi tiết của cơ chế này nằm ngoài phạm vi định nghĩa giao thức dữ liệu này, nhưng chúng tôi sẽ cung cấp bản thiết kế chi tiết trong phần tiếp theo để minh họa cách xây dựng một hệ thống như vậy .

Trạng thái của quy trình chủ yếu được ẩn trong nhật ký tương tác được lưu trữ trên Arweave. Mặc dù trạng thái không được lưu trữ nhưng bất kỳ người tham gia nào cũng có thể tính toán nó một cách xác định. Cách tiếp cận này đảm bảo rằng trạng thái của một quy trình, dù không được giám sát trực tiếp, vẫn có thể được xác minh độc lập và nhất quán trên toàn mạng.

Thông số giao thức đầy đủ: 

https://permadao.com /permadao/ao-1353cc109d434941a6757560ef35dcc2