자 그럼 이제
RiscZero (Boundless), Succinct,Nexus zkVM 의 공통점과 차이점을 정리하면,

세 프로젝트의 공통점은

0/ 모두 zkVM 기반의 프로젝트로,
오프체인에서 계산을 수행하고, 계산이 올바르게 수행되었음을 증명하는 zk-proof를 Prover가 생성하여 온체인에 제출하는 구조임.

1/ 이걸 통해서 셋 다 블록체인의 확장성 문제, 데이터 프라이버시, 노드 간 신뢰 최소화를 해결하는 것을 주요 목표로 함.

하지만 차이가 있는데 적용범위와 전략 측면에서 차이가 있음

2/ RiscZero (Boundless)는
→ 범용 zk 컴퓨팅 레이어를 지향함.
즉, 모든 체인에 붙일 수 있는 zk Coprocessor를 만들고 있음.
→ 어떤 체인이든 Boundless Verifier를 배포하면, 해당 체인을 세틀먼트로 쓸 수 있기 때문에, 체인들에 대해서 중립적이고 확장성이 굉장히 높음

3/ Succinct (SP1)는
→ zkRollup, zkBridge 같은 구체적인 구조 구현에 특화되었고, EVM 체인 기반 롤업을 빠르게 ZK 기반으로 전환하는 툴킷을 제공함.
→ 여러 체인의 인프라 계층에서 활용됨 (ex. Celestia, Polygon AggLayer 등)

4/ Nexus zkVM은
→ 아예 자체 L1 체인을 세틀먼트 레이어로 쓰고 zkVM을 통합한 "월드 슈퍼컴퓨터형 블록체인"을 지향하고 Nexus 체인 위에서 모든 연산을 증명 기반으로 처리함.
→ zkVM을 체인 구조 자체에 내장함으로써, AI 연산, 고속 대규모 데이터 처리 같은 분야까지 확장 중