기본적으로 zkVM에서 기술적 특장점으로 볼 수 있는 요소를 기반으로 테이블을 제공하고 있습니다.
- ISA: 명령어 집합 아키텍쳐. 기본적인 베이스 언어라고 보면되고 RISC-V가 가장 많이 사용되고 있습니다.
- Continuations: 위 포스팅에도 설명한 나눠서 개별적/재귀적 증명 방법입니다.
- Precompiles: 말그대로 사전컴파일인데 속도/오버헤드 효율성입니다.
- GPU Support: GPU에서 검증가능 여부입니다. GPU가 된다면 더 빠르게 할 수 있죠.
- Proving Frontend: 이걸 사용하기 위해 쓰는 언어입니다. 이걸로 쓰면 사용하는 ISA에 따라 컴파일해줍니다.
이것만 봐도 Succinct, RiscZero가 왜 top이라고 하는지 알 수 있습니다. (* Eigen zkvm은 Eigenlayer와 별개의 팀입니다.)
https://github.com/rkdud007/awesome-zkvm