Đối tác của Pantera: Giải thích về Dự án máy tính có thể kiểm chứng Nexus

Tác giả: Paul Veradittakit, đối tác của Pantara; Trình biên dịch: 0xjs@金财经

Lời nói đầu

Các dự án mật mã không có kiến ​​thức thường được chia thành hai loại: 

Sau này dựa vào việc xây dựng một hệ thống hoàn toàn mới từ đầu đến cuối, đòi hỏi các nhà lãnh đạo ngành phải mở rộng biên giới nghiên cứu ZK. Các công ty này bao gồm RISC Zero, Succinct và Nexus.

Việc xây dựng tính toán có thể kiểm chứng là rất khó, vì vậy các công ty này tập trung vào việc xây dựng các phần cụ thể của ngăn xếp, chẳng hạn như zkVM, mạng trình chứng minh hoặc các mạch có thể tùy chỉnh. Nexus tiếp cận vấn đề này từ một góc nhìn hoàn toàn khác. Xây dựng một mạng internet an toàn đòi hỏi phải đổi mới cách thiết kế và sử dụng các máy móc không có kiến ​​thức. Chúng tôi tin rằng Nexus có tài năng và sự khéo léo để xây dựng một máy tính có thể xác minh mới ngay từ đầu nhằm tối ưu hóa mọi lớp zkVM nhằm xây dựng máy tính có thể xác minh nhanh nhất, hiệu quả nhất.

Tính toán có thể kiểm chứng là gì?

Trong xã hội hiện đại, sự thật rất khó kiểm chứng. Trí tuệ nhân tạo, deepfake, VPN, hack từ xa và lừa đảo khiến việc che giấu sự thật đằng sau máy tính trở nên dễ dàng hơn bao giờ hết. Hiện tại, trong máy tính của chúng ta, CPU chạy mã và đưa ra giải pháp. Với Nexus 0.0, đầu vào mã sẽ đưa ra một giải pháp và bằng chứng không có kiến ​​thức tương ứng rằng giải pháp đó được tạo chính xác, cho phép chúng tôi chắc chắn rằng đầu ra là hợp lệ. Bằng cách này, mọi thông tin đều có thể được chứng minh là đúng mà không tiết lộ bất kỳ điều gì về thông tin cơ bản.

< a href="https://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2ea95f62- 5bd4-4008-b664-79dd4e088f45_1600x895.png">

Tiến trình và các cột mốc quan trọng

Nexus được xây dựng dựa trên nhiều thập kỷ nghiên cứu bằng chứng không có kiến ​​thức, tóm lại, Bằng chứng không có kiến ​​thức cho phép người dùng chứng minh rằng các tính toán đã được hoàn thành chính xác mà không tiết lộ bất kỳ thông tin nào về đầu vào cơ bản. Hồ sơ y tế, bí mật quân sự, danh tính và hoạt động duyệt web đều là những ngành không được bảo mật trong quá khứ. Điện toán có thể kiểm chứng là liều thuốc chữa bách bệnh nhưng phải đối mặt với những trở ngại rất lớn. Các ứng dụng ZK hiện tại chạy chậm, không thể chạy các phép tính tùy ý và mang lại trải nghiệm kém cho nhà phát triển.

Nexus 1.0 xây dựng một cỗ máy có thể chứng minh mã Rust tùy ý và thiết kế một nhóm công nghệ được tối ưu hóa cho sự đổi mới và khả năng mở rộng. Mục tiêu cuối cùng là mở rộng quy mô xác thực để phù hợp với bất kỳ ứng dụng nào, thậm chí lớn như Internet. Nexus 0.0 chạy ở tần số 1Hz (1 chu kỳ CPU mỗi giây) và sẽ ra mắt vào tháng 9 năm 2023. Tại EthDenver vào tháng 2 năm 2024, phiên bản mới Nexus 1.0 chạy ở tốc độ ~100Hz, cải thiện ~100 lần chỉ sau 5 tháng. Nhóm hy vọng sẽ tăng tốc độ của Nexus zkVM theo cấp số nhân.

Sự tăng trưởng theo cấp số nhân này là kết quả của thiết kế mô-đun của Nexus 1.0, cho phép từng bộ phận từ nén thử nghiệm đến nén thử nghiệm được tối ưu hóa riêng lẻ để sử dụng nghiên cứu mới nhất và lớn nhất trong lĩnh vực chứng minh không có kiến ​​thức . Điều này cũng cho phép Nexus áp dụng công nghệ của mình vào blockchain rất dễ dàng.

Ứng dụng mã hóa

Tính mô-đun của Nexus có nghĩa là nó có thể được sử dụng trong các ứng dụng nguyên khối hoặc trong các bộ phận riêng lẻ để hỗ trợ các ứng dụng khác các ứng dụng mô-đun. Ví dụ, các lớp nén kết hợp nhiều bằng chứng lớn thành một bằng chứng ngắn gọn. Công nghệ này dựa trên Nova, một sơ đồ gấp mãi đến năm 2022 mới được phát minh thông qua một bài báo nghiên cứu. Nexus đã xây dựng triển khai gấp ở cấp độ sản xuất duy nhất trên thế giới, cho phép đệ quy và bằng chứng tổng hợp hiệu quả. Lớp này có thể được sử dụng độc lập để hỗ trợ các zkVM khác.

