faq
PLONK 증명 시스템 실무 FAQ: 커밋먼트 검증·음악祭 최적화·Permutation Argument 디버깅
핵심 요약
PLONK은 보편적 업데이트 가능한 세팅을 제공하지만 증명 크기가 크고 퀀텀 저항성은 STARK보다 낮아 현재 롤업에서 주로 사용된다.
PLONK과 Groth16의 핵심 차이
- **트러스트드 세팅**: Groth16은 회로마다 별도 세팅이 필요하고, PLONK은 보편적·업데이트 가능한 파라미터 하나를 공유한다. - **증명 크기**: Groth16은 288바이트 수준, PLONK은 평균 2.7KB(10~100배 larger)로 larger하지만 여전히 온체인 검증에 충분히 빠름. - **검증 시간**: 양 모두 5ms 이하에서 검증이 가능하며, 실시간 서비스에 적합하다.
보편적 트러스트드 세팅과 업데이트 가능성
PLONK의 세팅은 초기 랜덤 값 s와 그 제곱들을 공개한 후, 검증키를 이용해 파라미터를 업데이트한다.これにより 새로운 회로나 확장된degree에 대해 추가 세팅 없이도 활용할 수 있다. 이 특성은 다양한 애플리케이션을 하나의 세팅으로 지원하는 유연성을 제공한다.
STARK와 PLONK 선택 가이드
- **보안 요구**: 퀀텀 저항성이 필수이면 STARK를, 일반적인 온체인 환경에서는 PLONK이 채택된다. - **성능 트레이드오프**: PLONK은 증명 크기가 크고 검증 비용이 다소 높아지만, 검증 속도와 가스 비용 면에서 현재 레이어2·롤업에 최적화되어 있다. - **생태계 지원**: Starknet 등 post‑quantum 프로젝트에서는 STARK를, 대부분의 Rollup 프로젝트에서는 PLONK 기반의 zk‑Rollup이 사용된다.