Học cùng Nexus (NEX): Xây dựng một siêu máy tính có thể xác minh cho Internet

Đã phát hành vào: 2026/05/26 08:26

Giới thiệu: Nexus đang xây dựng hạ tầng cho tính toán có thể xác minh ở quy mô Internet. Tầm nhìn cốt lõi của nó là cho phép các máy tính trên toàn thế giới cùng hoạt động như một mạng lưới chứng minh phân tán duy nhất, tạo ra các bằng chứng xác minh rằng các phép tính đã được thực hiện chính xác. Trung tâm của tầm nhìn này là Nexus zkVM, một máy ảo zero-knowledge được thiết kế để chứng minh hiệu quả các phép tính quy mô lớn và làm cho tính toán có thể xác minh trở nên thực tế đối với các nhà phát triển và ứng dụng.

Tại sao Tính toán Có Thể Xác Minh Lại Quan Trọng

Các hệ thống kỹ thuật số hiện đại phụ thuộc vào tính toán. Từ blockchain và các ứng dụng tài chính đến các hệ thống AI, dịch vụ đám mây và nền tảng dữ liệu, người dùng ngày càng dựa vào máy móc để xử lý thông tin và đưa ra quyết định. Tuy nhiên, trong nhiều trường hợp, người dùng phải tin rằng phép tính đã được thực hiện chính xác.

Điều này tạo ra một thách thức lớn: làm thế nào để một người xác minh kết quả của một phép tính mà không cần tự mình chạy lại toàn bộ quy trình?

Tính toán có thể xác minh cung cấp một giải pháp. Thay vì chỉ tạo ra đầu ra, một hệ thống có thể đồng thời tạo ra bằng chứng mật mã chứng minh rằng đầu ra đã được tạo ra chính xác. Điều này có nghĩa là người dùng, ứng dụng và mạng lưới có thể xác minh tính toán với sự đảm bảo toán học.

Các bằng chứng không tri thức đẩy ý tưởng này xa hơn. Chúng có thể chứng minh rằng một phép tính đã được thực hiện chính xác mà không tiết lộ các đầu vào riêng tư. Điều này đặc biệt quan trọng đối với các ứng dụng liên quan đến quyền riêng tư, dữ liệu tài chính, danh tính, AI và hạ tầng blockchain.

Nexus được xây dựng dựa trên ý tưởng này: một tương lai nơi việc tính toán không chỉ được thực hiện, mà còn có thể chứng minh được.

Nexus zkVM là gì?

Nexus zkVM là một máy ảo zero-knowledge được thiết kế để chứng minh các phép tính tổng quát. Nói một cách đơn giản, nó cho phép các nhà phát triển chạy các chương trình và tạo ra các bằng chứng súc tích chứng minh rằng các chương trình đó đã được thực thi chính xác.

Khác với các hệ thống được thiết kế chỉ dành cho các chương trình nhỏ hoặc trường hợp sử dụng hẹp, Nexus zkVM tập trung vào việc chứng minh các phép tính rất lớn, bao gồm cả các tải công việc với hàng tỷ chu kỳ CPU. Để đạt được điều này, nó sử dụng tạo chứng minh tăng dần và tổng hợp chứng minh, cho phép một phép tính lớn được chia nhỏ thành các phần nhỏ hơn và được chứng minh từng bước.

Điều này quan trọng vì các hệ thống zero-knowledge truyền thống thường gặp hạn chế về hiệu suất. Việc chứng minh các chương trình phức tạp có thể tốn kém, chậm và khó mở rộng. Nexus giải quyết vấn đề này bằng cách thiết kế một zkVM có thể hỗ trợ chứng minh song song quy mô lớn.

Quá trình thực thi Nexus zkVM bao gồm một số giai đoạn chính:

Biên dịch: Các chương trình được biên dịch thành tập lệnh của Nexus Virtual Machine.
Thực thi: Chương trình chạy trên Máy ảo Nexus và tạo ra bản ghi thực thi.
Gấp: Các bằng chứng được tạo ra và tích lũy cho các khối tính toán theo cách song song cao.
Nén: Bằng chứng tích lũy cuối cùng được nén thành một bằng chứng súc tích.

Cấu trúc này cho phép Nexus làm cho việc chứng minh quy mô lớn trở nên thực tế hơn trong khi vẫn duy trì trải nghiệm thân thiện với nhà phát triển.

Máy ảo Nexus: Một mô hình đơn giản cho tính toán phổ quát

Ở lõi của Nexus zkVM là Nexus Virtual Machine, hay NVM.

NVM là một kiến trúc CPU ảo đơn giản, tối giản và có thể mở rộng. Nó được thiết kế để hỗ trợ tính toán phổ quát đồng thời tối đa hóa hiệu suất của người chứng minh. Nói cách khác, nó cung cấp cho các nhà phát triển một mô hình tính toán đa năng, nhưng vẫn giữ cho máy đơn giản đủ để tạo chứng minh hiệu quả hơn và dễ kiểm toán hơn.

NVM sử dụng bộ lệnh 32-bit đơn giản và mô hình bộ nhớ trực tiếp. Thiết kế này quan trọng vì hiệu suất của zkVM phụ thuộc rất nhiều vào mức độ khó để chứng minh từng bước của máy. Một máy đơn giản hơn sẽ dễ xác minh hơn, dễ tối ưu hóa hơn và phù hợp hơn với việc tạo chứng minh quy mô lớn.

