Critical-Round Special Soundness for Multi-Round Proofs

출처:IACR ePrint (암호학)

AI 인사이트

개발자

1.다중 라운드 증명 시스템의 추출자(extractor) 재사용성을 다루는 CRSS(핵심 라운드 특수 사운드니스) 개념 제시
2.Plonk, Protogalaxy, KKW류 MPC-in-the-head가 모두 CRSS를 만족함을 증명
3.Spartan의 sumcheck 하위 프로토콜에 대한 트리 추출 결과 제시
4.해시 기반 witness 공유, 오프라인 트랩도어 추출 커밋먼트, Fischlin 변환 성능 개선 등 3가지 응용 제시

왜 중요한가?

3-move 시그마 프로토콜에만 흔히 쓰이던 추출자 재사용 기법을 Plonk·Protogalaxy 등 실제 널리 쓰이는 다중 라운드 증명 시스템까지 확장해, 이들을 블록처럼 재사용해 새 프로토콜을 설계할 수 있는 길을 연다.

언급 프로젝트

Plonk Protogalaxy Spartan

본문 미리보기

Multi-round public-coin proof systems have progressed rapidly, yet their simulators and extractors are rarely used as building blocks in other protocols, unlike those of 3-move $\Sigma$-protocols. Prior work [Abe et al., Eurocrypt~'26] addressed the simulator side with critical-round zero-knowledge. In this paper, we address the extractor side and introduce critical-round special soundness (CRSS): a witness is extractable from a small critical subtree of transcripts that branches only from on

전체 내용이 궁금하다면?

원문을 직접 읽어보세요

원문 보기