Không thiếu những câu chuyện mới trong thế giới tiền điện tử, nhưng chỉ có một số ít trong số đó có thể được gọi là gợi cảm và thực dụng.

Ví dụ, kể từ khi vòng siêu tường thuật AI hiện nay bắt đầu, mặc dù điện toán đám mây đã trở thành năng suất cốt lõi của kỷ nguyên kinh tế kỹ thuật số trong tương lai, nhưng những gã khổng lồ Web2 truyền thống đã độc quyền tài nguyên máy tính và GPU chất lượng cao, hiệu suất cao, trong khi ở giữa và các dự án đuôi không có quyền thương lượng, và một loạt các kịch bản ứng dụng điện toán có thể kiểm chứng được cũng đang phải đối mặt với tình thế tiến thoái lưỡng nan khi bỏ nồi mà không có gạo.

Do đó, theo xu hướng AI+Crypto, các khái niệm như mã hóa đồng hình hoàn toàn (FHE) đã dần dần được đưa vào thị trường gần đây và được nhiều người coi là một trong những giải pháp tốt nhất cho tính toán có thể kiểm chứng và xử lý dữ liệu bí mật của AI.

Bài viết này sẽ tập trung vào Marlin, một chuyên gia mã hóa kỳ cựu, người được định vị là "cơ sở hạ tầng điện toán đám mây có thể kiểm chứng" và tìm hiểu cách dự án DeAI, xuyên suốt các câu chuyện nhiều dòng như AI, MEV, Oracle, ZK, TEE, v.v. ., phù hợp với cơn sốt AI hiện tại và liệu nó có thể mang lại những biến số mới cho xu hướng "AI+Crypto" hay không.

Nửa sau của AI không thể tách rời khỏi “điện toán đám mây có thể kiểm chứng”?

Như chúng ta đã biết, bên cạnh sự mở rộng nhanh chóng của các mô hình lớn AIGC, vô số kịch bản AI trong giai đoạn đầu của đợt bùng phát như chăm sóc y tế, giáo dục và lái xe thông minh đang lan rộng nhanh chóng, tất cả đều đòi hỏi những tính toán khổng lồ.

Nhưng đối với các kịch bản được phân đoạn này, thông tin y tế, giáo dục và lái xe thông minh của người dùng đều là dữ liệu quan trọng liên quan đến nền kinh tế và thậm chí cả an toàn tính mạng: dữ liệu thông tin ở các khía cạnh như chăm sóc y tế, hệ thống năng lượng, mạng băng thông và phương tiện được kết nối không chỉ Liên quan trực tiếp đến việc bảo mật dữ liệu bí mật cá nhân, việc chia sẻ và hợp tác dữ liệu rộng rãi hơn cũng cần thiết để thúc đẩy sự phát triển của đường đua.

Nhưng đồng thời, thị trường dịch vụ đám mây truyền thống bị thống trị bởi những gã khổng lồ Internet như Amazon Cloud Technology (AWS), Microsoft Azure và Google Cloud Platform (GCP). Ba công ty này cùng nhau chiếm hơn 60% thị phần điện toán đám mây. chia sẻ và ở vị trí rõ ràng trong thị trường của Người bán.

Một trong những vấn đề rõ ràng nhất với cấu trúc thị trường này là sự phụ thuộc rộng rãi vào các máy chủ đám mây tập trung, điều đó có nghĩa là sự tin tưởng của các nhà phát triển/bên dự án đối với các dịch vụ đám mây mà họ sử dụng về cơ bản gắn chặt với danh tiếng của một hoặc nhiều gã khổng lồ. tương đương với việc chuyển quyền tự chủ và bảo mật dữ liệu cho các công ty khổng lồ Web2.