Nexus cũng giới thiệu các co-bộ xử lý zkVM. Đây là các phần mở rộng hướng dẫn tùy chỉnh được thiết kế để tăng tốc các thao tác cụ thể. Ví dụ: các hàm mật mã như SHA-256 hoặc ECDSA có thể tốn kém để chứng minh nếu chúng được mô phỏng thông qua các lệnh CPU thông thường. Một co-bộ xử lý cho phép hệ thống xử lý những thao tác đó hiệu quả hơn, tương tự như cách phần cứng chuyên dụng có thể tăng tốc các nhiệm vụ nhất định.

Điều này mang lại cho Nexus hai lợi thế cùng lúc:

Một VM đa năng có thể hỗ trợ nhiều loại chương trình.
Tăng tốc chuyên biệt cho các hoạt động tốn kém để chứng minh bình thường.

Mạng Nexus: Một siêu máy tính phân tán có thể xác minh được

Mạng Nexus được thiết kế để đưa zkVM lên quy mô Internet.

Thay vì phụ thuộc vào một máy tính để tạo bằng chứng, Nexus Network tổng hợp sức mạnh CPU và GPU từ nhiều máy tính khác nhau. Những máy tính này có thể làm việc cùng nhau để tạo và tổng hợp bằng chứng song song, biến phần cứng phân tán thành một siêu máy tính có thể xác minh được.

Điều này tương tự về tinh thần với các mạng máy tính tình nguyện lớn, nhưng có một điểm khác biệt chính: Nexus tập trung vào tính toán có thể xác minh. Đầu ra không chỉ là một kết quả, mà còn là bằng chứng cho thấy kết quả đã được tính toán chính xác.

Trong mô hình Nexus, việc tạo chứng minh có thể được chia thành nhiều phần nhỏ hơn. Các nút mạng khác nhau có thể cùng xử lý các phần khác nhau của phép tính, và các chứng minh có thể được tích lũy theo cấu trúc dạng cây. Điều này giúp hệ thống có khả năng mở rộng, vì khả năng tạo chứng minh có thể tăng lên cùng với tổng sức mạnh tính toán do mạng lưới đóng góp.

Bản trắng mô tả Nexus Network như một bước tiến nhằm kết nối các máy tính trên toàn thế giới thành một siêu máy tính duy nhất có thể xác minh được. Mục tiêu dài hạn là làm cho việc tạo bằng chứng nhanh và rẻ đủ để phục vụ các ứng dụng sản xuất thực tế.

Tại sao Nexus lại quan trọng

Nexus quan trọng vì nó nhắm vào một trong những điểm nghẽn lớn nhất trong công nghệ zero-knowledge: khả năng mở rộng.

Bằng chứng không tri thức là mạnh mẽ, nhưng từ trước đến nay chúng thường khó sử dụng ở quy mô lớn. Các nhà phát triển thường cần kiến thức chuyên sâu, mạch tùy chỉnh hoặc cơ sở hạ tầng chứng minh đắt đỏ. Nexus nhằm giảm thiểu độ phức tạp này bằng cách cung cấp cho các nhà phát triển một môi trường dựa trên zkVM, nơi họ có thể chứng minh các chương trình một cách tự nhiên hơn.

Dự án cũng tập trung vào việc triển khai thực tế. Nexus zkVM và Nexus Network là mã nguồn mở và được triển khai bằng Rust. Bản trắng mô tả hỗ trợ chứng minh các chương trình Rust, với quy trình phát triển đơn giản như chứng minh và xác minh thông qua công cụ Nexus.

Nếu thành công, Nexus có thể hỗ trợ một loạt các trường hợp sử dụng:

Tính toán AI có thể xác minh được
Phạm vi mở rộng blockchain và các hệ thống chứng minh
Tính toán đám mây tối thiểu hóa sự tin tưởng
Các ứng dụng bảo vệ quyền riêng tư
Các quy trình tài chính và dữ liệu có thể kiểm toán
Thị trường chứng minh phân tán quy mô lớn

Nói tóm lại, Nexus không chỉ đang xây dựng một công cụ blockchain khác. Nó đang xây dựng hạ tầng cho một tương lai nơi mà chính việc tính toán có thể được xác minh.

Phần thưởng giới thiệu:

Mời người dùng mới tham gia chiến dịch Learn & Earn để mở khóa phần thưởng bổ sung. Với mỗi người bạn được mời thành công đăng ký và hoàn thành các giao dịch yêu cầu, bạn sẽ nhận được hoàn lại 25% phí. Càng mời nhiều người dùng đủ điều kiện, bạn càng nhận được nhiều phần thưởng hơn. Để biết chi tiết, vui lòng tham khảo: https://www.kucoin.com/vi/referral

Cách mời

Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể được lấy từ bên thứ ba và không nhất thiết phản ánh quan điểm hoặc ý kiến của KuCoin. Nội dung này chỉ mang tính chất tham khảo và không cấu thành bất kỳ hình thức đại diện hoặc bảo đảm nào, cũng không nên được hiểu là tư vấn tài chính hoặc đầu tư. KuCoin không chịu trách nhiệm cho bất kỳ lỗi hoặc thiếu sót nào, hoặc cho bất kỳ kết quả nào phát sinh từ việc sử dụng thông tin này. Việc đầu tư vào tài sản ảo có thể tiềm ẩn rủi ro. Vui lòng đánh giá cẩn thận rủi ro sản phẩm và khả năng chấp nhận rủi ro dựa trên tình hình tài chính của bạn. Để biết thêm thông tin, vui lòng tham khảo Điều khoản sử dụng và Tiết lộ rủi ro.