Qstamp / 선거
선거 무결성

단 한 표도 공개하지 않는, 위조할 수 없는 선거 기록.

정부는 인증된 모든 결과보고서, 모든 개표 결과 및 공표된 모든 결과가 기록된 그대로이며, 어떠한 기록도 변경, 삽입 또는 소급 작성되지 않았음을 입증할 수 있어야 합니다. Qstamp 제품군의 선거 무결성 SDK인 QBallot은 투표의 비밀을 절대적으로 보장하면서 선거관리기관, 참관인 및 법원에 선거 기록 전체에 대한 양자내성 증거를 제공합니다.

Live flow

How QBallot runs inside an election.

Each step lights in turn as a record moves through it. Steps inside your systems never send content out. Only the anchor reaches the Quantova network, and only chain facts are public on QVMScan.

Live flowQBallot, from polling station to the explorer
  1. Your systemsElection management systemSoftware builds and the mandates of officials registered
  2. Your systemsPolling stationReturn signed by the presiding officer and witnesses
  3. Your systemsCount centreBallot records fingerprinted with fresh salts, no voter identified
  4. Your systemsTabulationEvery action sealed in a hash chained log
  5. Quantova networkAnchorOne salted 32 byte commitment per batch, sent under record kind 1106 in a transaction signed with ML DSA 65
  6. PublicQVMScanFinal in about 0.2 seconds and indexed on the explorer under QBallot, with no record content
  7. PublicObservers and courtsProve the declared result equals the certified returns
Inside your systemsQuantova networkPublic and verifiable
과제

국민의 신뢰는 검증 가능한 기록에 달려 있습니다.

전국 선거, 지방 선거 및 대표자 선출 선거, 국민투표, 그리고 의회와 정당의 표결은 모두 투표소 결과보고서에서 공표된 결과에 이르는 일련의 기록을 만들어 냅니다. 오늘날 이러한 기록의 연쇄는 종이 기반 절차로 보호되며, 디지털화된 경우에도 양자 컴퓨터가 위조할 수 있게 될 고전적 서명으로 보호됩니다. 따라서 결과에 이의가 제기되면, 그 판단은 행위의 적정성이 문제되는 바로 그 기관의 시스템에 대한 신뢰에 의존하게 됩니다.

변경된 결과보고서

개표와 전국 집계 사이에 변경된 투표소 결과보고서는, 유일한 사본을 그것을 변경한 시스템이 보유하고 있는 경우 탐지하기 어려울 수 있습니다.

위조된 권한

인증한 적이 없는 공무원의 명의로, 또는 승인된 적이 없는 소프트웨어에 의해 제출된 결과는 결과 공표 전체의 신뢰성을 훼손합니다.

미래의 위조

선거 기록은 수년간 보관되며, 선거일로부터 오랜 시간이 지난 후에도 이의가 제기될 수 있습니다. RSA 또는 타원곡선 키로 서명된 기록은 대규모 양자 컴퓨터가 등장하면 위조가 가능해집니다.

프레임워크

각각 봉인되고 연결된 여섯 단계.

QBallot은 확립된 선거 구조를 따르며 각 단계에 암호학적 봉인을 추가합니다. 각 봉인은 FIPS 204에 따른 ML DSA로 서명되고 Quantova 네트워크에서 시점이 고정되므로, 기록의 무결성은 그 기록을 생성한 기관과 독립적으로 검증될 수 있습니다.

1단계 · 선거일 이전

소프트웨어 및 권한 등록

선거관리기관은 인증된 모든 집계 소프트웨어 및 선거관리 소프트웨어 빌드의 지문을 등록하고, 각 선거관리관, 투표관리관 및 개표관리자가 책임지는 투표소 또는 개표를 명시한 위임에 서명합니다. 사전에 등록되지 않은 소프트웨어나 공무원은 개표 단계에서 탐지됩니다.

2단계 · 투표소에서

생성된 곳에서 봉인되는 기록

투표가 마감되면 투표관리관과 지정된 입회인은 투표용지 수불 내역과 결과를 포함한 투표소 결과보고서에 각자 등록된 키로 서명합니다. 결과보고서는 투표소를 떠나기 전에 지문이 생성되고 앵커링되므로, 그 내용은 인증된 시점에 고정됩니다.

3단계 · 개표 시

모든 투표 기록의 지문 생성, 유권자 식별 없음

스캔된 각 투표지 이미지 또는 각 투표 내용 기록은 개표소에서 새로운 무작위 솔트로 지문이 생성되고 배치 단위로 앵커링됩니다. 개표소 밖으로 나가는 것은 솔트가 적용된 커밋먼트뿐입니다. 유권자의 신원, 유권자와 연결된 투표용지 번호, 투표 내용은 결코 공개되지 않습니다.

4단계 · 전송 중

전송 도중 변경될 수 없는 결과

결과는 서명된 기록으로서 투표소에서 선거구로, 다시 전국 집계로 전달됩니다. 집계 시스템은 해당 투표소에 등록된 공무원의 유효한 서명이 있는 결과만 수용하므로, 전송 중에 변경되거나 삽입된 결과는 거부됩니다.

5단계 · 집계 중

모든 처리에 대한 위변조 탐지가 가능한 기록

이의가 제기된 투표지의 판정, 정정 또는 재검표를 포함하여 선거관리 시스템에서 이루어지는 각 처리는 앵커링된 체크포인트로 봉인되는 해시 체인 로그에 기록됩니다. 어떠한 처리도 탐지되지 않고 삭제, 순서 변경 또는 소급될 수 없으며, 각 판정이 기록된 사유에 따른 것임이 입증됩니다.

