Paperis 아티클
비밀투표는 원래 '확인을 불가능하게 만들기 위해' 도입된 기술이었다. 내 표를 남에게 증명할 수 있으면 매표범과 강요자에게도 증명할 수 있기 때문이다. 검증가능성과 비밀투표가 정면으로 충돌하는 자리에서, 블록체인이 왜 투표의 어려운 부분을 하나도 풀지 못하는지 — 그리고 소프트웨어 독립성·종이·위험한도감사가 실제로 무엇을 성취했는지.
이 글은 AI가 연구 논문을 바탕으로 작성한 교육·정보 제공용 콘텐츠이며, 전문가의 조언을 대체하지 않습니다. 오류를 발견하셨나요? 알려주세요
© 2026 네오쿤스(Paperis) · 링크 공유는 환영합니다. 전문 전재·재배포는 사전 허가가 필요합니다.
1880~90년대에 미국의 거의 모든 주가 한 가지 투표 방식을 도입했다. 관에서 인쇄한 동일한 용지를, 커튼 뒤에서, 아무도 보지 못하게 표기하는 방식이다. '호주식 투표용지'라 불린 이 개혁의 목적은 분명했다. 매표와 정당 조직의 강요를 끊는 것이었다 (DOI: 10.36646/mjlr.36.3.absentee). 서유럽과 미국 각 주의 19~20세기 투표 개혁을 사건사로 분석한 연구는 같은 그림을 더 넓게 그린다. 소득 증가·도시화·교육 수준 상승이 표 시장을 잠식했고, 그 흐름 위에서 공개투표가 비밀투표로 바뀌었다는 것이다 (DOI: 10.1177/0010414016628268).
여기서 잠깐 멈추자. 비밀투표는 확인을 불가능하게 만들기 위해 도입된 기술이다. 표를 산 사람이 자기가 산 것을 확인할 수 없게, 협박한 사람이 협박이 통했는지 알 수 없게. 민주주의의 가장 오래된 보안 장치 중 하나는 '검증 불가능성'이었다.
그런데 오늘 우리는 정반대를 요구한다. 내 표가 던진 대로 기록됐는지, 기록된 대로 세어졌는지 확인하게 해 달라. 그리고 그 요구에 가장 자주 붙는 대답이 있다. "블록체인에 올리면 아무도 못 고치지 않나."
이 글은 컴퓨터과학계가 왜 그 대답에 정면으로 반대하는지를 다룬다. 이유는 하나가 아니고, 가장 중요한 이유는 블록체인과 거의 상관이 없다.
미리 두 가지를 못 박아 둔다.
첫째, "취약점이 존재한다"와 "부정이 있었다"는 완전히 다른 문장이다. 이 글에 나오는 것은 전부 연구자들이 학술 문헌에 보고한 시스템의 기술적 취약점이다. 연구자가 취약점을 찾아 공개하는 행위는 그 선거가 조작됐다는 뜻이 아니다. 오히려 대부분은 그 반대에 가깝다 — 아래 사례 여럿은 연구자가 해당 기관·업체에 책임 있게 공개하고 완화책이 함께 배포된 건들이다. 이 글은 어떤 특정 선거의 결과가 조작됐거나 의심스럽다는 함의를 만들지 않는다.
둘째, 이 구분이 무너질 때 실제로 측정되는 해악이 있다. 2024년 선거 기간에 수행된 사전등록 2파 서베이 실험은, 사이버 공격에 대한 언론 보도가 선거 무결성 인식을 유의하게 훼손했고 그 효과가 정파를 가로질렀다고 보고한다. 심지어 선거와 무관한 사이버 공격조차 투표 시스템에 대한 신뢰를 떨어뜨렸다. 사람들이 디지털 불안을 일반화한다는 뜻이다 (DOI: 10.1007/s11109-026-10147-6).
그래서 이 글은 설계에 대해서만 말한다. 특정 국가의 선거 결과나 정당·정치인은 등장하지 않는다.
통념에는 근거가 있다. 블록체인은 불변성·투명성·익명성·탈중앙이라는 성질로 정리되고, 이 성질들을 전자투표의 보안 요구사항에 하나씩 대응시키려는 시도가 꾸준히 이어져 왔다 (arXiv:2208.01277, 프리프린트). 제안은 실제로 쏟아진다. 최근에는 인터넷 투표 프로토콜 17종을 신뢰 모델·보안 성질·기술 복잡도·실사용성으로 채점하는 성숙도 프레임워크가 제안됐는데, 그런 것이 필요해진 이유 자체가 표준화된 기준과 통일된 정의가 없어 비교가 불가능하다는 데 있었다 (DOI: 10.1145/3797872).
그런데 이 분야의 대표적 응답 하나는 제목이 곧 결론이다. Journal of Cybersecurity에 실린 「나쁜 것에서 더 나쁜 것으로: 인터넷 투표에서 블록체인 투표로」다 (DOI: 10.1093/cybsec/tyaa025). 이 논문은 "인터넷으로 투표하면" 또는 "블록체인으로 투표하면" 선거 보안이 향상된다는 주장들을 검토하고 근거가 부족하며 오도의 소지가 있다고 판정한다. 요지는 넷이다.
저자들의 최종 판단은 인터넷·블록체인 투표가 탐지되지 않는 국가 규모의 선거 실패 위험을 크게 높인다는 것이다.
왜 그렇게까지 말하는가. 두 개의 반전이 있고, 둘 다 원장의 성질과는 거의 무관하다.
전자투표에는 서로 밀어내는 두 성질이 동시에 필요하다. 비밀투표(ballot secrecy)와 검증가능성(verifiability)이다. 이 분야의 최근 입문 논문은 그 긴장을 한 문장으로 요약한다. 완전한 블랙박스인 선거 방식은 비밀은 지키지만 결과 검증이 불가능하고, 그렇다고 다 열어 보이면 비밀이 없다. 현대 암호학의 표준 도구로 이 둘 사이에서 균형을 잡는 것이 이 분야의 과제다 (arXiv:2602.12398, 프리프린트).
여기서 이 시리즈의 앞 이야기가 되돌아온다. 「영지식 증명」 편은 "정보를 공개하지 않고도 참임을 증명하는" 도구를 다뤘다. 자연스러운 기대는 그 도구가 여기서도 답이 되리라는 것이다. 그런데 투표에서는 그것으로도 부족하다.
영지식 증명은 상대에게 무언가를 증명하게 해 준다. 투표에서 필요한 것은 그보다 한 단계 더 강하다 — 유권자는 자기 표가 제대로 반영됐음을 스스로는 확인할 수 있어야 하지만, 그것을 다른 누구에게도 증명할 수 없어야 한다. 증명할 수 있는 순간, 매표범과 강요자에게도 증명할 수 있기 때문이다. 이 성질에는 이름이 있다. 영수증 없음(receipt-freeness)과 강요 저항(coercion resistance)이다.
이 긴장을 정면으로 이름 붙인 최근 연구가 있다. 유권자는 자기 표가 포함됐는지 확인할 수 있어야 하지만, 그 확인 정보가 제3자에게 제시 가능한 증거가 되는 순간 선거 후 협박의 근거가 된다. 저자들은 이것을 "검증 역설(verification paradox)"이라 부르며, 기존 연구가 성능 평가나 데이터 분리에 집중했을 뿐 이 구조적 긴장을 정면으로 다루지 않았다고 지적한다 (DOI: 10.3390/app16146953).
비밀투표의 역사가 증언한다.
비밀투표 아래에서 매표는 왜 사라지지 않았나. 유력한 답 하나는 질문을 바꾼다. 정당이 사는 것은 표가 아니라 투표 행위 자체라는 것이다. 비밀투표 아래에서 확인 가능한 것은 그 사람이 투표소에 갔는지뿐이므로, 잠자는 지지자에게 보상을 주고 투표하게 만드는 전략이 성립한다. 학자들이 매표라고 해석해 온 상당 부분이 실은 '투표율 매수'일 수 있다는 것이 이 연구의 주장이다 (DOI: 10.1017/s0003055408080106).
더 얄궂은 모형도 있다. 기권을 사는 '음의 매표'를 다룬 연구는, 공개투표에서는 그것이 가능하지만 결코 최적이 아닌 반면 비밀투표 아래에서는 양의 매표와 음의 매표의 조합이 최적이 된다고 계산한다. 미지근한 지지자에게는 투표소에 나오라고 돈을 주고, 미지근한 반대자에게는 집에 있으라고 돈을 준다. 결론이 역설적이다 — 비밀투표의 도입이 자기 선호에 반해 행동하는 유권자의 비율을 늘릴 수 있고, 선거를 사는 비용을 낮출 수도 있다 (DOI: 10.2139/ssrn.1706490, SSRN 게재·동료심사 여부 미확인).
그리고 비밀은 기술만의 문제가 아니다. 멕시코에서 수행된 서베이 실험은 후보로부터 물질적 재화를 받는 것만으로 투표 비밀에 대한 유권자의 확신이 줄어든다는 것을 보였다. 저자들은 매표를 신호 게임으로 모형화한다. 유권자는 정치인이 자기 행동을 감시할 능력이 있는지 사전에 모르는데, 정치인의 행동 자체가 그 능력에 대한 정보를 준다. 실험실 실험이 이 함의를 뒷받침한다 (DOI: 10.1017/psrm.2024.54). 시스템이 비밀을 지켜도, 유권자가 지켜진다고 믿지 않으면 강요는 작동한다.
즉 검증가능성을 잘못 설계하면 우리는 1880년대가 없앤 시장을 되살린다. 그리고 우리가 지금 논하는 것은 대부분 투표소 밖에서 벌어지는 확인이다. 부재자 투표와 비밀투표의 긴장을 다룬 법학 논문의 표현대로, 커튼을 치지 않고 던진 표는 잠재적으로 강요·매표·부정에 노출된다 (DOI: 10.36646/mjlr.36.3.absentee).
이 어려움이 얼마나 미묘한지 보여 주는 사례가 하나 더 있다. 재외국민 우편투표를 도입하면서 투표 비밀을 지키려고 증인 요건을 둔 나라가 있었다. 그 나라 재외국민 31명의 경험을 분석한 연구의 결론은 뜻밖이다. 유권자들은 실제로는 비밀을 잘 지켰지만 그 사실을 증인에게 설득력 있게 보여 주지는 못했고, 정작 증인 요건은 '2차적 비밀', 즉 자신이 투표했다는 사실 자체의 비밀을 깨는 방향으로만 작동했다 (DOI: 10.3389/fpos.2021.630001). 비밀을 지키려고 넣은 장치가 다른 층위의 비밀을 깬다 — 이 패턴은 아래에서 다시 나온다.
두 번째 반전은 더 단순하다. 장부의 무결성은 애초에 병목이 아니었다.
선거에서 실제로 어려운 것은 셋이다. 누가 투표할 자격이 있는지 원격으로 확인하는 일, 유권자가 쥔 기기가 정직한지 확인하는 일, 그리고 소프트웨어를 믿지 않고도 결과를 확인할 수 있게 만드는 일이다. 원장을 분산해도 이 셋은 그대로 남는다.
세 번째에는 정확한 이름이 있다. 소프트웨어 독립성(software independence)이다. 정의는 이렇다 — "투표 시스템은, 그 소프트웨어의 (탐지되지 않은) 변경이나 오류가 선거 결과의 탐지되지 않는 변경이나 오류를 야기할 수 없을 때 소프트웨어 독립적이다." 광학 스캔 방식과 일부 암호 기반 시스템이 여기 해당한다. 이 논문은 소프트웨어 독립적인 시스템을 선호하고 소프트웨어 의존적인 시스템은 피해야 한다고 제안하며, 미국 투표 시스템 인증 지침 개발을 위해 작성됐다 (DOI: 10.1098/rsta.2008.0149).
블록체인은 이 성질을 주지 않는다. 내 스마트폰의 투표 앱이 내 의사와 다른 표를 만들어 서명해 올리면, 그 표는 정직하게 불변 원장에 기록된다. 원장은 "누가 무엇을 올렸는가"를 지키지, "올라간 것이 그 사람의 의사였는가"를 지키지 않는다.
산업 현황을 보면 문제가 더 선명하다. 시장을 체계적으로 조사하고 학술 문헌을 함께 검토한 한 박사 논문은 대부분의 산업용 인터넷 투표 시스템이 사실상 블랙박스이며 유의미한 검증가능성을 전혀 제공하지 않는다고 기록한다. 다만 같은 조사에서 최신 기법을 실제로 구현한 시스템도 몇 개 발견됐다는 점을 저자는 함께 적는다 — 못 하는 게 아니라 안 하는 쪽에 가깝다는 뜻이다. 그 대응으로 저자는 후보 이름 대신 아주 짧은 코드(보통 한두 자리)를 입력하게 하는 코드 투표 방식을 제안한다. 유권자 본인의 기기가 이미 장악된 상황에서도 비밀리에 투표할 수 있게 하려는 것이다 (DOI: 10.70675/a5792297ze7fez462dz87c0ze0025ac20a95).
같은 목표가 다른 설계에도 박혀 있다. 분산 E2E 검증 투표 시스템 D-DEMOS 계열이 자기 성취로 내세우는 문장이 정확히 그것이다 — 유권자가 자신의 웹 클라이언트 스택이 안전하지 않을 수 있는 상황에서도 프라이버시를 잃지 않고 웹으로 투표할 수 있으며, 자기 표가 던진 대로 기록됐음을 확신할 수 있다는 것 (arXiv:1608.00849, 프리프린트).
첫 번째 어려움, 즉 원격 유권자 인증은 어떤가. 전시라는 극단적 조건에서 인터넷 투표 도입을 검토한 논문은 주요 위협 목록에 원격 유권자 식별 문제를 명시한다. 인프라의 사이버 취약성, 외부 개입, 투표 비밀 침해, 결과 정당성 훼손과 나란히 놓인다 (DOI: 10.31861/mediaforum.2026.18.98-119). 이 중 어느 것도 원장의 자료구조로 풀리는 문제가 아니다.
블록체인 비전 자체에 대한 정치적 비판도 있다. 중개자를 없앤다는 약속이 실제 응용에서는 권력을 해소하지 않고 민주적 정당성이 없고 통제되지 않거나 통제할 수조차 없는 새로운 권력 중심으로 옮길 뿐이라는 주장이다 (arXiv:2405.06097, 프리프린트). 강한 논평이고 동료심사를 거치지 않은 문헌이지만, 「블록체인은 정말 탈중앙인가」 편에서 본 권력 재집중의 실증과 방향이 같다.
이 주제에서 가장 덜 알려진 대목이 여기다. 프로토콜이 형식적으로 증명된 뒤에도, 비밀은 프로토콜 바깥에서 샌다.
온라인 투표 시스템은 대개 제출 직전에 선택을 확인하는 화면을 보여 준다. 한 연구는 이 화면이 프라이버시에 무슨 짓을 하는지 물었다. 정확히는, 네트워크를 관찰하는 사람이 주고받은 데이터의 '길이'만으로 유권자의 선택을 알아낼 수 있는가.
한 상용 구현을 상세히 분석한 결과, 동적 페이지 내용과 gzip 압축 때문에 데이터 길이가 무작위로 변동하는데도 어떤 경우에는 정확도 100%로 유권자의 선택을 맞힐 수 있었다. 더 복잡한 투표용지에서도 일반적으로 일부 후보 조합은 배제할 수 있었다. 저자들은 업체와 조율해 취약점을 공개하고 완화책을 함께 배포했다. 그리고 논문은 씁쓸한 한마디를 덧붙인다 — 이 발견(과 그에 따른 수정)이 가능했던 것은 그 업체가 공개 데모를 제공했기 때문이고, 그것은 업계에서 드문 일이다 (DOI: 10.1007/978-3-031-15911-4_3).
이 사례가 이 시리즈의 논지를 가장 정확히 보여 준다.
에스토니아의 인터넷 투표는 강요에 대한 법정 안전장치로 재투표를 둔다. 사전투표 기간 동안 전자 투표를 여러 번 던질 수 있고 마지막 것만 세며, 몇 번 던졌는지는 비밀로 남아야 한다. 강요자 앞에서 시키는 대로 던지고 나중에 혼자 다시 던지면 되니까. 우아한 설계다.
그런데 그 나라의 인터넷 투표는 국가가 발급한 전자신분(eID) 기반구조 위에서 유권자를 인증한다. 그리고 현행 eID 감사 관행상, 모든 서명 트랜잭션이 — 각각의 투표를 포함해 — 되돌릴 수 없게 기록되고 본인에게 표시된다. 이 로그는 유권자가 투표 시스템과 상호작용한 정확한 횟수와 시각을 드러낸다. 재투표의 비밀이 깨지고, 강요자는 피해자가 선택을 바꿨는지 탐지할 수 있다.
이 논문은 위협 모형을 제시하고 영구 로그 필터링·전용 투표 자격증명·오프라인 서명 같은 구체적 대안을 보안·사용성·규제 준수·시스템 복잡도 측면에서 비교한다. 발견된 취약점은 관계 당국에 책임 있게 공개됐다. 저자들이 뽑은 교훈이 이 글의 핵심이기도 하다 — 선의로 잘 만든 부품들이 서로 만나 메타데이터 부채널을 통해 강요 저항을 깨뜨릴 수 있으며, 선거 시스템이 외부 디지털 기반구조에 의존할 때는 조합을 고려한 위험 평가가 반드시 필요하다 (DOI: 10.1007/978-3-032-05036-6_12).
암호는 하나도 깨지지 않았다. 깨진 것은 두 시스템의 경계다.
강요를 막으려면 투표 단계에서 익명 채널이 필요하고, 보통 Tor 같은 저지연 익명 네트워크가 쓰인다. 그런데 그 위에서도 공격자가 참가자가 투표를 했는지 여부를 감시할 수 있는 공격이 고안됐고, 시뮬레이션으로 성공률이 측정됐다 (arXiv:1702.02816, 프리프린트). 무엇을 찍었는지 몰라도 던졌는지 여부만으로 강요는 성립한다. 기권 강요가 그렇다.
노르웨이가 2011년 지방선거와 2013년 총선에서 쓴 프로토콜은 확인 코드를 사전 채널(우편)과 사후 채널(SMS)로 나눠 보낸다. 이를 재검토한 논문은 두 가지를 지적한다. 첫째, 투표함과 영수증 생성기가 담합하면 복호화 서비스의 개인키를 얻을 수 있어 투표 프라이버시가 깨진다. 둘째, SMS 코드와 우편 코드를 둘 다 보관한 유권자는 선거가 끝난 뒤에도 자기 표를 드러낼 수 있다. 저자들은 재투표가 강요나 은폐에 꽤 좋은 해법이지만 의도적인 자발적 공개는 여전히 문제로 남는다고 정리하고, SMS는 제출 알림 용도로만 쓰자고 제안한다 (DOI: 10.1002/sec.1678).
여기서 한 가지를 분명히 하자. 유권자가 자발적으로 자기 표를 증명하고 싶어 하는 경우는 시스템 결함이 아니라 시스템 설계의 목표 그 자체와 충돌한다. 영수증 없음이란 유권자가 원해도 증명할 수 없어야 한다는 뜻이다. 직관에 반하지만, 그렇지 않으면 "증명해 보여라"라는 요구를 거절할 근거가 사라진다.
종이 쪽도 마법이 아니다. 투표 기계와 투표함에 쓰이는 변조 감지 봉인을 한 주(州)의 사례로 검토한 연구는, 봉인이 통상 만들어지고 쓰이는 방식 때문에 대개 쉽게 무력화될 수 있으며 봉인의 효과는 적용·검사 프로토콜에 달려 있다고 결론짓는다 (DOI: 10.1145/2019599.2019603).
다시 짚는다. 이것은 절차와 장비의 취약성에 대한 학술적 보고이고, 어떤 선거의 결과가 실제로 바뀌었다는 주장이 아니다. 그리고 이런 보고가 존재한다는 사실 자체가 그 분야가 자기 점검을 하고 있다는 증거다.
2022년 프랑스 대통령 선거를 앞두고 치러진 정당 예비경선 다섯 중 셋에 쓰인 온라인 투표 시스템에 대한 최초의 보안·프라이버시 분석은, 프랑스 정부 기관이 설정한 투명성·검증가능성·보안 요구가 충족되지 않았음을 보이고 유권자 프라이버시 침해와 집계 조작을 겨냥한 복수의 공격을 제시한다. 나아가 검증 시스템의 불일치가 잘못된 집계 결과의 공표를 허용하며, 실제로 한 예비경선에서 그런 일이 있었음을 문서화한다 (DOI: 10.1007/978-3-031-15911-4_1). 국가 선거가 아니라 정당 내부 경선이라는 점을 다시 분명히 해 둔다.
이 분야에서 같은 실수가 반복된다는 지적도 오래됐다. 전자투표를 국제적 관점에서 관찰한 2008년의 한 분석은, 전자 기록 방식 투표기가 등장했을 때 취한 접근이 종이 감사 기록을 붙인 투표기에서도 그대로 되풀이됐다고 적는다 (arXiv:0804.3237, 프리프린트).
비판만 하고 끝나면 이 글은 반쪽이다. 이 분야가 실제로 성취한 것이 있다.
순서가 중요하다. 먼저 소프트웨어를 믿지 않아도 되는 물리적 기록을 남긴다. 그다음 그 기록을 통계적으로 검사한다.
두 번째 단계의 이름이 위험한도감사(risk-limiting audit, RLA)다. 정의를 정확히 옮기면 이렇다 — 종이 표를 전부 손으로 세었을 때 보고된 선거 결과가 틀렸다고 나올 경우, RLA는 전수 수개표로 이어질 알려진 최소 확률을 갖는다 (arXiv:1809.04235, 프리프린트). 뒤집어 말하면, 결과가 옳을 때는 전수 재검표보다 훨씬 적은 수의 표만 손으로 검사하고 끝난다.
이 점이 왜 중요한지는 인도 선거를 대상으로 한 연구가 잘 보여 준다. 전자투표기가 유권자 확인 종이 감사 기록(VVPAT)을 인쇄하게 되더라도 그것만으로는 부족하다. 결과에 대한 확신을 위해서는 그 기록이 온전히 보존되고 대중이 검증할 수 있는 방식으로 실제 사용되어야 하는데, 전수 수개표는 비용·시간이 과도할 뿐 아니라 그것이 정확히 수행됐는지 대중이 판단하기도 어렵다. RLA는 대중이 충분히 지켜볼 수 있을 만큼 작다 (arXiv:1901.03108, 프리프린트).
이건 종이 위 이야기가 아니다. 2008년 캘리포니아 3개 카운티의 4개 선거에서 시범 감사가 실제로 수행됐고, 저자들은 감사가 위험한도적이려면 무엇이 필요한지, 기존·제안 법률이 어디서 못 미치는지를 정리한다. 그리고 정직하게 한계를 적는다 — 현재 접근법은 대규모로 일상화하기에는 너무 복잡하며, 중요한 물류 병목 하나는 상용 선거관리 시스템에서 감사 계산에 맞는 형식으로 데이터를 내보내기 어렵다는 것이다 (arXiv:0905.4691, 프리프린트).
이후 방법은 계속 진화했다. 순위투표(IRV)용 RLA가 정의됐고, 저자들이 찾은 실제 선거 거의 전부에서 전체 표의 작은 일부만 보고도 감사가 가능함이 보였다 (arXiv:1903.08804, 프리프린트). 서로 다른 투표 시스템이 섞인 주에서 계층 표본으로 감사할 수 있는 방법이 나왔고 (arXiv:1809.04235, 프리프린트), 라운드 단위로 유연하게 진행하는 감사 PROVIDENCE는 2021년 로드아일랜드 선거관리위원회의 집계 감사에 실제로 사용됐다 (arXiv:2210.08717, 프리프린트). 손으로 표기한 용지에 흔한 애매한 표기를 여러 해석으로 기록하게 해 효율을 끌어올리고, 후보마다 자기 승리 주장을 제출하는 '경합 감사'를 정의한 연구도 있다 — 이 방식은 표차와 무관하게 일정한 표본 수로 위험을 통제한다 (arXiv:2402.06515, 프리프린트).
그런데 감사의 효과는 통계만이 아니다. 미국인 2,000명을 대상으로 한 사전등록 실험은 흥미로운 결과를 냈다. 감사가 무엇을 찾아냈는지보다 감사가 어떻게 수행됐는지가 더 중요했다. 누가 수행하는지, 결과를 어떻게 발표하는지 같은 구조적 특징이 실제로 발견된 불일치의 크기보다 유권자의 결과 평가에 더 큰 영향을 줬다. 그리고 정파를 막론하고 응답자들은 감사가 개표 오류를 잡아내는 효과적인 도구라는 데 대체로 동의했다 (DOI: 10.1093/poq/nfae029).
종단간 검증가능(E2E verifiable) 투표는 유권자가 자기 표가 기록됐고 집계에 포함됐음을 확인할 수 있게 하면서 표의 내용은 감추는 시스템을 가리킨다. 이 분야의 개관 논문은 프라이버시와 검증가능성 개념이 어떻게 진화해 왔는지를 정리하고, 기술·법·사용성이라는 배포의 미해결 과제를 함께 짚는다 (arXiv:1605.08554, 프리프린트).
가장 인상적인 실적 하나는 2014년 11월 호주 빅토리아주 선거다. 주 단위 법정 정치 선거에서 투표소에 E2E 검증 전자투표 시스템을 배치한 세계 최초의 사례였다. 그리고 다음 문장이 핵심이다 — 시각장애 유권자가 완전한 비밀투표를 검증 가능한 방식으로 던진 최초의 사례였고, 검증 가능한 투표 시스템으로 원격 투표를 수집한 최초의 정치 선거이기도 했다. 코드는 오픈소스이고 선거 산출물은 검증 가능하다. 그렇게 이 대상 집단들로부터 수집된 표는 1,121표였다 (arXiv:1504.07098, 프리프린트).
규모는 작다. 성취는 작지 않다. 그때까지 시각장애 유권자에게 주어진 선택지는 대체로 '누군가에게 도움을 받아 표기하기'였고, 그것은 정의상 비밀투표가 아니다. 이 사례는 이 논쟁이 추상적인 보안 논쟁만이 아님을 알려 준다 — 누군가에게는 검증가능성과 비밀투표를 동시에 갖는 일이 처음 있는 일이었다.
E2E 검증에도 비판이 있다. 복잡한 암호에 기대는 시스템은 유권자에게 또 하나의 블랙박스가 되고, 결국 불투명한 소프트웨어나 외부 전문가를 맹목적으로 믿으라는 요구가 되어 진정한 공적 신뢰를 만들어 내지 못한다는 것이다. 이 지적에서 출발한 최근 제안은 소프트웨어 없는 검증(Software-Free Verification) — 유권자가 어떤 소프트웨어에도 기대지 않고 독립적으로 선거 무결성을 확인할 수 있어야 한다는 기준 — 을 정의하고, 기계적으로 생성된 가명을 다른 진짜 표들 사이에 숨긴 물리적 영수증과 계층적 공개 원장을 결합해 기본 산술만으로 감사할 수 있는 비암호적 기표소 투표 방식을 제안한다. 전체 디지털 집계는 물리적 증거와 RLA로 고정된다 (arXiv:2603.21833, 프리프린트).
원격 투표에 종이를 다시 집어넣으려는 시도도 있다. 표를 전자적으로 구성해 종이에 인쇄한 뒤 우편으로 돌려보내는 프로토콜인데, 저자들의 정직함이 인상적이다. 이 시스템은 E2E 검증이 아니며, 영수증 없음도 아니다. 투표 기기를 장악한 공격자 또는 우편 서비스와 선거관리 기관을 장악한 공격자 중 한쪽만 상대할 수 있을 뿐이고, 유권자가 프로토콜을 정직하게 따랐다면 나중에 자기 표를 증명할 수 없다는 (수동적) 영수증 없음만 성립한다 (arXiv:2111.04210, 프리프린트). 무엇을 못 하는지 먼저 적는 것이 이 분야의 건강한 관행이다.
가장 정교한 답은 가짜 자격증명이다. 강요자에게 넘겨줄 수 있는, 진짜와 겉보기에 똑같지만 그것으로 던진 표는 조용히 최종 집계에서 제외되는 자격증명. 문제는 그것을 어떻게 발급하느냐였다 — 기존 방식들은 발급 기관을 강하게 믿거나, 유권자가 통제하는 하드웨어를 믿거나, 여러 발급 기관과 각각 상호작용할 것을 요구했다.
Votegral의 등록 요소인 TRIP은 물리적 기표소 안의 키오스크로 그 문제를 푼다. 유권자는 프라이버시 부스 안에서 진짜와 가짜 자격증명을 종이에 인쇄한다. 부스 안에서는 어느 것이 진짜인지 배우고 확인할 수 있지만, 그 이후로는 남들에게 둘이 구별되지 않는다. 각 종이 자격증명에는 진짜에서는 건전하고 가짜에서는 건전하지 않은 대화형 영지식 증명이 인코딩돼 있는데, 유권자는 인쇄 단계의 순서 차이로 그 차이를 눈으로 확인할 뿐 기술적 내용을 이해할 필요가 없다. 실제로 강요당하는 유권자 — 저자들의 표현으로는 "드물기를 바라는 경우" — 만 키오스크를 믿으면 되고, 자격증명은 여러 선거에 걸쳐 재사용해 대면 등록의 불편을 분산한다. 시제품 실험에서 자원이 제한된 키오스크 하드웨어에서도 발급 지연은 최대 19.7초였다 (arXiv:2202.06692, 프리프린트).
재투표 방식으로 대규모를 감당하려는 접근도 있다. VoteAgain은 새로운 결정론적 표 패딩 기법으로 강요자가 표가 교체됐는지 볼 수 없게 하면서 집계를 준선형 시간에 끝내, 수백만 유권자 규모를 감당할 수 있는 첫 재투표 방식이라고 주장한다 (arXiv:2005.11189, 프리프린트).
여기서 정직해져야 한다. "위험하니 하지 말자"는 답이 아니다. 원격 투표를 원하는 수요에는 얼굴이 있다.
원격 인터넷 투표 아키텍처를 제안한 한 논문이 주 사용자로 명시한 사람들은 이렇다 — 자기 투표구에서 멀리 떨어져 있는 사람, 그리고 이동이 제한돼 대부분 보조생활 시설에 거주하는 고령자 (DOI: 10.1177/0268396220978983). 전시 상황을 다룬 논문의 명단은 더 구체적이다 — 군인, 국내 실향민, 재외국민, 피해 지역 주민 (DOI: 10.31861/mediaforum.2026.18.98-119).
그리고 20년 넘게 실제로 운영된 사례가 있다. 에스토니아는 2005년부터 인터넷 투표를 운영해 왔고, 한 초기 보고는 그 이점을 아주 구체적으로 적는다 — 투표소에 가서 투표하는 데 약 44분이 걸린다면 전자 투표에는 6분이 걸린다는 것이다 (DOI: 10.1007/s12290-013-0261-7). 비교 관점에서 분석한 연구는 이 나라가 인터넷 투표 배치에서 가장 멀리 나아갔으며 법적·기술적 요건을 체계적으로 정비해 왔다고 평가한다 (DOI: 10.1017/s1049096509090787). 스위스와 비교한 연구는 에스토니아가 인터넷 투표를 폭넓게 사용하는 유일한 나라인 반면 스위스는 법·인프라·정치적 문제로 수년간 사용을 중단했다고 정리하며, 성공 조건으로 다년간의 정치·법·인프라·사회적 준비와 가능한 한 투명한 시스템을 든다 (DOI: 10.14746/pp.2021.26.1.9).
실제 이득은 무엇이었나. 투표율에 관해서는 문헌의 요약이 냉정하다. 인터넷 투표를 도입한 나라들에서 투표율 증가는 미미했다. 대신 다른 것이 관측됐다. 2009~2015년 에스토니아의 다섯 차례 전국 선거 자료를 분석한 연구는 e-투표가 매우 '끈적'하다고 보고한다 — 한 번 인터넷으로 투표한 사람은 이후 선거에서도 계속 인터넷으로 투표할 가능성이 매우 높고, 그 지속률은 종이 투표자가 종이 투표를 이어 가는 비율이나 비투표자가 계속 기권하는 비율보다 일관되게 높다. 저자들은 이를 습관 형성으로 해석하며 투표율과 인터넷 투표의 관계를 재검토할 것을 요구한다 (DOI: 10.1002/poi3.160).
같은 나라의 경험을 법학적으로 검토한 연구는 훨씬 비판적이다. 2023년 총선을 사례로 전자투표의 결과 확정과 이의제기 절차를 분석한 이 논문은 중앙 행정기관 권한의 헌법적 문제, 전자투표 시스템 내부 작업에 대한 독립 참관인의 부재, 결과 이의제기 절차의 중대한 결함을 지적한다. 결론은 투명성을 높이려면 종단간 검증 방법을 사용하고 결과 확정의 모든 임계 단계에서 질 높은 감사를 보장해야 한다는 것, 그리고 적어도 가까운 시일 안에는 보안 보증이 충분치 않아 전통적 종이 투표를 원격 투표로 완전히 대체하는 것은 부적절하다는 것이다 (DOI: 10.21564/2414-990x.166.310197).
그래서 어떤 연구자들은 프레임 자체를 뒤집는다. 매표 우려가 큰 나라의 개혁을 제안한 한 논문은 이렇게 정리한다 — 옳은 대응은 유권자를 시험하거나 걸러 내거나 배제하는 것이 아니라, 매표 거래가 구매자에게 검증 불가능해지도록 절차를 다시 설계하되 결과는 모두에게 검증 가능하게 유지하는 것이다. 그 수단으로 영수증 없음과 강요 저항을 갖춘 E2E 검증 투표, 신원과 선택을 연결하지 않으면서 유일성을 보장하는 익명 암호 자격증명, 유권자 확인 종이 기록, 오픈소스·망분리 장비, "몇 번을 찍어라"식 지시를 무력화하는 후보 순서 무작위화, 그리고 위험한도감사를 든다. 이 논문은 지식이나 '능력' 시험을 투표 조건으로 다는 것과 비밀투표를 깨는 어떤 조치도 명시적으로 거부한다 — 보편선거권을 침해하고 고령자·장애인·소수자 공동체에 불균형하게 해롭다는 이유다 (DOI: 10.2139/ssrn.7159338, SSRN 게재·동료심사 여부 미확인).
이 프레임이 이 글의 축과 정확히 겹친다. 문제는 "확인하게 할 것인가 말 것인가"가 아니라 "누가 확인할 수 있어야 하고 누가 확인할 수 없어야 하는가"다.
재투표는 강요를 완화하는 우아한 설계다. 그런데 앞서 본 eID 로그 연구가 그것을 정확히 겨눈다 (DOI: 10.1007/978-3-032-05036-6_12).
더 근본적인 결과도 있다. 사전 합의된 자격증명을 유권자가 보관·은닉해야 하는 부담을 없애고 마지막 순간의 강요를 재투표로 막으려 한 Loki 프로토콜에 대해, 한 연구는 두 가지 취약점을 찾았다. 회피 전략의 무결성을 깨뜨려 공격자가 피해자를 대신해 투표할 수 있게 하는 무차별 대입 공격, 그리고 피해자가 "투표하지 말라"는 지시에 따랐는지 탐지할 수 있게 하는 강제 기권 공격이다. 저자들은 첫 번째 공격을 일반화해 하나의 딜레마를 도출한다 — 사전 합의된 비밀 자격증명 없이는 마지막 순간의 강요를 막을 수 없다 (arXiv:2604.00188, 프리프린트). 그런데 사전 합의된 비밀을 요구하는 순간, 유권자가 그것을 보관하고 숨겨야 한다는 사용성 부담이 그대로 돌아온다. 이 왕복이 이 분야의 형태다.
강요자의 도구도 진화한다. 한 연구는 기존 강요 대응 기법들이 현재의 기술 도구가 강요와 표 판매를 어떻게 도울 수 있는지를 고려하지 않아 악의적 행위자의 능력을 과소평가한다고 지적하고, 블록체인·지연 암호·프라이버시 보존 스마트 계약·신뢰 하드웨어를 써서 강요자가 순응을 강제하거나 유권자가 자기 표를 증명하는 여러 방법을 실제로 보인다. 그중 일부는 영수증 없음이나 강요 저항이 증명됐다고 여겨지던 방식에서 성립했다. 결론은 단호하다 — 강요 모형을 재평가해야 하며, 강요와 영수증 없음의 정의 자체를 새로 써야 한다. 논문은 새 정의를 제안하고 그 함의를 검토한다 (DOI: 10.1007/978-3-031-72244-8_9).
여기서 이 시리즈가 앞서 남긴 문장이 되돌아온다. 안전은 증명이 아니라 모형 위에 서 있고, 모형은 세상이 바뀌면 낡는다. 블록체인이 강요를 막는 도구가 아니라 강요를 돕는 도구로 등장한다는 점은 특히 아이러니하다.
자격증명이 아예 새 버리면 어떻게 되나. '조용한 강요' — 유권자 모르게 공격자가 자격증명을 손에 넣는 상황 — 를 재검토한 연구는 그 경우 의도한 표를 던지는 것은 불가능하다고 인정한다. 암호 백엔드가 유권자와 공격자를 더는 구별할 수 없기 때문이다. 그러나 유권자가 공격자의 표를 무효화할 수는 있고, 그것이 아무것도 못 하는 것보다는 낫다고 본다. 저자들은 영지식 증명과 다자간 계산으로 더 효율적인 무효화 방식을 제시한다 (DOI: 10.1007/978-3-032-05036-6_3).
추적번호 방식도 이 긴장 위에 있다. 유권자가 공개 게시판에서 자기 추적번호와 표를 평문으로 대조하게 해 주는 설계는 검증을 극적으로 쉽게 만들지만, 바로 그 이유로 강요 위협을 키운다. 그래서 추적번호 기반 시스템에 맞는 프라이버시 정의를 새로 세우고 '강요 완화'를 형식적으로 정의한 연구가 뒤따랐다 (DOI: 10.1007/978-3-031-43756-4_5). 여기서 더 밀어붙여 영구적 프라이버시와 영구적 영수증 없음을 함께 제공하는 방식도 제안됐다 (DOI: 10.1007/978-3-031-72244-8_8). 재투표나 강요 대응으로 생긴 무효표를 집계 전에 제거하는 과정에서 정보가 새는 문제를 아예 없애면서 선형 집계를 달성한 설계도 있다 (DOI: 10.1007/978-3-031-72244-8_5).
정의 자체가 어렵다는 것도 이 분야의 상태를 말해 준다. 인식론적 접근으로 강요 저항을 다시 정의한 연구는 그 정의로 Civitas 시스템에 대한 최초의 엄밀한 분석을 수행해 어떤 조건에서 강요 저항을 보장하고 어떤 조건에서 실패하는지를 정확히 특정했다 (arXiv:0903.0802, 프리프린트). 기기의 부정을 막는 일과 강요를 막는 일이 서로를 밀어낸다는 점만 다룬 학위논문도 있다. 투표 기기가 유권자의 의사와 다른 표를 던지지 못하게 하려면 유권자에게 증거를 줘야 하는데, 그 증거가 곧 강요의 도구가 된다 — 이 상충을 정면으로 파고들어 형식적 정의와 실용적 구성을 함께 제시한다 (DOI: 10.5821/dissertation-2117-404068).
그리고 정의가 아니라 사람 쪽 문제가 남는다. 가짜 자격증명을 보통 사람이 실제로 이해하고 쓸 수 있는가. 보스턴에서 150명을 모의 선거에 참여시킨 최초의 체계적 연구가 답을 준다. 가짜 자격증명에 노출된 120명 중 96%가 그 용도를 이해했고, 53%는 실제 선거라면 만들겠다고 답했다. 그런데 10%는 실수로 가짜 자격증명으로 투표했다. 참가자 전체의 22%는 강요나 매표를 직접 겪었거나 가까이서 알고 있었는데, 이들은 그 강요 저항 시스템을 손으로 표기하는 종이 투표와 사실상 같은 정도로 신뢰할 만하다고 평가했다. 전체 150명 중 87%가 도움 없이 자격증명을 만들었고 83%가 만들고 제대로 사용까지 했으며, 시스템 사용성 척도 점수는 70.4점으로 업계 평균 68을 약간 웃돌았다. 저자들의 결론은 균형 잡혀 있다 — 강요 문제의 중요성과 가짜 자격증명의 가능성을 함께 지지하지만, 사용자 오류율은 여전히 중요한 과제로 남는다 (arXiv:2404.12075, 프리프린트).
10%라는 숫자를 그냥 넘기지 말자. 강요 저항 설계에서 실수로 가짜 자격증명을 쓴다는 것은 본인의 표가 조용히 세어지지 않는다는 뜻이다.
이 주제에서 가장 불편한 실측이 여기 있다.
검증 가능한 시스템의 사슬은 이렇게 이어진다. 유권자가 종이 기록을 확인한다 → 그 종이가 감사의 근거가 된다 → 감사가 결과를 보증한다. 첫 고리가 끊어지면 뒤가 다 헛돈다.
2018년 미국 테네시주의 두 차례 예비선거 현장에서 수행된 실험이 그 첫 고리를 시험했다. 대상은 유권자가 터치스크린으로 선택하면 요약 카드를 인쇄해 주는 기표 장치(ballot marking device)다. 질문은 단순했다 — 유권자는 몇 분 전 자기가 한 선택이 그 카드에 정확히 기록됐는지 검토해서 확인할 수 있는가.
결과는 "아니오"에 가까웠다. 저자들이 보고한 예비 증거에 따르면, 실제 투표소 환경에서 대부분의 유권자는 그렇게 하라고 지시받았을 때조차 요약 카드를 검증하려 시도하지 않았다. 그리고 검토를 시도한 사람들을 대상으로 한 출구 면접에서, 통계적으로 유의한 비율이 불과 몇 분 전에 던진 표의 중요한 세부를 기억하지 못했다. 이들은 제시된 용지의 오류를 알아채지 못하거나, 심지어 제시된 용지가 자기가 던진 것이 아니라는 사실조차 알아채지 못했다.
저자들이 짚는 함의는 무겁다. 이 결과는 요약 카드가 선거 후 감사의 신뢰할 만한 원본 기록으로 쓰이기 어렵게 만드는 유권자 기억 오류의 증거이며, 손으로 직접 종이에 표기하는 식으로 자기 선택을 확실히 남겨 두지 않은 유권자는 기표 장치가 장악돼 표가 바뀌었을 때 일반적으로 그 조작을 탐지하지 못한다 (DOI: 10.2139/ssrn.3292208, SSRN 게재·동료심사 여부 미확인). 이 연구가 미심사 문헌임을 밝혀 둔다. 다만 저자들 스스로 결과를 '예비 증거'라 부르고 기억 연구의 다른 결과들과의 일관성을 근거로 든다는 점은 덧붙일 만하다.
검증 가능해도 아무도 검증하지 않으면 무엇이 남는가. 이 질문에 대한 연구의 대답은 "유권자에게 더 열심히 하라고 시키기"가 아니라 "검증을 쉽게 만들기"였다. 추적번호 기반 프로토콜로 모바일 투표·검증 앱을 만들어 38명에게 시험한 연구는, 면접에서 드러난 사용자의 멘탈 모델을 이론적 보안 개념과 대조하고 앞으로의 투표 프로토콜 설계를 위한 개선 목록을 제안한다 (arXiv:2105.14901, 프리프린트). 운영 중인 상용 온라인 투표 시스템에 검증 계층을 실제로 얹은 시도는 두 차례 시범에서 응답자들이 이 형태의 검증을 쓰기 쉽다고 여겼고 대체로 반겼다고 보고하며, 그 결과 시스템을 운영하는 선거 주관자조차 탐지되지 않게 결과를 바꿀 수 없게 됐다고 정리한다 (arXiv:1912.00288, 프리프린트).
투표 장치 자체에 대한 대규모 현장 사용성 연구도 같은 방향을 가리킨다. 유권자들은 전자투표 시스템을 대체로 호의적으로 보지만, 설계 차이가 만족도와 도움을 요청할 필요성에 상당한 영향을 준다. 디지털 격차 요인은 전반적 만족도에는 작은 역할만 했지만 도움이 필요하다고 느끼는 것과는 강하게 연관됐다 (DOI: 10.1177/1532673x08316667). 즉 "검증이 어렵다"는 하늘에서 떨어진 상수가 아니라 설계로 움직일 수 있는 변수다.
검증가능성, 비밀투표, 강요 저항. 셋을 동시에 가질 수 있는가.
최근 한 제안은 이를 "선거 불가능 삼각형"이라 부르며 기존 시스템들이 셋 중 최대 둘만 달성한다고 주장하고, 각 유권자의 영수증에 자기 확인 코드를 다른 유권자들의 진짜 코드 사이에 숨기는 방식으로 셋을 함께 노린다. 영수증은 검증에는 쓸 수 있지만 제3자에게 후보 선택을 증명하지는 못한다는 것이다 (DOI: 10.2139/ssrn.6895323, SSRN 게재·동료심사 여부 미확인). "불가능"이라는 이름과 그것을 깬다는 주장이 같은 논문 안에 있다는 사실 자체가 이 분야의 현재를 말해 준다 — 그 삼각형은 증명된 정리가 아니라 설계 공간에 붙은 이름이다. 이 주장이 검증되려면 시간이 걸릴 것이고, 아직 동료심사를 거치지 않았다.
신뢰 가정 없이 검증가능성을 밀어붙인 암호 쪽 결과도 있다. 비대화형 증인 구별불가 증명을 사용해, 가짜 집계가 탐지되지 않을 확률이 0인 완전한 보편 검증가능성을 신뢰 설정 없이 얻는 방식이다. 프라이버시는 계산적 가정 위에 있지만 검증가능성은 무조건적으로 성립한다. 단, 저자들은 여기서의 검증가능성이 자격 검증(eligibility verification)은 제외한 것이라고 분명히 밝힌다 (arXiv:1610.06343, 프리프린트). 그 단서가 곧 앞에서 본 이야기다 — 남는 문제는 암호가 아니라 누가 유권자인가다.
세 문장으로 정리한다.
첫째, 검증가능성과 비밀투표는 정면으로 충돌한다. 내 표를 남에게 증명할 수 있으면 매표범과 강요자에게도 증명할 수 있다. 그래서 투표에 필요한 것은 "공개하지 않고 증명하기"가 아니라 "나는 확인하되 아무에게도 증명할 수 없기"다. 이것이 영수증 없음과 강요 저항이고, 이 분야 난이도의 대부분이 여기 있다.
둘째, 블록체인은 이 어려움을 건드리지 않는다. 장부의 무결성은 애초에 병목이 아니었다. 병목은 유권자 인증, 유권자의 기기, 그리고 소프트웨어를 믿지 않고도 결과를 확인할 수 있게 하는 소프트웨어 독립성이다. 원장을 분산해도 이 셋은 그대로 남고, 문헌은 오히려 새로운 문제가 추가될 수 있다고 본다.
셋째, 실제로 성취된 것은 원장이 아니라 절차다. 소프트웨어를 믿지 않아도 되게 하는 물리적 기록, 그 기록을 정해진 확률 보장 아래 검사하는 위험한도감사, 그리고 그 감사를 누가 어떻게 수행하고 어떻게 발표하는가. 유권자 신뢰를 실제로 움직인 것은 감사가 무엇을 찾아냈는지가 아니라 감사가 어떻게 이뤄졌는지였다.
정직하게 남겨 둘 것들도 있다. 원격 투표 수요는 실재하고 얼굴이 있다. 20년 넘게 운영된 사례가 있고, 그 사례에서 강요 대응 장치가 다른 목적으로 잘 만들어진 로그 때문에 깨질 수 있다는 것도 함께 밝혀졌다. 사전 합의된 비밀 없이는 마지막 순간의 강요를 막을 수 없다는 딜레마가 있고, 강요자의 도구는 계속 새로 생긴다. 무엇보다, 검증 가능한 시스템 앞에서도 대부분의 유권자는 검증하지 않는다.
이 목록을 읽는 잘못된 방법이 하나 있다. "그러니 투표를 믿을 수 없다"로 읽는 것이다. 그것은 이 문헌들이 하는 말이 아니다. 취약점의 존재는 부정의 증거가 아니다. 이 논문들은 전부, 무엇을 고쳐야 하는지 알아내기 위해 자기 분야의 약한 곳을 스스로 찾아 공개한 기록이고, 여러 건은 공개와 동시에 수정이 배포됐다. 그리고 그 공개가 신뢰를 무너뜨리는 게 아니라 세우는 방향으로 작동하려면 안전장치가 무엇인지 미리 알려 두는 일이 필요하다는 것까지, 실험으로 확인돼 있다 (DOI: 10.1007/s11109-026-10147-6).
이 시리즈의 질문은 하나였다. 중개자를 믿지 않고도 무언가를 확인할 수 있는가. 투표는 그 질문에 가장 어려운 답을 준다. 확인할 수 있게 하되, 아무도 증명할 수 없게. 이 두 문장을 동시에 붙드는 일이 이 분야의 전부이고, 원장 하나로는 그중 어느 쪽도 얻어지지 않는다. 얻어지는 것은 종이와 통계와 절차, 그리고 그것을 누가 지켜보는가다.