판테라 파트너: 검증 가능한 컴퓨터 프로젝트 넥서스 설명

판타라 파트너, 폴 베라디타킷 작성, 0xjs@골든파이낸스 편집

서문

영지식 암호 프로젝트는 일반적으로 두 가지 범주로 나뉩니다.

• 전용 ZK: 특정 계산을 증명하여 블록체인의 확장성을 개선하려는 시도입니다. 예를 들면 zk 롤업 스택, 실행 레이어를 위한 zkEVM, ZK 증명 집계, 정산 등이 있습니다. 이러한 회사로는 zkSync Era와 Starknet이 있습니다.

• 일반 ZK: 이러한 ZK는 사용되는 프로그래밍 언어에 관계없이 모든 연산을 증명하려고 시도하며 zkVM이라고 합니다. 개발자가 수개월이 아닌 며칠 만에 ZK 프로젝트를 제공할 수 있도록 설계되어 회로보다는 공통 코드 작성에 집중할 수 있도록 합니다.

후자는 완전히 새로운 시스템을 처음부터 구축해야 하므로 업계 리더들이 ZK 연구의 지평을 넓혀야 합니다. 여기에는 RISC Zero, Succinct, Nexus가 포함됩니다.

검증 가능한 계산을 구축하는 것은 매우 어렵기 때문에 이러한 회사는 zkVM, 증명자 네트워크 또는 맞춤형 회로와 같은 스택의 특정 부분을 구축하는 데 집중하며, Nexus는 완전히 다른 관점에서 이 문제에 접근합니다. 안전한 인터넷을 구축하려면 영지식 머신의 설계 및 사용 방식을 재창조해야 합니다. Nexus는 처음부터 새로운 검증 가능한 머신을 구축할 수 있는 재능과 독창성을 갖추고 있으며, zkVM의 각 계층을 최적화하여 가장 빠르고 가장 효율적인 검증 가능한 머신을 구축할 수 있다고 믿습니다.

검증 가능한 컴퓨팅이란 무엇인가요?

현대 사회에서 진실은 검증하기 어렵습니다. 인공 지능, 심층 위조, VPN, 원격 해킹, 피싱으로 인해 컴퓨팅의 진실을 숨기는 것이 그 어느 때보다 쉬워졌습니다. 현재 컴퓨터에서는 CPU가 코드를 실행하고 솔루션을 출력합니다. 넥서스 0.0에서는 코드가 입력되면 솔루션이 출력되고 솔루션이 올바르게 생성되었다는 영지식 증명을 통해 해당 출력이 유효한지 확인할 수 있습니다. 이러한 방식으로 기본 정보에 대해 아무것도 밝히지 않고도 어떤 정보가 참임을 증명할 수 있습니다.

진행 상황 및 이정표

Nexus는 영지식 증명에 대한 수십 년간의 연구를 바탕으로 구축되었으며, 간단히 말해 사용자가 기본 입력에 대한 정보를 공개하지 않고도 계산이 올바르게 수행되었음을 증명할 수 있습니다. 의료 기록, 군사 기밀, 신원 및 검색 활동 등은 모두 과거에 보안을 유지하지 못했던 산업입니다. 검증 가능한 컴퓨팅은 만병통치약이지만 큰 장애물에 직면해 있습니다. 현재 ZK 앱은 속도가 느리고 임의의 연산을 실행할 수 없으며 개발자에게 열악한 환경을 제공합니다.

Nexus 1.0은 임의의 Rust 코드를 증명할 수 있는 머신을 구축하고 혁신과 확장성을 위해 최적화된 기술 스택을 설계합니다. 궁극적인 목표는 인터넷만큼 큰 애플리케이션을 포함해 모든 애플리케이션에 맞게 증명을 확장하는 것입니다.

Nexus 0.0은 1Hz(초당 1 CPU 사이클)로 실행되었으며 2023년 9월에 출시되었습니다.

Nexus 1.0은 모든 Rust 코드를 증명할 수 있는 머신으로 구축되었으며 혁신과 확장성을 위해 최적화된 기술 스택으로 설계되었습니다. 2024년 2월 이더덴버에서 새로운 버전인 Nexus 1.0은 5개월 만에 약 100배 향상된 ~100Hz로 실행되었습니다. 개발팀은 Nexus zkVM의 속도를 기하급수적으로 높일 수 있기를 희망합니다.

이러한 기하급수적인 성장은 영지식 증명 분야의 최신 및 최고의 연구를 사용하기 위해 증명자에서 증명 압축에 이르는 프로세스의 각 부분을 개별적으로 최적화할 수 있는 Nexus 1.0의 모듈식 설계에서 비롯되었습니다. 이를 통해 넥서스는 자사의 기술을 블록체인에 매우 쉽게 적용할 수 있습니다.

암호화 애플리케이션

Nexus의 모듈성은 전체 애플리케이션에 사용하거나 개별 부품을 사용하여 다른 모듈형 애플리케이션을 지원할 수 있다는 것을 의미합니다. 예를 들어 압축 레이어는 여러 개의 큰 증명을 하나의 간결한 증명으로 결합합니다. 이 기술은 연구 논문을 통해 2022년에야 발명된 접기 방식인 Nova를 기반으로 하며, Nexus는 효율적인 재귀와 증명 통합을 가능하게 하는 세계 유일의 프로덕션 등급 접기 구현을 구축합니다. 이 레이어는 독립적으로 다른 zkVM을 지원하기 위해 사용될 수 있습니다.

