이 논문은 비대화형 영지식 증명의 비가단성(non-malleability)을 지식 환원(reduction of knowledge, RoK) 관점에서 분석하는 모듈형 프레임워크를 제시한다. RoK는 원천 관계에 대한 지식 증명 과제를 더 단순하거나 구조화된 목표 관계에 대한 증명으로 변환하는 도구로, 두 RoK, 특히 Fiat-Shamir 변환으로 얻은 비대화형 RoK를 합성할 때 시뮬레이션 추출성과 비가단성이 보존되는 조건을 규명했다. 각 구성요소에 필요한 단순하고 구체적인 속성, 그리고 완전한 시뮬레이션 추출성보다 검증하기 쉬운 새로운 형태의 영지식·보안 개념을 제안해 모듈형 증명 시스템에서 비가단성을 확립하는 체계적 도구상자를 제공한다. 격자 기반 R1CS 증명 시스템인 LaBRADOR(CRYPTO'23)에 적용해 최초로 시뮬레이션 추출성을 분석했고, 원래 영지식이 아닌 LaBRADOR의 실용적 효율성과 준선형 증명 크기를 보존하는 영지식 변형도 새로 설계했다.
- •비대화형 영지식 증명의 비가단성을 지식 환원(RoK) 합성 관점에서 분석하는 모듈형 프레임워크 제시
- •Fiat-Shamir 기반 비대화형 RoK 합성이 시뮬레이션 추출성을 보존하는 조건을 규명
- •완전한 시뮬레이션 추출성보다 검증하기 쉼은 새로운 영지식·보안 개념 제안
- •LaBRADOR에 적용해 최초로 시뮬레이션 추출성을 분석하고 효율성을 유지하는 영지식 변형을 설계
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Non-Malleable Reductions of Knowledge
- 1.Fiat-Shamir 기반 비대화형 지식 축소(RoK)를 합성할 때 시뮬레이션 추출성과 비가단성을 보존하는 모듈형 분석 프레임워크 제시
- 2.각 구성요소가 갖춰야 할 단순한 성질과 새로운 영지식·안전성 개념을 정의해 검증을 완전 시뮬레이션 추출성보다 쉽게 만듦
- 3.LaBRADOR(Beullens-Seiler, CRYPTO'23) 격자 기반 R1CS 증명 시스템에 처음으로 시뮬레이션 추출성 분석 적용
- 4.LaBRADOR가 영지식이 아니라는 점을 보완해 실용 효율과 준선형 증명 크기를 유지하는 영지식 변형을 설계
왜 중요한가?
모듈형 증명 시스템에서 비가단성 확보가 개별 컴포넌트 단위 검증만으로 가능해져, LaBRADOR 같은 실전 배포용 격자 기반 증명 시스템의 보안 분석과 안전한 합성 설계를 크게 단순화한다.
언급 프로젝트
이 연구는 영지식 증명(ZKP)의 핵심 보안 특성인 비변조성(non-malleability)을 강화하는 새로운 모듈형 프레임워크를 제시합니다. 국내 블록체인 산업이 영지식 기술을 활용한 프라이버시 보호 및 DID(탈중앙화 신원증명) 솔루션을 적극 도입하는 상황에서, 본 연구는 관련 시스템의 신뢰성과 보안 강화를 위한 중요한 기반 기술로 주목해야 합니다.
본문 미리보기
Non-malleability for non-interactive zero-knowledge proofs requires that, given a proof for a statement, it is infeasible to derive a valid proof for a related statement without knowing a corresponding witness. We introduce a modular framework for analyzing non-malleable reductions of knowledge (RoKs). A reduction of knowledge transforms the task of proving knowledge for a source relation into proving knowledge for a target relation, often simpler or more structured. RoKs are an extremely usefu
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:25AI 초안
