증명망은 꼭 필요한 첫 작업을 찾아야 했다
Daniel Marin은 2022년 검증 가능 연산을 중심으로 넥서스를 세웠다. 초기 설계는 범용 zkVM과 CPU·GPU 연산을 모으는 네트워크를 결합했다. 투자자들은 이 넓은 인프라 구상에 자금을 댔다. 넥서스는 2022년 시드 투자에 이어 2024년 6월 10일 2,500만 달러 시리즈 A를 발표했다.
프로젝트는 마침내 금융을 증명 기술의 구체적인 작업으로 골랐다. 2025년 10월 게시된 로드맵의 2026년 1월 갱신본은 증명을 레이어 1과 내장 매칭에 연결했다. 실행은 빠르게 유지하되 별도 네트워크가 그 정당성을 증명하는 구상이었다. zkVM 연구를 버린 것이 아니라 출시 순서를 확인할 수 있는 제품을 붙인 선택이었다.