이 디자인은 또한 현재 블록체인 합의 및 보안 표준과 쉽게 통합됩니다. 예를 들어, NVM 또는 넥서스 VM에서 "사전 컴파일"을 사용하면 개발자가 사용자 지정 명령어로 머신을 확장하여 (이더에서 트랜잭션을 생성하고 검증하는 데 사용되는) Keccak-256과 같은 일반적인 체계를 사전 컴파일할 수 있습니다. 이는 넥서스가 EVM(및 기타 여러) 체인에서 수행된 계산을 통합하고 검증할 수 있음을 의미합니다.

오늘날의 ZK 애플리케이션은 L1에서 증명을 생성하고 검증하는 데 수백만 달러를 소비합니다. 증명, 압축, 컴파일러 노드로 구성된 넥서스 네트워크는 기존 ZK 애플리케이션의 성능을 획기적으로 개선하는 동시에 잠재적으로 수십억 달러에 달하는 기존 ZK 체인 산업에서 엄청난 시장 점유율을 확보할 것입니다.ZK 산업은 빠르게 성장하고 있으며 넥서스는 증명에서 압축까지 전체 기술 스택에 걸쳐 업계 최고의 설계로 시장을 지배하고 있습니다. 증명에서 압축에 이르기까지 전체 기술 스택에 걸쳐 최고의 설계로 시장을 지배하고 있습니다.

주요 팀원

Nexus 팀은 암호화와 컴퓨터 과학 분야에서 최고의 인재들이 모였습니다.

경영팀은 다음과 같습니다:

• Daniel Marin, CEO: 최근 스탠퍼드를 졸업하고 저명한 암호학자 Dan Boneh의 멘토링을 받았습니다.

• Jens Groth, 수석 과학자: 전 DFINITY 연구 책임자, 유니버시티 칼리지 런던 교수, 가장 널리 사용되는 zk-SNARK Groth16의 발명가.

• Alex Fowler , 최고 전략 책임자: 블록스트림의 공동 창립자이자 전 수석 부사장, Mozilla의 최고 개인정보 보호 책임자.

• Don Beaver, 암호화 담당 부사장: 전 점프 크립토의 수석 암호학자이자 메타, 우버, 애플, 구글의 수석 연구원 겸 과학자.

암호화 전문가로 구성된 핵심 팀은 다음과 같습니다.

• 미셸 압달라: 수석 암호화 과학자, 국제 암호 연구 협회(IACR) 회장, 전 프랑스 에콜 노르말 수페리어 교수, DFINITY. 연구원.

• Samuel Judson: 암호화 엔지니어, 예일대학교에서 암호학 박사 학위를 취득하고 루지카 피스카크(Ruzica Piskac)에게 수학했으며 Auth0 보안 엔지니어로 근무했습니다. ZKP, 공식적 방법, AI 분야에서 7편 이상의 논문을 저술했습니다.

• 크리스티안 소스닌: 암호화 엔지니어이자 전 매터 랩스 및 패리티의 러스트 엔지니어.

• Vamsi Policharla: 산잠 가그의 지도 아래 버클리에서 암호학 박사 학위를 받고 있는 암호화 엔지니어로, 버클리 암호화 그룹의 핵심 Rust 엔지니어이며 4편 이상의 ZKP 논문을 저술했습니다.

• 이누오 장: 현재 산잠 가그의 지도 아래 버클리에서 암호학 박사 학위를 취득 중인 암호화 과학자입니다. 그는 이전에 a16z Crypto '23에서 인턴으로 일하며 zkVM을 연구하고 5편 이상의 ZKP 논문을 저술했습니다.

인터넷 규모에서 검증 가능한 계산을 만들 수 있는 팀이 있다면 바로 넥서스의 팀이라고 믿습니다.

판테라와 라이트스피드 벤처 파트너스는 2024년 6월 10일에 Nexus를 위한 2,500만 달러 규모의 시리즈 A 투자 라운드를 공동 주도했다고 발표했습니다.

Nexus 1.0이 공개적으로 출시되었으므로 누구나 몇 줄의 코드만으로 임의의 Rust 프로그램을 증명할 수 있습니다. 여기(https://docs.nexus.xyz/)의 단계를 따라 직접 사용해 보세요.

결론

Nexus는 뛰어난 팀과 뛰어난 기술 설계로 확장 가능하고 검증 가능한 컴퓨팅의 새로운 세계에 도전하고 있습니다. 저희는 넥서스가 안전한 인터넷을 만들기 위한 인류의 노력의 미래에 중요한 발걸음이 될 것이라고 믿습니다. 영지식 증명은 역사적으로 속도가 느리고 일반적이지 않으며 개발자들이 제대로 경험하지 못했습니다.

Nexus는 수십 년에 걸친 혁신과 고도로 병렬화된 모듈식 시스템을 결합하여 이 세 가지 문제를 모두 해결합니다.

넥서스는 효율적인 검증 가능한 컴퓨팅을 위한 최적의 장소가 될 것이며, 앞으로 수조 건의 계산이 안전하고 검증 가능하며 효율적으로 이루어지도록 보장할 것이라고 확신합니다.