Học máy không có kiến thức (ZKML) và thế giới tự trị

来源:MetaCat

Lý thuyết thế giới tự trị

Thế giới tự trị (aw.network) là một hệ sinh thái kỹ thuật số được điều chỉnh bởi bộ quy tắc và thực thể riêng. Những thế giới này giống như thế giới vật chất hoặc không gian khái niệm mà chúng ta đang sống, hoạt động theo một tập hợp các điều kiện / quy luật tồn tại trong một “câu chuyện” duy nhất hoặc trong ranh giới xác định của nó. Ví dụ bao gồm các vũ trụ hư cấu phức tạp như Chúa tể của những chiếc nhẫn, đến các hệ thống kinh tế trong thế giới thực như đồng đô la Mỹ. Ba khái niệm cốt lõi cần thiết cho một thế giới tự trị là:

Gốc trạng thái Blockchain. Định nghĩa và nén tất cả các thực thể tường thuật tạo nên trạng thái của thế giới. Chức năng chuyển đổi trạng thái Blockchain. Định nghĩa và thực thi các quy tắc chi phối cách chúng tôi giới thiệu và thay đổi các thực thể tường thuật. Cơ chế đồng thuận Blockchain. Một thỏa thuận giữa các bên liên quan trên thế giới về hiệu quả của quá trình chuyển đổi nhà nước. Điều này làm cho mọi người trở thành người tham gia và ra quyết định.

Với các cơ chế này, có thể xây dựng một thế giới được chi phối bởi các ranh giới tường thuật rõ ràng, được thực thi thông qua các quốc gia và sự đồng thuận, và được thiết kế để hoạt động tự chủ. Thực thi các quy tắc mà không ăn thịt khách quan, “không ai có thể rút phích cắm sức mạnh của thế giới tự trị”.

** Cơ sở hạ tầng có thể được sử dụng bởi ZK **

Chi phí phát sinh bởi blockchain phần lớn là do hiệu suất và chi phí. Trong môi trường full-stack, người dùng và nhà phát triển đều phải đối mặt với chi phí gas cao và phức tạp cũng như độ trễ dựa trên sự đồng thuận. Mô hình hiện tại thường là mối quan hệ nhị phân giữa các trò chơi trên chuỗi và ngoài chuỗi.

** Chúng tôi tin rằng sự thỏa hiệp giữa các mô hình này là tính toán ngoài chuỗi có thể kiểm chứng được và quản lý trạng thái trên chuỗi **. Trong thực tế, điều này đạt được thông qua các giải pháp blockchain chuyên dụng như ZK, và cụ thể hơn là ZKML (Zero-Knowledge Machine Learning): cơ sở hạ tầng được tối ưu hóa cho các hoạt động phức tạp cần thiết cho trải nghiệm chơi game chất lượng cao.

ZK tận dụng một tính năng gọn gàng của nhiều triển khai blockchain, đặc biệt là EVM: biên dịch trước. Precompilation là một chức năng tiết kiệm khí được mã hóa vào máy ảo cơ bản để hỗ trợ các hoạt động phổ biến, nhưng rất phức tạp và tốn kém. Bao gồm băm KECCAK256, xác thực ECDSA hoặc biên dịch trước ghép nối BN128.

Luồng ứng dụng ZK điển hình. Đây là một ví dụ dễ hiểu cho một máy quay hình dạng. Người dùng tính toán bằng chứng ZK, chứng minh rằng họ đã tính toán vòng quay hiệu quả của thế giới. Họ gửi bằng chứng này đến hợp đồng xác thực chi phối thế giới trên chuỗi, cùng với một bộ tọa độ mới và cập nhật xoay vòng thế giới. Nó sẽ được quan sát thấy rằng một người chơi có tiềm năng để bắt đầu một sự thay đổi toàn cầu.

Có nhiều ví dụ khác nhau về ZK tổng quát đang được áp dụng cho các trò chơi. Dark Forest và ZK Hunt là những người tiên phong trong việc sử dụng khả năng chi trả quyền riêng tư của các bằng chứng không có kiến thức để tạo ra các trò chơi với sương mù chiến tranh hoặc cơ chế thông tin ẩn. Khả năng xác minh của tính toán là một bộ công cụ chưa được khám phá cho các nhà phát triển trò chơi trên chuỗi và chúng tôi đã thấy ngày càng nhiều nhà phát triển và người chơi đặt năng lượng của họ vào tầm nhìn này. Ngoài các ứng dụng chơi game ZK nói chung, chúng tôi tin tưởng vào tiềm năng cho các thiết kế mới nổi xung quanh các chiến lược và đại lý được tối ưu hóa ML. Chúng tôi khám phá ba cách tiếp cận chính để thiết kế trò chơi ZKML đang có dấu hiệu phổ biến giữa các nhà thiết kế trò chơi và người chơi:

