개요
영지식 증명(ZKP)은 한쪽 당사자가 명제의 유효성 외에는 어떤 정보도 공개하지 않고 그 명제가 참임을 증명할 수 있게 하는 암호화 방법입니다. Web3에서 ZKP는 계산 압축, 롤업 배치 검증, 프라이버시 보호에 사용됩니다. 현대 블록체인 스택에서 가장 영향력 있는 암호화 프리미티브 중 하나입니다.
작동 방식
증명자는 "이 1만 건의 거래를 올바르게 실행했다" 같은 계산에 대한 증명을 생성하고, 검증자는 계산을 다시 실행하는 시간의 일부로 증명을 확인합니다. 증명은 간결하며 설계되지 않는 한 기반 입력을 공개하지 않습니다. 일반적인 방식에는 증명이 작고 검증이 빠른 SNARK와, 투명하고 양자 내성이지만 더 큰 STARK가 있습니다.
중요성
ZKP는 ZK 롤업이 이더리움을 확장하고, 공개 원장에서 프라이빗 거래를 가능하게 하며, 최소 정보만 공개하는 신원 시스템을 구축할 수 있게 합니다. 비용은 증명 생성에 필요한 무거운 계산이지만 하드웨어와 알고리즘 개선으로 줄어들고 있습니다. 2026년 현재 ZKP는 연구에서 프로덕션 인프라로 이동하고 있습니다.
관련 개념
ZKP는 ZK 롤업과 유효성 증명을 구동하며 프라이버시와 신원에 적용되고 있습니다. 구성을 뒷받침하는 해시 함수와 커밋 방식과 관련됩니다.