투표 기록 검증

이 검증이 증명하는 것

• 서명: 게시한 ledger 공개키(ECDSA P-256)로 체크포인트(scope·표 수·머클 루트·체인 헤드·종류·보관 시작)의 서명을 확인합니다.
• 보고서 일치: 서명된 표 수·머클 루트가 결과보고서(링크)에 적힌 값과 같은지 확인합니다.
• 비트코인 앵커: 체크포인트 파일의 SHA-256 이 OpenTimestamps 증빙에 묶여 있고, 그 증빙이 가리키는 비트코인 블록 헤더의 merkle root 와 맞는지 두 익스플로러(blockstream.info, mempool.space)에서 확인합니다. 통과하면 이 체크포인트가 그 블록 시각 이전에 있었다는 뜻입니다.
• 마감 시 체인 검증 기록: 체크포인트에 서명된 검증 결과에 문제가 기록돼 있으면 그대로 보여 주고 '검증됨' 으로 표시하지 않습니다.

이 검증이 증명하지 않는 것

• 결과 합계가 표와 맞는지 — 이 페이지는 집계를 다시 계산하지 않습니다.
• 기록 이전의 조작 — 단말·전송·서버에서 표가 기록되기 전에 일어난 일은 확인하지 못합니다.
• 체크포인트 사이 구간 — 검증하는 것은 마감 체크포인트 하나이고, 그 사이의 변경 이력은 보지 않습니다.
• 블록 헤더의 작업증명 — 두 익스플로러가 같은 거짓 헤더를 주면 통과합니다. 직접 확인하려면 자체 비트코인 노드에서 공식 클라이언트로 ots verify -f final.json final.ots 를 실행하세요(체크포인트와 증빙 파일은 이 페이지가 읽는 주소에서 그대로 받을 수 있습니다).