6단계 · 결과 공표 이후

참관인과 법원에 의한 독립적 검증

후보자, 정당, 참관인 및 법원은 선거관리기관 자체의 시스템을 신뢰하지 않고도, 공표된 결과가 인증된 투표소 결과보고서의 합계라는 점, 각 결과보고서가 서명 이후 변경되지 않았다는 점, 그리고 앵커링된 모든 기록이 명시된 시점에 존재했다는 점을 확인할 수 있습니다.

QBallot

Qstamp 제품군의 선거 무결성 SDK.

QBallot은 제품군에서 검증된 구성 요소를 선거를 위해 결합합니다. Qstamp는 모든 기록의 시점을 고정합니다. QSign은 투표관리관과 선거관리관의 서명을 담습니다. QMandate는 어느 공무원이 어느 투표소와 개표에 대해 권한을 부여받았는지를 증명합니다. QLog는 집계 과정의 모든 처리에 대한 위변조 탐지가 가능한 기록을 유지합니다. QBallot은 선거 고유의 규칙, 투표소 결과보고서의 구조, 그리고 참관인과 법원을 위한 검증 절차를 추가합니다.

QBallot is being built for release as part of QGov, the government branch of the Qstamp family, and will be published only after rounds of security review and live testing on the Quantova network. Election authorities can begin pilots today with the live SDKs, which provide each of the protections described on this page.

QBallot이 탐지하는 것

  • 인증 이후 변경된 투표소 결과보고서
  • 등록되지 않은 공무원의 명의로 삽입된 결과
  • 등록되지 않은 소프트웨어가 생성한 결과
  • 지문 생성 이후 변경된 투표 기록
  • 삭제, 순서 변경 또는 소급된 판정이나 정정
  • 인증된 결과보고서와 다른 공표 합계
투표의 비밀

기록의 무결성, 투표의 비밀.

QBallot은 누가 투표했는지, 누가 어떻게 투표했는지, 또는 유권자와 투표지 사이의 어떠한 연결도 기록하지 않습니다. 투표 기록은 새로운 무작위 솔트로 지문이 생성되고 솔트가 적용된 커밋먼트만 앵커링되므로, 공개된 어떠한 정보도 유권자까지 추적되거나 투표 내용에 대한 추측을 확인하는 데 사용될 수 없습니다. 선거인명부와 신원 데이터는 전적으로 선거관리기관의 시스템 안에 머뭅니다.

통합

선거관리기관이 프레임워크를 도입하는 방법.

1. 법적·절차적 근거

선거관리기관은 국가 선거법과 선거관리위원회의 감독에 따라, 어떤 기록을 봉인하는지, 누가 서명하는지, 그리고 참관인과 법원이 이를 어떻게 검증할 수 있는지를 자체 선거 규칙에 규정합니다.

2. 키 생성 의식

선거관리기관, 선거관리관 및 투표관리관의 키는 입회인이 참관하는 의식에서 생성되어 하드웨어로 보호되는 저장소에 보관됩니다. 각 공무원의 위임에는 그가 인증할 수 있는 투표소와 개표, 그리고 권한의 유효 기간이 명시됩니다.

3. 소프트웨어 등록

인증된 모든 집계 소프트웨어 및 선거관리 소프트웨어 빌드의 지문은 국가 인증 절차에서 승인된 후 선거일 이전에 등록되고 앵커링됩니다.

4. 투표 및 개표

투표소 결과보고서, 투표 기록 및 집계 처리는 위의 여섯 단계에서 설명한 바와 같이 생성되는 즉시 봉인됩니다. 법률이 요구하는 경우 종이 투표지는 계속해서 유권자 의사의 기록으로 남습니다.

5. 감사 및 재검표

위험제한감사를 포함한 선거 후 감사는 종이 투표지 표본을 봉인된 투표 기록과 대조합니다. 모든 재검표와 정정 역시 그 자체로 봉인되므로 감사 추적을 다시 쓸 수 없습니다.

6. 분쟁 및 보존

이의가 제기되면 선거관리기관은 관련 기록과 영수증을 제출하고, 어느 당사자나 법원이든 이를 독립적으로 검증합니다. 이 증거는 선거 기록의 보존 기간 전체에 걸쳐 검증 가능한 상태로 유지됩니다.

범위

프레임워크가 하는 일과 하지 않는 일.

QBallot은 선거 기록이 봉인된 이후 변경되지 않았다는 점, 등록된 공무원과 소프트웨어에 의해 봉인되었다는 점, 그리고 그 시점을 증명합니다. QBallot은 인증된 투표 장비, 종이 투표지 또는 선거관리위원회의 절차를 대체하지 않으며, 투표지가 유권자의 의사를 반영한다는 것을 입증하지 않고, 그 자체로 투표 강요나 매표를 방지하지도 않습니다. 이러한 사항은 여전히 선거법과 그 집행의 영역에 속합니다. QBallot은 전자투표 기준에 관한 유럽평의회 권고 CM/Rec(2017)5와 미국 선거지원위원회(Election Assistance Commission)의 자발적 투표 시스템 지침(Voluntary Voting System Guidelines) 등 각 관할권을 규율하는 기준을 지원하도록 설계되었으며, 자국 법률의 준수에 대한 책임은 여전히 각 기관에 있습니다.

Qstamp SDK의 현재 릴리스는 실제 운영에 앞서 Quantova 테스트 네트워크에 앵커링됩니다.