Nexus Founder Daniel: Xây dựng lại niềm tin cho kỷ nguyên AI thông qua tính toán có thể xác minh
Trong một cuộc phỏng vấn sâu gần đây, Daniel, người sáng lập Nexus, đã trình bày một tầm nhìn táo bạo về cách tính toán có thể xác minh—được hỗ trợ bởi máy ảo zero-knowledge (zkVM)—có thể trở thành nền tảng của niềm tin trong một kỷ nguyên ngày càng bị chi phối bởi các hệ thống AI không minh bạch. Cuộc trò chuyện đã làm sáng tỏ câu chuyện nguồn gốc của Nexus, lộ trình kỹ thuật và sự kết hợp chặt chẽ giữa zkVM, tính toán phân tán và thực thi AI đáng tin cậy.
Từ Ý tưởng đến Cơ sở hạ tầng
Daniel truy nguồn gốc sự khởi đầu của Nexus từ một quan sát đơn giản nhưng đáng lo ngại: khi các mô hình AI ngày càng mạnh mẽ, quá trình ra quyết định của chúng trở nên kém minh bạch hơn. Cho dù đó là phê duyệt khoản vay, chẩn đoán y tế hay thuật toán giao dịch tự động, người dùng được yêu cầu tin tưởng vào đầu ra mà không có bất kỳ bằng chứng xác minh nào về tính đúng đắn. Nexus được thành lập để lật ngược mô hình đó—làm cho chính phép tính có thể kiểm toán được. “Chúng tôi không chỉ muốn xác minh kết quả; chúng tôi muốn xác minh quá trình,” Daniel nhấn mạnh.
Cốt lõi của cách tiếp cận Nexus là zkVM, một máy ảo tạo ra các bằng chứng zero-knowledge cho các phép tính tùy ý. Không giống như các mạch chuyên dụng, zkVM cho phép các nhà phát triển viết các chương trình tiêu chuẩn có thể được chứng minh và xác minh mà không tiết lộ dữ liệu cơ bản. Tính tổng quát này rất quan trọng để áp dụng trong thực tế, vì nó hạ thấp rào cản tích hợp tính toán có thể xác minh vào các hệ thống hiện có.
Sự hội tụ của zkVM, Tính toán phân tán và AI
Daniel đặc biệt rõ ràng về sức mạnh tổng hợp giữa zkVM và mạng lưới tính toán phân tán. Bằng cách kết hợp các bằng chứng zk với cơ sở hạ tầng nút phân tán, Nexus có thể cung cấp một thị trường nơi các tác vụ tính toán—đặc biệt là suy luận AI—được thực thi bởi các bên thứ ba không đáng tin cậy, nhưng kết quả được đảm bảo bằng mật mã. Đây là một sự thay đổi cuộc chơi cho AI phi tập trung, nơi vấn đề ‘hộp đen’ đã là một rào cản lớn.
Đối với AI, ý nghĩa rất sâu sắc. Suy luận có thể xác minh có nghĩa là đầu ra của mô hình có thể được chứng minh là được tạo ra bởi một mô hình cụ thể với các tham số cụ thể, mà không tiết lộ trọng số mô hình hoặc dữ liệu đầu vào. Điều này cho phép một lớp dịch vụ AI không cần tin cậy mới: từ chấm điểm tín dụng có thể kiểm toán đến phân tích chuỗi cung ứng chống giả mạo. Daniel lưu ý: “Chúng ta đang tiến tới một thế giới nơi bạn có thể xác minh rằng AI đã thực hiện chính xác những gì nó được yêu cầu, không hơn không kém.”
Thách thức và Con đường phía trước
Mặc dù có hứa hẹn, Daniel thẳng thắn về những thách thức. Chi phí tính toán để tạo ra các bằng chứng zk vẫn không hề nhỏ, đặc biệt đối với các mô hình AI lớn. Tuy nhiên, ông chỉ ra những cải tiến nhanh chóng trong các hệ thống chứng minh và tăng tốc phần cứng, dự đoán rằng trong vài năm tới, chi phí này sẽ chấp nhận được cho hầu hết các trường hợp sử dụng. Ông cũng nhấn mạnh tầm quan trọng của cộng đồng và các tiêu chuẩn mở: “Khả năng xác minh chỉ có ý nghĩa nếu nó được tiếp cận rộng rãi.”
Trong tương lai, Nexus tập trung vào việc xây dựng một hệ sinh thái thân thiện với nhà phát triển và hình thành quan hệ đối tác với các dự án AI và blockchain. Daniel hình dung một tương lai nơi tính toán có thể xác minh phổ biến như HTTPS ngày nay—một lớp tin cậy thầm lặng làm nền tảng cho các tương tác kỹ thuật số. “Niềm tin không phải là cảm giác; đó là một thuộc tính bạn có thể chứng minh,” ông kết luận.