Vì điều này, các nhà cung cấp dịch vụ đám mây thường xuyên gặp phải tình trạng rò rỉ dữ liệu trong những năm gần đây, gây thiệt hại nghiêm trọng cho các cá nhân và tổ chức. Do đó, bất kể các nhà phát triển/các bên dự án nhìn nhận “sự phân cấp” như thế nào, vấn đề cốt lõi của thế giới Crypto, thay vì tin vào điều đó. những người khổng lồ sẽ ""Don't Be Evil" (Don't Be Evil) kém xa so với việc tạo ra "Can't Be Evil" (Can't Be Evil) thông qua thiết kế cơ khí.

Trong bối cảnh này, nếu bạn phân tích kỹ hướng đi của điện toán đám mây AI, vẫn còn tồn tại khoảng cách sinh thái giữa lớp cơ bản và giải pháp dịch vụ điện toán đám mây trưởng thành của Web2. Do đó, việc chuyển đổi công nghệ điện toán bí mật sẽ phải đối mặt với chi phí cao hơn. làm thế nào để chương trình được nhanh chóng? Không có giải pháp đặc biệt tốt để triển khai an toàn trong ngành, dẫn đến không thể đáp ứng hàng loạt chức năng ứng dụng mà AI+Web3 yêu cầu, điều này cũng hạn chế đà phát triển của nó.

Do đó, nói một cách thẳng thắn, nửa sau của quá trình phát triển thị trường điện toán đám mây AI đòi hỏi phải có một bộ công cụ phát triển blockchain hoàn chỉnh cho Web3 để cung cấp các giải pháp toàn diện đáp ứng tính phân cấp, khả năng xác minh, độ trễ thấp và chi phí thấp. Theo quan điểm này, sự cần thiết của các dịch vụ điện toán đám mây có thể kiểm chứng phi tập trung đã dần xuất hiện, điều này chỉ thu hẹp khoảng cách theo hướng phân khu này:

Trong bối cảnh này, sự cần thiết của các dịch vụ điện toán đám mây có thể kiểm chứng phi tập trung đã dần nổi lên như một giải pháp sử dụng công nghệ mã hóa để thực hiện các phép tính, cho phép xác minh tính chính xác của kết quả tính toán mà không làm lộ dữ liệu cơ bản. dữ liệu không bị rò rỉ.

Tất cả những điều này đều rất phù hợp với các kịch bản ứng dụng của Web3, điều này đã làm nảy sinh nhiều trí tưởng tượng của người dùng trong ngành về điện toán đám mây bí mật, chẳng hạn như bằng chứng không có kiến thức (ZKP), tính toán đa bên (MPC) và tính toán đầy đủ phổ biến gần đây. Mã hóa đồng hình. Đường đua (FHE) đã nhận được sự quan tâm đặc biệt từ thị trường.

Và đây là những gì Marlin phải làm - bất kỳ ứng dụng DePIN/Web2.5/AI nào, miễn là có nhu cầu về các dịch vụ điện toán có độ trễ thấp và sức mạnh tính toán cao, thực sự có thể chọn triển khai nó trên WeTEE và nhận được điều tương tự lợi ích như các dịch vụ đám mây truyền thống. Một giải pháp điện toán đám mây phổ quát.

Tìm hiểu Marlin: Trở thành L0 có thể kiểm chứng được trong thế giới AI

Nếu bạn có thể tóm tắt tầm nhìn của Marlin trong lĩnh vực điện toán có thể kiểm chứng AI trong một câu, thì đó thực sự là vào thời điểm mà việc đào tạo mô hình AI quy mô lớn ngày càng trở nên quan trọng, Marlin cam kết trực tiếp giúp đỡ những người có nhu cầu về điện toán AI có nhu cầu trong dạng plug-in ở lớp cơ sở hạ tầng vào bất kỳ lúc nào:

Đây thực chất là một L0 phổ quát có thể kiểm chứng được trong thế giới AI, vì vậy nó gói gọn các chức năng cốt lõi và cung cấp cho các dự án các dịch vụ chỉ bằng một cú nhấp chuột dựa trên mạng nâng cao nút hiệu suất cao TEE và mạng truyền thông có thể xác minh ZK:

Marlin sử dụng bộ đồng xử lý dựa trên Môi trường thực thi tin cậy (TEE) và Bằng chứng không kiến thức (ZKP) để tách biệt dữ liệu và mã khỏi các quy trình khác ở cấp độ phần cứng, đảm bảo tính bảo mật của dữ liệu và tính toàn vẹn của các phép tính chạy trong đó. đồng thời, có thể đạt được độ chính xác và khả năng kiểm chứng của kết quả tính toán và không thể giả mạo chúng.

Đồng thời, không giống như hầu hết các bộ đồng xử lý ZK được thiết kế cho một số môi trường nhất định (RISC-V, WASM hoặc MIPS) và chỉ có thể xử lý các chương trình được viết bằng ngôn ngữ tương thích, ZK của Marlin chứng minh rằng thị trường dựa trên mạch và do đó không phụ thuộc vào ngôn ngữ, cho phép các nút chọn mạch mà chúng muốn hỗ trợ - chuyển trực tiếp các ứng dụng Python, C++ hoặc Go hiện có hoặc sử dụng zkVM.

Đồng thời, kiến trúc mạng Marlin nói chung có thể được chia thành "troika" Oyster, Kalypso và mạng chuyển tiếp (Marlin Relay).

Oyster và Kalypso lần lượt sử dụng Môi trường thực thi đáng tin cậy (TEE) và Bằng chứng không kiến thức (ZKP) để đảm bảo tính chính xác và bảo mật của các phép tính, trong khi mạng chuyển tiếp chịu trách nhiệm đảm bảo rằng các nút không có độ tin cậy có thể đóng góp cho mạng thông qua khuyến khích tích hợp Đóng góp các nguồn lực mà không ảnh hưởng xấu đến sự an toàn và an ninh của chúng:

• Là một dịch vụ ngoài chuỗi do TEE cung cấp, tầm nhìn cốt lõi của Oyster là cho phép người dùng triển khai phần phụ trợ của riêng họ hoặc triển khai các tiện ích mở rộng hợp đồng thông minh trên mạng điện toán đám mây Marlin với những thay đổi tối thiểu. Do đó, một trong những lợi thế lớn nhất của nó là tính năng không có máy chủ. Người dùng không cần thiết lập các nút và chọn các nút cụ thể để sử dụng, kết quả có thể dễ dàng trả về cho người dùng;

• Kalypso đại diện cho sự tích hợp linh hoạt của các bằng chứng không có kiến thức (ZKP) của Marlin. Điều quan trọng cần biết là việc sử dụng FPGA, GPU và ASIC để tối ưu hóa phần cứng có thể tăng tốc đáng kể việc tạo ra các bằng chứng ZK, từ đó giảm thời gian và chi phí. Mạng Marlin dựa vào các nút có GPU và FPGA để thuê ngoài tạo bằng chứng ZK, để mạng có thể xử lý các yêu cầu từ khách hàng một cách hiệu quả và trả về bằng chứng đã tạo;

• Marlin Relay là mạng chuyển tiếp không được phép, không phân biệt blockchain với các ưu đãi tích hợp và có thể được tích hợp với nhiều blockchain cùng một lúc. Cấu trúc khuyến khích này đảm bảo rằng các nút không tin cậy có thể đóng góp tài nguyên cho mạng mà không ảnh hưởng xấu đến tính bảo mật của mạng;

Điều đáng chú ý là mỗi nút trong mạng nút của Marlin đều được trang bị TEE để vận hành và bảo trì, đồng thời có thể xây dựng môi trường Enclave an toàn và tách biệt trong hệ thống lưu trữ để đảm bảo thông tin không bị rình mò và rò rỉ khi tính toán. và lưu trữ dữ liệu.

Và thông qua giao thức ZK, mỗi nút có thể cho phép một bên chứng minh cho bên kia rằng một tuyên bố nào đó là đúng mà không tiết lộ bất kỳ dữ liệu cụ thể nào về tuyên bố đó. Điều này bảo vệ tính bảo mật thông tin của chủ thể dữ liệu và cũng đảm bảo tính xác thực của sự thật. . Sự đúng đắn.

Nhìn chung, Marlin, với tư cách là điện toán đám mây L0 có thể kiểm chứng theo định hướng AI, phục vụ nhiều tình huống khác nhau. Nó có thể cung cấp các nút cho các oracle của Oracle, hệ thống ZK Prover, trí tuệ nhân tạo AI và các tình huống ứng dụng khác dựa trên hệ thống mạng nút phân tán. Các dịch vụ tài nguyên mạng như sức mạnh tính toán và lưu trữ đã trở thành nền tảng bảo vệ dữ liệu cho nhiều ứng dụng mã hóa + AI.

Marlin và không gian tưởng tượng của “AI World L0”

Từ góc độ này, Marlin thực sự đang đóng một vai trò cơ sở hạ tầng quan trọng trong nửa sau của AI+Web3 - bản chất cốt lõi là thực sự mang điện toán có thể kiểm chứng được đến thế giới AI và Web3.

Ví dụ: với sự trợ giúp của dịch vụ thành phần điện toán đám mây có thể xác minh thuộc tính "L0" của riêng mình, Marlin có thể tiến thêm một bước nữa và biến mình thành "cục gạch Lego", trở thành thành phần cơ sở hạ tầng quan trọng của AI "điện toán có thể xác minh +" dịch vụ, trao quyền cho các sản phẩm DApp theo dõi khác nhau triển khai các thuộc tính điện toán có thể kiểm chứng đầy đủ.

Kịch bản ứng dụng trực tiếp nhất là Marlin có thể cung cấp môi trường điện toán và đào tạo mô hình an toàn cho việc đào tạo mô hình AI. Vào thời điểm việc đào tạo mô hình AI quy mô lớn ngày càng trở nên quan trọng, bộ đồng xử lý môi trường thực thi đáng tin cậy dựa trên TEE có thể cung cấp đào tạo và mô hình an toàn. môi trường điện toán để đào tạo mô hình AI. Điều này có nghĩa là ngoài ChatGPT, các dự án Mô hình quy mô lớn khác nhau có thể tích hợp Marlin hoặc được xây dựng dựa trên Marlin để tạo thành một phần mềm trung gian điện toán có thể kiểm chứng được, có thể được cắm và sử dụng dễ dàng, từ đó cho phép trao quyền trong dạng "tính toán có thể kiểm chứng+".

Đồng thời, quan trọng hơn, nó cũng có thể xây dựng một môi trường khuyến khích phi tập trung, minh bạch và có thể kiểm chứng, biến mạng nút phân tán thành mạng dịch vụ "cho thuê" sức mạnh điện toán đám mây phi tập trung, nghĩa là hiện thực hóa nhiều dịch vụ DePIN Logic hơn, giảm chi phí dịch vụ điện toán đám mây thông qua ưu đãi mã thông báo:

Thu thập sức mạnh tính toán nhàn rỗi, sử dụng cấu hình và triển khai linh hoạt hơn với chi phí thấp để giúp các doanh nhân đào tạo các mô hình AI vừa và nhỏ được cá nhân hóa hơn, cải thiện đáng kể việc sử dụng tài nguyên.

Đây chỉ là phần nổi của tảng băng chìm trong các kịch bản ứng dụng AI mà Marlin có thể hỗ trợ như một phần mềm trung gian điện toán có thể kiểm chứng được.

bản tóm tắt

Nói tóm lại, ý tưởng chính mà Marlin có thể mang đến cho AI+Web3 là với tư cách là cơ sở hạ tầng lớp L0, nó trao quyền cho các dự án AI phát triển các sản phẩm và dịch vụ điện toán gốc có thể xác minh được (nghĩa là nó được coi là nền tảng trung gian cho điện toán có thể xác minh được). miếng).

