Nexus Phỏng vấn độc quyền｜Jens Groth tiết lộ cách xây dựng tương lai của tính toán có thể xác minh toàn cầu?
Tuyển chọn TechFlowTuyển chọn TechFlow
Nexus Phỏng vấn độc quyền｜Jens Groth tiết lộ cách xây dựng tương lai của tính toán có thể xác minh toàn cầu?
Là một trong những người đặt nền móng quan trọng trong lĩnh vực bằng chứng không kiến thức (zero-knowledge proof), giáo sư Jens Groth đã đề xuất hệ thống Groth16 được ứng dụng rộng rãi vào năm 2016, nghiên cứu của ông đã đặt nền tảng vững chắc cho sự phát triển của máy tính zk ngày nay.
Chuyên sâu báo cáo Web3Người được phỏng vấn: Jens Groth, nhà khoa học trưởng của Nexus
Phỏng vấn và biên soạn: Alex, đội ngũ nội dung OpenBuild
Trong bối cảnh AI, dữ liệu lớn và Web3 đang tích hợp nhanh chóng, việc xác minh tính chân thực của các phép toán quy mô lớn đang trở thành thách thức kỹ thuật trọng tâm mà thế giới số phải đối mặt. Nexus đang thúc đẩy một khám phá tiên phong — xây dựng cơ sở hạ tầng tính toán có thể kiểm chứng hoạt động phối hợp toàn cầu, kết hợp máy ảo kiến thức không (zkVM)[1] và mạng lưới prover phân tán[2], nhằm tạo ra một "siêu máy tính" đáng tin cậy.
Trong cuộc phỏng vấn đặc biệt này, OpenBuild đã trao đổi sâu với giáo sư Jens Groth[3], nhà khoa học trưởng của Nexus và là chuyên gia hàng đầu về mật mã học, xoay quanh các chủ đề then chốt như tiến hóa công nghệ zkVM, thiết kế kiến trúc tính toán phân tán, con đường thực thi đáng tin cậy trong các ứng dụng AI. Ông cũng chia sẻ cách Nexus đạt được sự cân bằng giữa bảo mật riêng tư với hiệu suất và khả năng mở rộng, từ đó cung cấp nền tảng cơ bản cho việc xây dựng nền văn minh số có thể kiểm chứng.
Là một trong những người đặt nền móng quan trọng cho lĩnh vực chứng minh kiến thức không, giáo sư Jens Groth đã đưa ra hệ thống Groth16[4] được ứng dụng rộng rãi vào năm 2016, nghiên cứu của ông đã đặt nền tảng vững chắc cho sự phát triển của tính toán zk ngày nay.
Logic xây dựng thế giới có thể kiểm chứng
OpenBuild: Xin hãy dùng một câu để khái quát tầm nhìn và sứ mệnh của Nexus?
Jens Groth: Nexus là nền tảng xây dựng cơ sở hạ tầng cốt lõi cho một "thế giới có thể kiểm chứng".
Chúng tôi tin rằng, mọi hoạt động số quan trọng trong tương lai — dù là tạo ra dữ liệu, ra quyết định bằng AI hay giao dịch trên chuỗi — đều cần được đảm bảo tính kiểm chứng được, và Nexus đang xây dựng nền tảng kỹ thuật phục vụ mục tiêu đó.
Sự tiến hóa công nghệ zkVM 3.0
OpenBuild: So với hai phiên bản trước, zkVM 3.0 có những cải tiến công nghệ nào quan trọng?
Jens Groth: Đây là lần viết lại hoàn toàn từ kiến trúc nền tảng đến hiệu suất thực thi.
Nexus zkVM 3.0[5] hướng tới tập lệnh mục tiêu RISC-V[6], có tính mô-đun mạnh mẽ, khả năng mở rộng cao, đồng thời đi kèm đặc tả hình thức (formal specification) để đảm bảo an toàn và chuẩn hóa.
Bên cạnh đó, chúng tôi giới thiệu runtime dành cho guest được thiết kế lại, cơ chế kiểm tra bộ nhớ hiệu quả, và sử dụng công cụ chứng minh Stwo của StarkWare[7][8] làm lớp chứng minh phía sau. Kết quả cuối cùng là nhanh hơn 1000 lần so với các phiên bản 1.0 và 2.0, đồng thời dễ sử dụng hơn nhiều.
Mạng lưới tính toán phân tán, ai cũng có thể tham gia
OpenBuild: Mạng lưới prover phân tán của Nexus vận hành như thế nào? Người dùng thông thường có thể tham gia không?
Jens Groth: Hoàn toàn có thể. Chúng tôi đã giảm thiểu rào cản về năng lực tính toán, người dùng có thể kết nối mạng chỉ bằng một cú nhấp chuột trên laptop hoặc thậm chí điện thoại di động, đóng góp tài nguyên tính toán nhàn rỗi. Mỗi thiết bị tham gia đều làm tăng tổng sức mạnh tính toán của mạng lưới.
Chúng tôi khác biệt với mô hình "thợ mỏ" truyền thống trong blockchain, mà thay vào đó là kích hoạt tiềm năng của các thiết bị toàn cầu. Người dùng đóng góp sức tính toán sẽ nhận được điểm thưởng NEX Points[9] do Nexus cung cấp.
Dòng công cụ tính toán có thể kiểm chứng thân thiện với nhà phát triển
OpenBuild: Nexus hỗ trợ nhà phát triển xây dựng ứng dụng có thể kiểm chứng dựa trên zkVM như thế nào?
Jens Groth: Chúng tôi cung cấp SDK đầy đủ, chuỗi công cụ CLI và tài liệu chi tiết[10], giúp nhà phát triển dễ dàng bắt đầu xây dựng chương trình Verifiable.
Thiết kế API của chúng tôi có cơ chế phòng tránh sử dụng sai, đồng thời cân bằng giữa hiệu suất, khả năng kiểm chứng và bảo mật, với mục tiêu biến Verifiable Execution[11] thành một kỹ năng phát triển thông thường.
Kết hợp và ứng dụng thực tiễn với các kịch bản AI
OpenBuild: Nexus phục vụ các trường hợp ứng dụng AI như thế nào? Có những ứng dụng điển hình nào?
Jens Groth: Vấn đề độ tin cậy của AI[12] đang trở thành thách thức then chốt. Khả năng tính toán có thể kiểm chứng của Nexus có thể áp dụng vào nhiều tình huống:
• Xác minh tác nhân AI: Ví dụ, xác minh xem AI có thực hiện đặt vé máy bay đúng trong phạm vi ủy quyền và ngân sách hay không.
• Trợ lý giao dịch mã hóa: Đảm bảo công cụ AI không tạo ra các "giao dịch ảo tưởng".
• Phương tiện có thể kiểm chứng: Chẳng hạn camera tự động ký vào ảnh với tọa độ địa lý và thời gian, ngăn chặn deepfake.
Tất cả đây đều là những trường hợp phổ quát, Nexus hướng tới trở thành tiêu chuẩn nền tảng đảm bảo độ tin cậy cho các ứng dụng AI này[13].
Triết lý thiết kế: Cân bằng giữa riêng tư và hiệu suất
OpenBuild: Nexus đạt được sự cân bằng kỹ thuật giữa bảo vệ riêng tư và tối ưu hiệu suất như thế nào?
Jens Groth: Chi phí cốt lõi của tính toán có thể kiểm chứng nằm ở việc tạo ra bằng chứng zk, quá trình này hiện vẫn khá tốn kém. Nexus giảm đáng kể độ trễ bằng cách xử lý song song các phép toán thông qua mạng lưới prover.
Việc chạy Verifiable Computation cục bộ gần như miễn phí về mặt bảo vệ riêng tư, vì bản thân bằng chứng zk vừa nhỏ gọn vừa không tiết lộ dữ liệu bí mật. Tuy nhiên, xử lý phân tán có thể tiềm ẩn rủi ro riêng tư, do đó chúng tôi đang tích cực nghiên cứu cách duy trì đồng thời cả riêng tư lẫn hiệu quả trong kiến trúc phân tán.
Lộ trình và kế hoạch tương lai
OpenBuild: Trọng tâm của Nexus trong 1–2 năm tới là gì?
Jens Groth: Chúng tôi dự kiến sẽ ra mắt thêm một mạng thử nghiệm nữa trong năm nay, chuẩn bị cho việc chính thức phát hành mainnet. Đồng thời, chúng tôi vừa mới thành lập Verifiable AI Lab[14], nhằm khám phá sự kết hợp sâu sắc giữa AI và tính toán có thể kiểm chứng.
Về mở rộng thị trường, mục tiêu của chúng tôi rất lớn: mong muốn cả thế giới số trong tương lai đều chuyển sang mô hình có thể kiểm chứng. Hiện tại chúng tôi đã hợp tác với hơn 50 dự án, và kiên trì triết lý sản phẩm “giao hàng nhanh, lặp lại liên tục”.
Kết luận
Qua cuộc phỏng vấn này, ta có thể thấy Nexus không đơn thuần đang tạo ra một "chuỗi" mới, mà đang tái định nghĩa cách thức "tính toán đáng tin cậy" trong thế giới số. zkVM và mạng lưới prover phân tán mà họ xây dựng sẽ trở thành khuôn mẫu mới cho sự hợp tác đáng tin cậy trong AI, Web3, thậm chí cả Internet truyền thống.
Liên kết tham khảo
[1]zkVM:https://nexus.xyz/zkvm
[2]prover mạng lưới:https://blog.nexus.xyz/nexus-launches-worlds-first-open-prover-network/
[3]Jens Groth:http://www0.cs.ucl.ac.uk/staff/j.groth/
[4]Groth16:https://eprint.iacr.org/2016/260
[5]Nexus zkVM 3.0:https://blog.nexus.xyz/zkvm-3-0-and-beyond-toward-modular-distributed-zero-knowledge-proofs/
[6]RISC-V:https://riscv.org/
[7]StarkWare:https://starkware.co/
[8]Stwo prover:https://github.com/starkware-libs/stwo
[9]NEX Points:https://docs.nexus.xyz/layer-1/network-devnet/nex-points
[10]tài liệu:https://docs.nexus.xyz/home
[11]Verifiable Executio:https://blog.nexus.xyz/the-nexus-execution-layer-incrementally-verifiable-computation/
[12]AI độ tin cậy vấn đề:https://hbr.org/2024/05/ais-trust-problem
[13]AI ứng dụng độ tin cậy:https://blog.nexus.xyz/nexus-zkmcp-verifiable-model-execution/
[14]Verifiable AI Lab:https://blog.nexus.xyz/nexus-verifiable-ai-lab/
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
