최근 zk 메타가 오면서 시장에서 zk 이야기가 활발해졌지만, zkSync 같은 zkEVM 프로젝트는 상대적으로 덜 주목받고 있습니다. zkEVM은 어디까지나 Ethereum 전용 L2에 가까운 기술이기 때문입니다.
반면 zkVM은 더 큰 개념입니다. 단순히 Ethereum 트랜잭션뿐 아니라 AI 연산, 암호 연산, 게임 로직까지 범용 연산을 증명할 수 있는 컴퓨터라 할 수 있습니다.
최근 리서치에서는 RISC Zero가 가장 균형 잡힌 성능을 보여주었습니다. 일부 작업에서는 SP1이나 OpenVM이 더 빠르기도 했지만, 속도/메모리/Proof 크기 전반에서 가장 일관된 결과를 냈습니다.
여기에 Boundless가 결합합니다. 단순 인프라 제공이 아니라 연산을 금융화하는 시장을 만들고, 프로버는 $ZKC 를 스테이킹해 작업을 맡으며 잘못된 증명 시 슬래싱을 당하는 구조입니다. 아직 Mainnet Beta 단계지만, 이미 실제 네트워크에서 운영되며 확장을 이어가고 있습니다.
zkEVM이 Ethereum 확장에 머문다면, zkVM은 더 넓은 연산 증명 시장을 겨냥합니다. 그래서 저는 RISC Zero와 Boundless의 조합이 zk 인프라 내러티브 속에서 가장 현실적이고 주목할 만한 돌파구라고 생각해봅니다.
https://x.com/havelaw11/status/1959864481485599109