Thiết kế này cũng dễ dàng tích hợp với các tiêu chuẩn bảo mật và đồng thuận blockchain hiện hành. Ví dụ: trong NVM hoặc máy ảo Nexus, tính năng "biên dịch trước" cho phép các nhà phát triển mở rộng máy bằng các hướng dẫn tùy chỉnh để biên dịch trước các sơ đồ phổ biến như Keccak-256 (để tạo và xác thực các giao dịch trên Ethereum). Điều này có nghĩa là Nexus có thể tích hợp và xác minh các tính toán được thực hiện trên chuỗi EVM (và nhiều chuỗi khác).

< a href="https://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fdd9e2553- c85f-4a4c-9d39-d3e946a31ff9_1600x943.png">

Ngày nay, các ứng dụng ZK chi hàng triệu đô la để tạo và xác minh bằng chứng trên L1. Mạng nút trình biên dịch, nén và chứng minh Nexus sẽ cải thiện đáng kể hiệu suất của các ứng dụng ZK hiện tại đồng thời chiếm được thị phần đáng kể trong ngành chuỗi ZK hiện tại, có khả năng trị giá hàng tỷ đô la. Ngành công nghiệp ZK đang phát triển nhanh chóng và Nexus thống trị thị trường với thiết kế tốt nhất trên toàn bộ chuỗi công nghệ, từ thử nghiệm đến nén.

Các thành viên chủ chốt của nhóm

Nhóm Nexus quy tụ những tài năng xuất sắc nhất trong lĩnh vực mật mã và khoa học máy tính.

Đội ngũ quản lý bao gồm:

• Daniel Marin , Giám đốc điều hành: sinh viên mới tốt nghiệp Đại học Stanford, chịu ảnh hưởng của mật khẩu nổi tiếng Đạo diễn bởi nhà khoa học Dan Boneh.  

• Jens Groth , nhà khoa học trưởng: cựu giám đốc nghiên cứu tại DFINITY, giáo sư tại Đại học College London, người phát minh ra zk-SNARK Groth16 được sử dụng rộng rãi nhất.

• Alex Fowler , Giám đốc chiến lược: Đồng sáng lập Blockstream và cựu phó chủ tịch cấp cao, giám đốc quyền riêng tư của Mozilla.

Các chuyên gia mật mã của nhóm nòng cốt bao gồm:

• Michel Abdalla: Advanced Nhà khoa học mật mã, chủ tịch Hiệp hội nghiên cứu mật mã quốc tế (IACR), cựu giáo sư tại Ecole Normale Supérieure và nhà nghiên cứu DFINITY.

• Samuel Judson : Kỹ sư mật mã học, có bằng Tiến sĩ về mật mã học tại Đại học Yale, học với Ruzica Piskac và làm kỹ sư bảo mật Auth0. Ông là tác giả của hơn 7 bài báo trong lĩnh vực ZKP, phương pháp hình thức và AI.

• Kristian Sosnin: Kỹ sư mật mã học, cựu kỹ sư Rust tại Matter Labs và Parity.  

• Vamsi Policharla: Kỹ sư mật mã học, đang học tiến sĩ về mật mã học tại Berkeley, được hướng dẫn bởi Sanjam Garg. Ông là kỹ sư nòng cốt của Rust trong nhóm mật mã Berkeley và là tác giả của hơn 4 bài báo về ZKP.

• Yinuo Zhang: Nhà khoa học về mật mã học, hiện đang theo đuổi bằng tiến sĩ về mật mã học dưới sự hướng dẫn của Sanjam Garg tại Đại học Berkeley. Trước đây anh ấy đã thực tập tại a16z Crypto '23, làm việc về nghiên cứu zkVM và là tác giả của hơn 5 bài báo về ZKP.

Chúng tôi tin rằng nếu bất kỳ nhóm nào có thể tạo ra tính toán có thể kiểm chứng được trên quy mô Internet thì đó chính là nhóm Nexus.

Pantera và Lightspeed Venture Partners đã thông báo vào ngày 10 tháng 6 năm 2024 rằng họ cùng nhau dẫn dắt khoản tài trợ Series A trị giá 25 triệu đô la của Nexus.

< a href="https://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F01f17172- 51fc-48b3-bb0f-77350861a364_1200x675.png">

Nexus 1.0 đã được phát hành ra công chúng, điều đó có nghĩa là bất kỳ ai cũng có thể chứng minh bất kỳ chương trình Rust nào chỉ bằng một vài dòng mã. Hãy làm theo các bước tại đây (https://docs.nexus.xyz/) để tự mình dùng thử.

Kết luận

Nexus đang tận dụng một đội ngũ toàn sao và thiết kế kỹ thuật phức tạp để chinh phục thế giới mới của điện toán có thể mở rộng và có thể kiểm chứng. Chúng tôi tin rằng Nexus là một bước quan trọng hướng tới việc tạo ra một mạng Internet an toàn cho tương lai của nhân loại. Bằng chứng không có kiến ​​thức trước đây thường chậm, không thực tế và mang lại trải nghiệm kém cho nhà phát triển.

Nexus giải quyết ba vấn đề này bằng cách kết hợp hàng thập kỷ đổi mới với một hệ thống mô-đun và song song hóa cao.

Chúng tôi tin rằng Nexus sẽ là nơi được lựa chọn để tính toán hiệu quả và có thể kiểm chứng, đảm bảo rằng hàng nghìn tỷ phép tính tiếp theo được an toàn, có thể kiểm chứng và hiệu quả.