1. Mô hình ZKML là trò chơi,
2. ZKML là Vật lý kỹ thuật số,
3. ZKML được sử dụng cho tường thuật và truyền thuyết.

** Mô hình ZKML như trò chơi **

Khám phá sớm nhất về sự hội tụ của các trò chơi trên chuỗi và ZKML mà chúng ta thấy là mô hình ZKML như một trò chơi. Trong kịch bản này, người chơi tương tác trực tiếp với mô hình ZKML và tương tác này tạo thành phần lớn trò chơi. Một ví dụ điển hình là trò chơi Cryptoidol được phát triển nội bộ của chúng tôi (cryptoidol.tech). Trong trò chơi này, các thí sinh cạnh tranh cho danh hiệu ca sĩ xuất sắc nhất trong một cuộc thi hát không bao giờ kết thúc. Họ hát trong trình duyệt và tạo ra một bằng chứng rằng họ đã được chấm điểm chính xác bởi mô hình đánh giá công khai. Sau đó, họ có thể gửi điểm số và bằng chứng liên quan trên chuỗi để vào bảng xếp hạng cập nhật theo thời gian thực.

Mô hình học máy ở đây là chính trò chơi và tất cả các tương tác của người chơi đều trực tiếp với mô hình ZKML. Hầu hết các tương tác là chơi đơn.

Hát. Chấp nhận điểm số. Đạt được thứ hạng vĩnh viễn trên chuỗi.

**ZKML là Vật lý kỹ thuật số

Chúng tôi cũng đã thiết kế một tic-tac-toe trên chuỗi đơn giản, trong đó mô hình học máy được đào tạo trước về dữ liệu trò chơi tic-tac-toe để xác định các mẫu trò chơi hợp lệ hoặc không hợp lệ để trò chơi có thể chạy ngoài chuỗi và sau đó gửi và giải quyết trạng thái cuối cùng trên chuỗi. Chúng tôi có hai hướng dẫn chỉ ra cách thực hiện việc này. Mô hình mạng thần kinh này mã hóa các “quy tắc” của trò chơi kết nối với mô hình thiết kế tiếp theo: ZKML giúp tạo ra “vật lý trên chuỗi” cho thế giới. Mặc dù mô hình tic-tac-toe sử dụng các mạng thần kinh, mẫu thiết kế này đòi hỏi một sự thay đổi nhỏ trong chức năng của ZKML. Theo một nghĩa nào đó, khi ZKML tập trung vào “suy luận” mạng nơ-ron (tức là dự đoán sau khi đào tạo), không có gì hạn chế tính toán ZK đối với tính toán duy nhất cho ML.

Nhân ma trận có thể được sử dụng để mô hình hóa chuyển đổi trạng thái cho các trạng thái AW, chẳng hạn như thời tiết thế giới. BabyGaya (đáng buồn là không còn trực tuyến nữa) là một trò chơi thể hiện ý tưởng này, trong đó toàn bộ trạng thái thế giới của mỗi khối được thay đổi bằng cách sử dụng phép nhân ma trận ZK mà bất kỳ ai cũng có thể chạy.

Tại đây, người chơi tương tác với thế giới được tạo ra bởi mô hình ZKML. Nhiều người chơi có thể tương tác với thế giới của trạng thái chia sẻ này.

**ZKML cho tường thuật và truyền thuyết **

Thứ ba, và có lẽ là tham vọng nhất, là một trong đó sử dụng ZKML để xây dựng truyền thuyết và câu chuyện của thế giới. Các mô hình học máy có thể được sử dụng để tạo ra các tác nhân / NPC phức tạp và cốt truyện đồng thời, là các yếu tố vi mô của một tổng thể lớn hơn.

Ví dụ, đây có thể là một mô hình ngôn ngữ viết một câu chuyện thế giới khi trò chơi tiến triển hoặc một mô hình ngôn ngữ viết cốt truyện cho các NPC riêng lẻ. Như một khám phá đầu tiên về điều này, chúng tôi đã tạo ra các NPC trên chuỗi của riêng mình, mà chúng tôi gọi là “sâu”. Chúng tôi đã thực hiện một mô hình phát sinh, được mô tả dưới đây, mô hình kích hoạt điện áp của hệ thống thần kinh tuyến trùng (cho đầu vào cảm giác). Chúng ta có thể sử dụng một công cụ trò chơi chuỗi đầy đủ như MUD để tạo đầu vào cảm giác cho sâu và sau đó tạo ra bằng chứng cập nhật hoạt động não của sâu trong một môi trường cảm giác trên chuỗi nhất định. Bất cứ ai cũng có thể chạy các bằng chứng này và làm cho sâu “sống” trên chuỗi, tạo ra một proxy tự trị mà các trò chơi và giao diện khác có thể sử dụng trong các trò chơi của riêng họ. Có thể sử dụng lại các NPC không cần cấp phép được chia sẻ trên các trò chơi và thế giới.

Ở đây, những truyền thuyết của thế giới, chẳng hạn như câu chuyện và các nhân vật mà người chơi gặp phải, được tạo ra bởi mô hình ZKML. Như trước đây, nhiều người chơi có thể tham gia vào truyền thuyết này và trải nghiệm câu chuyện này.

** Ngăn xếp trò chơi**

Mặc dù sự phát triển của các trò chơi chuỗi đầy đủ vẫn còn trong giai đoạn trứng nước, nhưng nó cung cấp các tính năng mới chưa từng thấy trước đây cho người dùng và nhà thiết kế trò chơi. Chúng tôi tin rằng các khung phát triển trò chơi toàn chuỗi khác nhau, đặc biệt là các khung được phát triển bởi những người bạn của chúng tôi tại Lattice và 0xPARC, sẽ hạ thấp rào cản gia nhập để tạo ra thế giới tự trị. Nhận thức được những thách thức của phát triển hợp đồng thông minh truyền thống (ví dụ: trạng thái và logic khớp nối và các vấn đề đồng bộ hóa dữ liệu giữa chuỗi và máy khách), các khung như MUD đơn giản hóa quá trình phát triển trò chơi. Với những hạn chế của blockchain cơ bản, đặc biệt là về phí dữ liệu L1 và tính khả dụng của dữ liệu, một bản tổng hợp như Redstone (Lớp 2 được xây dựng trên OP Stack) có thể đóng vai trò là cơ sở hạ tầng được tối ưu hóa cho trò chơi.

Theo chúng tôi, mảnh ghép còn thiếu là công cụ tính toán đa năng. Như chúng ta đã thảo luận trước đó, ngăn xếp ZKML kế thừa các hạn chế về bảo mật và tính toán của blockchain cơ bản, cho dù đó là EVM hay hệ thống blockchain khác. Đó là lý do tại sao điều quan trọng là phải xử lý trước các tính năng tính toán nặng — bất cứ thứ gì từ tác nhân ML đến mô hình chính sách đến đồ thị nhúng — theo cách có thể kiểm chứng được. Điều này cho phép tính toán hàng loạt được thực hiện ngắn gọn hơn thông qua các công cụ trò chơi và các lớp blockchain.

Phần cứng cơ bản đằng sau công cụ tính toán đa năng là tùy thuộc vào người dùng. Với phụ trợ EZKL, có thể sử dụng các cụm riêng của chúng tôi (tính kinh tế theo quy mô với các công việc được bao gồm) hoặc phần cứng được ZK tăng tốc. Có nhiều hơn nữa về mặt tích hợp phần cứng. Tính linh hoạt này có nghĩa là công cụ bằng chứng có thể chạy trên cả máy khách (ví dụ: WASM) và máy chủ và cả hai hệ thống đều có khả năng triển khai trình xác thực cho blockchain.

Ngăn xếp trò chơi. Tính năng màu xanh được cung cấp bởi động cơ EZKL. Chúng tôi đã đơn giản hóa việc đề cập đến một số công cụ / khung công tác bổ sung để đơn giản, nhưng cấu trúc vẫn còn phổ biến.

Chúng tôi đã thiết kế EZKL với tầm nhìn này và tin rằng các thư viện ZKML đơn giản này có thể bổ sung gọn gàng cho MUD, Redstone và hơn thế nữa, một ngăn xếp trò chơi cho phép năng động đổi mới thông qua cơ sở hạ tầng hiệu suất cao và hỗ trợ thế giới tự trị rực rỡ.