0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Haechi: Simple Commitment-based Keyless In-person Verifiable Elections
- 1.Haechi라는 키리스(keyless) 검증 가능 선거 시스템 제안, 암호화 대신 벡터 커밋먼트 기반으로 키 관리 문제를 원천 제거
- 2.압축 시그마 프로토콜 이론에 기반한 새 영지식증명으로 투표용지 전체 유효성을 후보 수에 대해 로그 개수의 그룹 원소만으로 증명
- 3.기존 대면 검증 가능 선거 시스템 대비 공개 검증 데이터량을 10배 이상 절감(기존은 100만표 기준 100GB 초과)
- 4.격자 기반 커밋먼트를 이용한 포스트 양자 버전도 함께 제시, 동일한 키리스 워크플로 유지
왜 중요한가?
선거 데이터 규모와 키 관리 복잡성은 검증 가능 선거 시스템의 실제 도입을 막아온 핵심 장벽인데, Haechi는 이 두 문제를 동시에 해결해 대규모 선거에서도 실용적인 검증 가능성을 제공한다.
언급 프로젝트
본문 미리보기
Verifiable election systems allow voters to verify that their secret ballots were accurately recorded and counted, while enabling anyone to verify the announced tallies. However, two practical obstacles stand between this guarantee and actual verification. First, public election records can be prohibitively large: for an election with one million ballots, deployed systems may publish more than 100GB of cryp- tographic data. Second, most existing systems protect ballot privacy through encryption
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안



