Vượt Qua Sự Hào Nhoáng: Cách Cách Cách Cách Lagrange Cách Cách ZK Cho AI Có Thể Xác Minh và Dữ Liệu Chéo Chuỗi

Tôi đã tìm hiểu về dự án Lagrange này, và thật sự, tôi vừa thấy thú vị vừa hoài nghi. Họ đang xây dựng cái mà họ gọi là "tầng chứng minh vô hạn" cho Web3 - về cơ bản là hạ tầng zero-knowledge phi tập trung cho các chứng minh có thể xác minh qua các chuỗi, DeFi, và AI. Nghe có vẻ hoành tráng, nhưng họ có thể thực hiện được không?

Token LA của họ vừa ra mắt sau khi huy động được 17,2 triệu đô la và được niêm yết trên các sàn giao dịch lớn. Họ đang định vị mình là nền tảng cho AI có thể xác minh thông qua Mạng ZK Prover, ZK Coprocessor và hệ thống DeepProve zkML. Những lời hứa lớn, như thường lệ trong crypto.

Điều thu hút sự chú ý của tôi là cách họ tuyên bố hệ thống của họ có thể xác minh không chỉ cái gì đã xảy ra ( như các oracle truyền thống ) mà còn tại sao và như thế nào - những điểm khác biệt quan trọng cho việc xác minh AI. Kiến trúc của họ được cho là cho phép xác minh các suy diễn AI, truy vấn SQL, và dữ liệu liên chuỗi mà không tiết lộ thông tin nhạy cảm.

Công nghệ nghe có vẻ hứa hẹn - một mạng lưới phân phối toàn cầu các người chứng tạo ra và xác thực các chứng cứ ZK. Người nắm giữ token LA có thể ủy quyền cho các nút, tạo ra vòng khuyến khích tiền điện tử quen thuộc: nhu cầu cao hơn cho AI có thể xác minh → nhiều chứng cứ hơn → nhiều phần thưởng hơn cho các nhà điều hành.

Các ví dụ thực tiễn của họ rất thú vị. Hãy tưởng tượng một DAO cần xác minh dữ liệu quản trị từ một chuỗi khác. Hệ thống của họ lấy trạng thái, thực hiện các phép toán ngoài chuỗi, tạo ra một bằng chứng ZK được xác thực trên chuỗi, và voilà - xác minh không cần tin cậy. Đối với AI, hệ thống DeepProve của họ tạo ra các bằng chứng không kiến thức về suy luận ML trong khi bảo vệ quyền riêng tư.

Kinh tế token là có thể dự đoán - phí cho các chứng minh được thanh toán bằng LA hoặc các token khác ( chuyển đổi sang LA ), được phân phối cho các nhà vận hành và người ủy thác. Họ đã tạo ra một cơ chế đấu giá gọi là DARA để khớp các yêu cầu chứng minh với các nhà vận hành.

Tôi hoài nghi nhất về thời gian biểu của họ. Họ tuyên bố DeepProve sẽ sớm hỗ trợ các mô hình LLM lớn và đang hứa hẹn các chứng minh về đào tạo, tinh chỉnh, công bằng và lý luận. Đó là một nhiệm vụ kỹ thuật lớn.

Đến năm 2030, họ tưởng tượng bất kỳ hệ thống AI nào cũng sẽ tạo ra biên nhận mã hóa - các bằng chứng ZK về hoạt động của chúng. Mục tiêu cao cả, nhưng chúng ta đã nghe những lời hứa tương tự từ vô số dự án crypto đã biến mất vào hư không.

Các mối quan hệ đối tác với 0G Labs, Matter Labs, NVIDIA và Intel tạo ra một số độ tin cậy. Nhưng bài kiểm tra thực sự sẽ là cung cấp cơ sở hạ tầng quy mô, chất lượng sản xuất thực sự hoạt động cho các ứng dụng thực tế, chứ không chỉ là đầu cơ tiền điện tử.

Tầm nhìn của họ rất hấp dẫn - nhưng họ có thể biến ZK từ sự tò mò trong crypto thành một nhu cầu chính thống không? Tôi sẽ tin khi tôi thấy các bằng chứng thực sự, chứ không chỉ là những lời hứa.