이 논문은 비밀 공유 스킴에서 삭제 검증을 딜러가 아닌 참여자들이 직접 수행하는 '만장일치 검증 가능 삭제(unanimously verifiable deletion)' 개념을 새롭게 제시한다. BB84 방식 양자 상태의 선형 준동형 구조를 활용해 정보이론적으로 안전한 선형 준동형 임계값 비밀 공유 배치 스킴을 구성했으며, 이 구조는 다른 인증 삭제 프리미티브도 선형 준동형으로 확장하는 데 일반적으로 활용 가능하다. 이를 응용해 준정직 고전 클라이언트와 악의적 양자 서버로 구성된, 최대 t<n/2의 부패 서버를 허용하는 아웃소싱 다자간계산(MPC) 프로토콜도 구축했다. 사후 최종화 이후에는 모든 서버가 부패해도 공개 출력과 부패 클라이언트 입력 외 추가 정보가 유출되지 않는다.
- •딜러 대신 참여자들이 직접 검증하는 '만장일치 검증 가능 삭제' 개념 최초 제시
- •BB84 양자 상태의 선형 준동형 구조를 활용한 정보이론적 안전 비밀 공유 배치 스킴 구성
- •인증 삭제 프리미티브를 선형 준동형으로 일반화할 수 있는 구조 제공
- •준정직 클라이언트·악의적 양자 서버 기반 아웃소싱 MPC 프로토콜에 응용
- •최종화 후 전 서버 부패에도 공개 출력 외 추가 정보 유출 없음을 증명
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Linearly Homomorphic Secret Sharing and Multi-Party Computation with Unanimously Verifiable Deletion
- 1.비밀분산·MPC에 '만장일치 검증가능 삭제' 개념 제시, 사적·공개 검증의 중간 신뢰모델
- 2.BB84 양자상태의 선형동형 구조로 정보이론적 안전 선형동형 비밀분산 배치 스킴 구축
- 3.준정직 클라이언트·악의적 양자서버 대상 아웃소싱 MPC 설계, t<n/2 조건서 안전 보장
- 4.최종 완료 후 서버 전체 부패해도 공개 출력·부패 클라이언트 입력 외 정보 비노출
왜 중요한가?
사적 검증(딜러 의존)과 공개 검증(암호 가정 필요) 사이 간극을 메워, 암호학적 가정 없이도 삭제를 증명할 수 있는 새 신뢰 모델을 제시해 양자 기반 프라이버시 기술의 실용성을 높인다.
이 기사는 양자 상태 내 민감 정보의 검증 가능한 삭제를 다루는 최신 암호학 연구를 소개합니다. 블록체인 환경에서 데이터 프라이버시와 규제 준수가 중요해지는 가운데, 이러한 기술은 국내 블록체인 기반 서비스의 신뢰성을 높이는 핵심 요소가 될 수 있습니다. 특히 개인정보 삭제 권리 구현에 있어 중요한 기술적 진보로 평가됩니다.
본문 미리보기
Certified deletion enables a party to prove that it has erased the sensitive information contained in a quantum state. Bartusek and Raizes (CRYPTO 2024) gave the first secret-sharing scheme with privately verifiable deletion. Subsequently, Katz and Sela (EUROCRYPT 2025) constructed secret-sharing schemes with publicly verifiable deletion under computational assumptions. Constructing such a publicly verifiable scheme without cryptographic assumptions remains open. In this work, we introduce an
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안
