A Machine-Checked EUF-CMA Proof for the Hybrid Fiat-Shamir Signature Scheme | AIChainDay

0단 자동

AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.

규칙 판: 규칙 판 도입 이전 기사입니다.
남기는 것: 규칙 판 · 모델 · 시각
판 기록: 아직 없습니다.

블록체인2026년 5월 28일AI 점수: 90%

A Machine-Checked EUF-CMA Proof for the Hybrid Fiat-Shamir Signature Scheme

출처:IACR ePrint (암호학)

AI 인사이트

개발자

1.Bindel-Hale FS-FS 하이브리드 서명의 EasyCrypt 기계검증 EUF-CMA 증명을 최초 제시
2.구성요소 중 어느 쪽이 깨져도 해당 구성요소 위조로 환원되는 either-component 보장을 형식화
3.ROM에서는 도전 해시의 독립적 제2역상저항성 가정이 불필요임을 밝혀
4.Schnorr-Schnorr 정직 서명 올바름을 검증하고 Schnorr-Okamoto 조합으로도 논증 변경 없이 인스턴스화

왜 중요한가?

하이브리드 서명은 기존 서명과 포스트양자 서명을 함께 사용해 이행 리스크를 낮추는 실용적 전략인데, 두 구성요소가 챌린지를 공유할 때 안전성 증명이 까다로워진다. 이 기계검증 증명은 FS-FS 하이브리드 구성의 가정과 불변식을 명시적으로 드러내 표준화·구현 검토에 신뢰할 근거를 제공한다.

언급 프로젝트

EasyCrypt

본문 미리보기

Hybrid signatures are a practical approach to post-quantum migration, but their security analysis becomes subtle when two Fiat-Shamir (FS) components are binded through a single shared challenge. This paper presents the first machine-checked proof of EUF-CMA security for the FS-FS hybrid construction of Bindel and Hale (2023) formalised in EasyCrypt in the Random Oracle Model (ROM). The proof is parametrised over abstract component interfaces and establishes the intended either-component secur

전체 내용이 궁금하다면?

원문을 직접 읽어보세요

원문 보기