pillar
/pillar/zk-proof-systems-comprehensive-guide
핵심 요약
제로 지식 증명(ZK-Proof) 시스템은 한 당사자가 다른 당사자에게 특정 진술의 진실성을 노출하지 않고도 증명할 수 있는 암호학적 프로토콜입니다. 이 시스템은 상호작용형 및 비정보형 유형으로 나뉘며,zk-SNARK, zk-STARK 등이 주요 구현 방식입니다. 개인정보 보호 보호, 블록체인 확장성, 인증 시스템 등 다양한 분야에서 활용되며, 보안성과 효율성의 균형이 핵심 설계 원칙입니다.
이 글의 핵심 주장과 근거
핵심 주장
필드: claim_text
원문:
배치 검증 기술은 16건 이상의 트랜잭션을 그룹으로 처리하여 ZK-STARK 증명을 처리할 때 증명당 가스 비용을 최대 35%까지 절감하며, 이는 SNARKs 대비 발생하는 92%의 고유한 가스 오버헤드를 상쇄합니다.
핵심 주장
필드: claim_text
원문:
범용 하드웨어에서 Bulletproofs의 검증 지연 시간은 평균 850ms로, PLONK의 중앙값인 240ms와 비교했을 때 신뢰 설정(trusted setup) 요구 사항을 제거하기 위해 약 254%의 성능 손실이 발생합니다.
핵심 주장
필드: claim_text
원문:
PLONK의 범용 신뢰 설정(universal trusted setup)은 단 한 번의 세리머니를 통해 여러 애플리케이션에서 회로를 재사용함으로써, 개별 회로 기반 SNARK 설정 대비 배포 비용을 67% 절감하며, 이는 10,000명 이상의 기여자 중 단 한 명만 정직해도 안전하게 작동합니다.
ZK-STARK verification consumes an average of 385,000 gas units per proof on Ethereum mainnet, representing a 92% increase over ZK-SNARK's median consumption of 200,000 gas.
ZK-STARK proofs average 45-60KB for 128-bit security levels, which is approximately 2.3× larger than ZK-SNARK's compressed 192-288 bit proof sizes using elliptic curve pairings.