영지식증명(ZKP)으로 만드는 익명·검증 가능한 온라인 투표의 원리

 

---

 

 

ZKP로 구현하는 기본 구조

ZKP(영지식증명)를 활용한 설문·투표 시스템은 신원을 드러내지 않고도

“유효한 참여자가 정확히 한 번만 응답했다”는 사실을 증명하는 구조를 갖는다.

 

전형적으로 유권자(참여자) 집합을 머클 트리로 표현하고,

각 참여자는 자신이 명부에 포함되었다는 사실을 영지식으로 증명한다.

 

이때 동일인이 중복 응답하지 못하도록 nullifier(외부 nullifier와 결합된 해시 기반 식별자)를 함께 사용한다.

 

회로(circuit)는 개인 입력(비밀키, 머클 경로 등)을 숨긴 채 공개 입력(머클 루트, nullifier, 설문 ID 등)만으로 증명을 만들고,

검증자는 이 증명만 보고 유효성(자격 보유, 중복 없음)을 확인한다.

 

아래 회로 다이어그램은 이러한 구조를 보여준다.

(회색이 개인 입력, 흰색이 공개 입력)

 

---

 

 

머클 증명과 nullifier를 통한 1인 1응답

참여자는 자신의 비밀정보로부터 머클 증명을 생성해 “명부상 유효 구성원”임을 증명하고,

동시에 설문(혹은 투표) ID와 비밀값으로 계산된 nullifier를 제출한다.

 

시스템은 이미 사용된 nullifier를 거부함으로써 같은 사람이 동일 설문에서 두 번 응답하는 것을 차단한다.

 

신원과 nullifier는 수학적으로 연결되지 않도록 설계되어 있어 익명성을 유지한다.

 

---

 

 

응답 내용의 유효성 검증

 

ZKP 회로는 “응답이 허용된 형식 안에서만 이루어졌는지”를 함께 증명할 수 있다.

 

예를 들어 객관식 문항이면 미리 정의된 후보 중 정확히 하나(또는 규칙에 맞는 개수)만 선택되었음을 증명하고,

그 외 정보는 드러내지 않는다.

 

이로써 개별 응답의 비밀은 유지되면서 집계의 정확성은 공개적으로 검증 가능해진다.

 

결과적으로 누구나 응답 집계 결과가 규칙에 맞게 산출되었음을 수학적으로 확인할 수 있어 신뢰성이 크게 높아진다.

 

---

 

 

동시에 달성되는 세 가지 가치

 

요약하면 ZKP 기반 설문·투표는

 

1) 무결성(권한 있는 참여자가 정확히 한 번만 응답)

2) 익명성(누가 어떤 응답을 했는지 연결 불가)

3) 검증 가능성(집계의 정확성을 제3자가 독립적으로 확인)을 동시에 제공한다.

 

중앙 서버나 운영자 신뢰에 의존하지 않고 “믿지 않아도 검증할 수 있는” 구조라는 점이 핵심이다.

 

---

 

 

기존 기술과의 비교

동형암호(HE/FHE) 기반 방식 대비

동형암호는 응답 내용을 끝까지 암호화한 채 합계만 계산하는 데 유리하지만,
복잡한 투표 규칙 지원이나 개별 응답의 규칙 준수 검증, 대규모 환경에서의 연산 비용 측면에서 제약이 크다.
ZKP는 개별 응답 시점에 규칙 준수 증명을 생성하고, 온체인·오프체인 조합으로 확장성을 확보할 수 있어
E2E(종단간) 검증을 강화하기 쉽다.

신원인증(Web2 중앙화) 방식 대비

로그인·본인인증으로 1인 1응답을 강제하는 전통적 방식은 운영자가 신원과 응답을 모두 알 수 있어
프라이버시 리스크가 크고, 내부 조작을 배제하려면 운영자에 대한 신뢰가 전제된다.
ZKP 기반에선 신원은 증명에만 쓰이고 남지 않으며,
응답 내용도 운영자가 해독할 수 없게 설계해 개인정보 노출과 내부자 리스크를 최소화한다.

믹스넷·프록시 기반 익명화 대비

믹스넷 등은 메시지 경로를 섞어 추적을 어렵게 하지만 “한 사람당 한 번”을 강제하지 못한다.
ZKP 설계는 머클 멤버십과 nullifier로 중복을 수학적으로 차단해,
네트워크 라우팅 없이도 익명성과 중복 방지를 동시에 달성한다.

 

 

---

출처

• Semaphore Technical Reference – Circuits (nullifier, external nullifier, 머클 증명)
• Semaphore Proposal (ZKProof Workshop, nullifier로 중복 신호 방지 개념)
• MACI Docs – Introduction (프라이버시·반담합, 영수증 방지 개념)
• MACI Technical Report PDF (머클·state leaf, zk-SNARK 적용 개요)
• Helios: Web-based Open-Audit Voting (E2E 검증 관점의 고전 레퍼런스)
• Vocdoni Blog: Anonymous voting with zk-SNARKs (ballot obfuscation vs voter anonymity 비교 논의)
• Zama Blog: Suffragium—Encrypted Onchain Voting using ZK and FHE (ZK와 FHE 결합 관점

---

같은 소재 - 다른 주제

 

윤석열 대통령도 관심을 갖고 도입하려 했던 전자투표 시스템

윤석열 대통령도 관심을 갖고 도입하려 했던 전자투표 시스템

 

해외 전자투표 아키텍처 비교: MACI부터 Vocdoni, Zama까지

해외 전자투표 아키텍처 비교: MACI부터 Vocdoni, Zama까지

 

ZKP 전자투표와 개인정보보호법: 한국과 세계의 규제 동향

ZKP 전자투표와 개인정보보호법: 한국과 세계의 규제 동향

 

---

본 블로거는 포스팅으로 인한 어떠한 부가적 수익창출도 수행하지 않습니다.
여기에는 블로그 수익화를 위한 애드센스 삽입, 광고성 게시물 업로드 등이 포함됩니다.

본 블로그는 모든 지식 정보의 자유로운 공유를 지향합니다.
방문자 분들께서 본문의 콘텐츠를 필요에 따라 copy&paste, 캡쳐, 인쇄할 때
최대한 깔끔한 형태로 출력될 수 있도록 포스팅하였습니다.

 

근래 유행하는 ‘AI 자동화를 통한 블로그 수익화’를 절대적으로 지양하며
항상 양질의 콘텐츠를 공유드리고자 노력을 가하지만,
설령 그렇다 하더라도 콘텐츠의 참조 및 재사용 중에 발생하는
검수의 책임은 모두 방문자 측에 있음을 간곡히 당부드립니다.