Trên thực tế, với tư cách là thành phần cốt lõi không thể thiếu trong kỷ nguyên AI+Web3, ở một mức độ nhất định, điều này tương đương với “cơ sở hạ tầng” then chốt của ngành:

Từ sự kết hợp cơ bản giữa cung và cầu năng lượng điện toán, đến việc cung cấp dữ liệu oracle, đến các dịch vụ giao diện người dùng phi tập trung dựa trên bộ lưu trữ phân tán, v.v., về cơ bản, một vòng khép kín có thể được hình thành một cách hợp lý, cho phép người dùng và ứng dụng có được dữ liệu có thể xác minh được tại chi phí thấp và linh hoạt Các dịch vụ plug-in điện toán sử dụng hiệu quả và tối đa hóa giá trị của dữ liệu, từ đó đặt nền tảng cho các kịch bản ứng dụng đa dạng.

Điều rõ ràng là trong nửa sau của AI, lộ trình điện toán có thể kiểm chứng vẫn còn tiềm năng giá trị to lớn đang chờ chúng ta khám phá, đặc biệt là khái niệm "điện toán có thể kiểm chứng +" dựa trên chuỗi dựa trên Web3 có thể còn tham vọng hơn nữa.

Không giới hạn ở AI, hầu hết tất cả các ứng dụng mà chúng ta có thể nghĩ đến như giải trí trực tuyến, mạng xã hội và trò chơi đều có thể mở rộng hơn nữa trí tưởng tượng về các dịch vụ dữ liệu bí mật/điện toán có thể kiểm chứng.

Trong quá trình xây dựng nhanh chóng này, Marlin có thể sẽ trở thành cơ sở hạ tầng cơ bản quan trọng cho các ứng dụng AI+Web3 trọn gói trong tương lai. Đây cũng có thể là không gian tưởng tượng lớn nhất dành cho điện toán có thể kiểm chứng trong kỷ nguyên AI+Web3.