Người được phỏng vấn: Jens Groth, Giám đốc Khoa học của Nexus
Phỏng vấn và viết bài: Alex, Đội ngũ nội dung OpenBuild
Với sự hội tụ nhanh chóng của AI, dữ liệu lớn và Web3, cách xác minh tính xác thực của điện toán quy mô lớn đang trở thành thách thức kỹ thuật cốt lõi đối với thế giới kỹ thuật số. Nexus đang thúc đẩy một nhiệm vụ tiên tiến để xây dựng một cơ sở hạ tầng điện toán có thể xác minh hoạt động cùng nhau trên toàn cầu, kết hợp zkVM[1] máy ảo không kiến thức với mạng lưới phân tán [2] để tạo ra một "siêu máy tính" đáng tin cậy.
Trong cuộc phỏng vấn độc quyền này, OpenBuild đã có một cuộc trò chuyện chuyên sâu với Giáo sư Jens Groth[3], Nhà khoa học trưởng của Nexus và là người có thẩm quyền về mật mã, đồng thời thảo luận về các chủ đề chính như sự phát triển kỹ thuật của zkVM, thiết kế kiến trúc điện toán phân tán và đường dẫn thực thi đáng tin cậy trong các kịch bản AI. Ông cũng chia sẻ cách Nexus cân bằng hiệu suất và khả năng mở rộng trong khi vẫn duy trì quyền riêng tư, cung cấp hỗ trợ cơ bản để xây dựng một nền văn minh kỹ thuật số có thể kiểm chứng.
Là người sáng lập quan trọng của lĩnh vực chứng minh không kiến thức, Giáo sư Jens Groth đã đề xuất hệ thống Groth16[4] được sử dụng rộng rãi vào năm 2016 và kết quả 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.
Logic xây dựng thế giới có thể xác minh
OpenBuild: Có thể tóm gọn tầm nhìn và sứ mệnh của Nexus trong một câu không?
Jens Groth: Nexus là nền tảng xây dựng cơ sở hạ tầng nền tảng cho "thế giới có thể xác minh".
Chúng tôi tin rằng, trong tương lai, mọi hoạt động số quan trọng - bất kể là tạo dữ liệu, quyết định AI, hay giao dịch trên chuỗi - đều cần có sự đảm bảo tính xác thực, và Nexus đang xây dựng nền tảng công nghệ cho điều này.
Sự tiến hóa công nghệ của zkVM 3.0
OpenBuild: zkVM 3.0 có những cải tiến công nghệ quan trọng nào so với hai phiên bản trước?
Jens Groth: Đây là một sự viết lại toàn diện từ kiến trúc cơ sở đến hiệu suất thực thi.
Nexus zkVM 3.0[5] với tập lệnh mục tiêu RISC-V[6], có khả năng mô-đun hóa mạnh mẽ, khả năng mở rộng, và được bổ sung bởi các tiêu chuẩn hình thức, đảm bảo tính an toàn và chuẩn hóa.
Ngoài ra, chúng tôi đã giới thiệu thời gian chạy khách được thiết kế lại, cơ chế kiểm tra bộ nhớ hiệu quả và khả năng kiểm tra phụ trợ thông qua prover[7] Stwo của StarkWare[8]. Kết quả cuối cùng là nhanh hơn 1.000 lần so với phiên bản 1.0 và 2.0, đồng thời dễ sử dụng hơn.
Mạng lưới tính toán phân phối mà mọi người đều có thể tham gia
OpenBuild: Mạng prover phân tán của Nexus hoạt động 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 bớt ngưỡng tính toán, người dùng có thể kết nối mạng chỉ với một cú nhấp chuột qua máy tính xách tay 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ị kết nối đều nâng cao tổng sức mạnh tính toán của mạng.
Chúng tôi không giống như "mô hình thợ mỏ" truyền thống của blockchain, mà 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 mạnh tính toán có thể nhận được điểm thưởng NEX Points do Nexus cung cấp [9].
Công cụ chuỗi tính toán có thể xác minh thân thiện với nhà phát triển
OpenBuild: Nexus làm thế nào để hỗ trợ các nhà phát triển xây dựng các ứng dụng có thể xác minh dựa trên zkVM?
Jens Groth: Chúng tôi cung cấp SDK toàn diện, chuỗi công cụ CLI và [10] tài liệu phong phú để giúp các nhà phát triển bắt đầu xây dựng các chương trình có thể xác minh.
API của chúng tôi được thiết kế để chống lạm dụng và cân bằng về 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 Executio[11]n một phần của quy trình phát triển.
Sự kết hợp và ứng dụng với các cảnh AI
OpenBuild: Nexus phục vụ các tình huống AI như thế nào? Có những ứng dụng điển hình nào?
Jens Groth: Vấn đề đáng tin cậy của AI [12] đang trở thành thách thức quan trọng. Khả năng tính toán có thể xác minh của Nexus có thể được áp dụng trong nhiều tình huống:
• Xác thực đại lý AI: chẳng hạn như xác thực xem AI có thực hiện đặt chỗ chuyến bay trong phạm vi ủy quyền và ngân sách hay không.
• Trợ lý giao dịch tiền điện tử: Đảm bảo rằng công cụ AI sẽ không tạo ra "giao dịch ảo".
• Phương tiện có thể xác minh: như hình ảnh chụp từ camera tự động ký các tọa độ địa lý và thời gian, phòng ngừa deepfake.
Đây đều là những kịch bản chung, Nexus cam kết trở thành tiêu chuẩn nền tảng cho sự tin cậy của các ứng dụng AI này [13].
Triết lý thiết kế giữa quyền riêng tư và hiệu suất
OpenBuild: Nexus làm thế nào để cân bằng công nghệ giữa bảo vệ quyền riêng tư và tối ưu hóa hiệu suất?
Jens Groth: Chi phí cốt lõi của tính toán có thể xác minh là việc tạo ra zk chứng minh, quá trình này hiện vẫn khá đắt đỏ. Nexus thông qua mạng prover xử lý tính toán theo cách song song, giảm đáng kể độ trễ.
Việc chạy Verifiable Computation tại địa phương gần như có thể miễn phí bảo vệ quyền riêng tư, vì các chứng minh zk bản thân chúng nhỏ gọn và không tiết lộ dữ liệu bí mật. Xử lý phân tán có thể mang lại rủi ro về quyền riêng tư, do đó chúng tôi đang tích cực nghiên cứu cách duy trì sự bảo đảm kép về quyền riêng tư và hiệu quả trong kiến trúc phân tán.
Lộ trình và kế hoạch tương lai
OpenBuild: Nexus trọng tâm trong 1–2 năm tới là gì?
Jens Groth: Chúng tôi có kế hoạch ra mắt một mạng thử nghiệm nữa trong năm nay để chuẩn bị cho việc phát hành chính thức mạng chính. Đồng thời, chúng tôi vừa thành lập Verifiable AI Lab[14] để khám phá sự kết hợp sâu sắc giữa AI và tính toán có thể xác minh.
Trong việc mở rộng thị trường, chúng tôi có mục tiêu lớn: hy vọng rằng toàn bộ thế giới số trong tương lai sẽ hướng tới khả năng xác minh. Chúng tôi đã thiết lập hợp tác với hơn 50 dự án và kiên định với 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, chúng ta có thể thấy Nexus không đang làm một "chuỗi" khác, mà đang xác định lại cách "điện toán đáng tin cậy" trong thế giới kỹ thuật số. zkVM và mạng prover phân tán do nó xây dựng sẽ trở thành một mô hình mới về sự hợp tác đáng tin cậy trong AI, Web3 và thậm chí cả Internet truyền thống.
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Nexus phỏng vấn｜Jens Groth tiết lộ cách xây dựng tương lai tính toán có thể xác minh toàn cầu?
Người được phỏng vấn: Jens Groth, Giám đốc Khoa học của Nexus
Phỏng vấn và viết bài: Alex, Đội ngũ nội dung OpenBuild
Với sự hội tụ nhanh chóng của AI, dữ liệu lớn và Web3, cách xác minh tính xác thực của điện toán quy mô lớn đang trở thành thách thức kỹ thuật cốt lõi đối với thế giới kỹ thuật số. Nexus đang thúc đẩy một nhiệm vụ tiên tiến để xây dựng một cơ sở hạ tầng điện toán có thể xác minh hoạt động cùng nhau trên toàn cầu, kết hợp zkVM[1] máy ảo không kiến thức với mạng lưới phân tán [2] để tạo ra một "siêu máy tính" đáng tin cậy.
Trong cuộc phỏng vấn độc quyền này, OpenBuild đã có một cuộc trò chuyện chuyên sâu với Giáo sư Jens Groth[3], Nhà khoa học trưởng của Nexus và là người có thẩm quyền về mật mã, đồng thời thảo luận về các chủ đề chính như sự phát triển kỹ thuật của zkVM, thiết kế kiến trúc điện toán phân tán và đường dẫn thực thi đáng tin cậy trong các kịch bản AI. Ông cũng chia sẻ cách Nexus cân bằng hiệu suất và khả năng mở rộng trong khi vẫn duy trì quyền riêng tư, cung cấp hỗ trợ cơ bản để xây dựng một nền văn minh kỹ thuật số có thể kiểm chứng.
Là người sáng lập quan trọng của lĩnh vực chứng minh không kiến thức, Giáo sư Jens Groth đã đề xuất hệ thống Groth16[4] được sử dụng rộng rãi vào năm 2016 và kết quả 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.
Logic xây dựng thế giới có thể xác minh
OpenBuild: Có thể tóm gọn tầm nhìn và sứ mệnh của Nexus trong một câu không?
Jens Groth: Nexus là nền tảng xây dựng cơ sở hạ tầng nền tảng cho "thế giới có thể xác minh".
Chúng tôi tin rằng, trong tương lai, mọi hoạt động số quan trọng - bất kể là tạo dữ liệu, quyết định AI, hay giao dịch trên chuỗi - đều cần có sự đảm bảo tính xác thực, và Nexus đang xây dựng nền tảng công nghệ cho điều này.
Sự tiến hóa công nghệ của zkVM 3.0
OpenBuild: zkVM 3.0 có những cải tiến công nghệ quan trọng nào so với hai phiên bản trước?
Jens Groth: Đây là một sự viết lại toàn diện từ kiến trúc cơ sở đến hiệu suất thực thi.
Nexus zkVM 3.0[5] với tập lệnh mục tiêu RISC-V[6], có khả năng mô-đun hóa mạnh mẽ, khả năng mở rộng, và được bổ sung bởi các tiêu chuẩn hình thức, đảm bảo tính an toàn và chuẩn hóa.
Ngoài ra, chúng tôi đã giới thiệu thời gian chạy khách được thiết kế lại, cơ chế kiểm tra bộ nhớ hiệu quả và khả năng kiểm tra phụ trợ thông qua prover[7] Stwo của StarkWare[8]. Kết quả cuối cùng là nhanh hơn 1.000 lần so với phiên bản 1.0 và 2.0, đồng thời dễ sử dụng hơn.
Mạng lưới tính toán phân phối mà mọi người đều có thể tham gia
OpenBuild: Mạng prover phân tán của Nexus hoạt động 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 bớt ngưỡng tính toán, người dùng có thể kết nối mạng chỉ với một cú nhấp chuột qua máy tính xách tay 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ị kết nối đều nâng cao tổng sức mạnh tính toán của mạng.
Chúng tôi không giống như "mô hình thợ mỏ" truyền thống của blockchain, mà 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 mạnh tính toán có thể nhận được điểm thưởng NEX Points do Nexus cung cấp [9].
Công cụ chuỗi tính toán có thể xác minh thân thiện với nhà phát triển
OpenBuild: Nexus làm thế nào để hỗ trợ các nhà phát triển xây dựng các ứng dụng có thể xác minh dựa trên zkVM?
Jens Groth: Chúng tôi cung cấp SDK toàn diện, chuỗi công cụ CLI và [10] tài liệu phong phú để giúp các nhà phát triển bắt đầu xây dựng các chương trình có thể xác minh.
API của chúng tôi được thiết kế để chống lạm dụng và cân bằng về 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 Executio[11]n một phần của quy trình phát triển.
Sự kết hợp và ứng dụng với các cảnh AI
OpenBuild: Nexus phục vụ các tình huống AI như thế nào? Có những ứng dụng điển hình nào?
Jens Groth: Vấn đề đáng tin cậy của AI [12] đang trở thành thách thức quan trọng. Khả năng tính toán có thể xác minh của Nexus có thể được áp dụng trong nhiều tình huống:
• Xác thực đại lý AI: chẳng hạn như xác thực xem AI có thực hiện đặt chỗ chuyến bay trong phạm vi ủy quyền và ngân sách hay không.
• Trợ lý giao dịch tiền điện tử: Đảm bảo rằng công cụ AI sẽ không tạo ra "giao dịch ảo".
• Phương tiện có thể xác minh: như hình ảnh chụp từ camera tự động ký các tọa độ địa lý và thời gian, phòng ngừa deepfake.
Đây đều là những kịch bản chung, Nexus cam kết trở thành tiêu chuẩn nền tảng cho sự tin cậy của các ứng dụng AI này [13].
Triết lý thiết kế giữa quyền riêng tư và hiệu suất
OpenBuild: Nexus làm thế nào để cân bằng công nghệ giữa bảo vệ quyền riêng tư và tối ưu hóa hiệu suất?
Jens Groth: Chi phí cốt lõi của tính toán có thể xác minh là việc tạo ra zk chứng minh, quá trình này hiện vẫn khá đắt đỏ. Nexus thông qua mạng prover xử lý tính toán theo cách song song, giảm đáng kể độ trễ.
Việc chạy Verifiable Computation tại địa phương gần như có thể miễn phí bảo vệ quyền riêng tư, vì các chứng minh zk bản thân chúng nhỏ gọn và không tiết lộ dữ liệu bí mật. Xử lý phân tán có thể mang lại rủi ro về quyền riêng tư, do đó chúng tôi đang tích cực nghiên cứu cách duy trì sự bảo đảm kép về quyền riêng tư và hiệu quả trong kiến trúc phân tán.
Lộ trình và kế hoạch tương lai
OpenBuild: Nexus trọng tâm trong 1–2 năm tới là gì?
Jens Groth: Chúng tôi có kế hoạch ra mắt một mạng thử nghiệm nữa trong năm nay để chuẩn bị cho việc phát hành chính thức mạng chính. Đồng thời, chúng tôi vừa thành lập Verifiable AI Lab[14] để khám phá sự kết hợp sâu sắc giữa AI và tính toán có thể xác minh.
Trong việc mở rộng thị trường, chúng tôi có mục tiêu lớn: hy vọng rằng toàn bộ thế giới số trong tương lai sẽ hướng tới khả năng xác minh. Chúng tôi đã thiết lập hợp tác với hơn 50 dự án và kiên định với 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, chúng ta có thể thấy Nexus không đang làm một "chuỗi" khác, mà đang xác định lại cách "điện toán đáng tin cậy" trong thế giới kỹ thuật số. zkVM và mạng prover phân tán do nó xây dựng sẽ trở thành một mô hình mới về sự hợp tác đáng tin cậy trong AI, Web3 và thậm chí cả Internet truyền thống.
Liên kết trích dẫn
[1]zkVM:
[2]mạng prover:
[3]Jens Groth:
[4]Groth16:
[5]Nexus zkVM 3.0:
[6]RISC-V:
[7]StarkWare:
[8]Stwo chứng minh:
[9]Điểm NEX:
[10]Tài liệu:
[11]Thực thi có thể xác minh:
[12]Vấn đề đáng tin cậy của AI:
[13]Độ tin cậy của ứng dụng AI:
[14]Phòng Thí Nghiệm AI Có Thể Xác Minh: