ZK 기본 원리? 복잡한 연산을 짧은 증명으로 바꿔 블록체인에 올림 => 빠르고 싸고, 프라이버시도 챙길 수 있음
ZK의 발전 단계
- zkEVM: 이더리움 호환성 중심 (EVM 명령어 증명)
- zkVM: 범용 CPU처럼 어떤 코드든 증명 (RISC-V 기반 RISC Zero 대표)
- zkCoprocessor: 블록체인 밖에서 무거운 연산 돌리고, 증명만 온체인에 올림 (예: Steel)
- zkMarketplace: 전 세계 증명자(Prover)들이 작업 경쟁 => 탈중앙화 컴퓨팅 마켓 (예: Boundless)