Design of Hash Functions Optimized for Post-Quantum Zero-Knowledge Proofs
개인기초연구(과기정통부)(R&D) · 우수연구-핵심연구(기본연구B)
2026년
2710114464
과학기술정보통신부
한국연구재단
고려대학교
김성광
2명
2026.09.01 ~ 2027.08.31
2026.09.01 ~ 2029.08.31
6,355만원
6,355만원
응용연구
대학
서울특별시 성북구
수학 > 이산/정보수학 > 암호론/부호론
본 연구의 최종 목표는 양자내성 영지식 증명 환경의 산술화 구조에 최적화된 신규 해시 함수를 개발하는 것이다. 단순히 실행 속도가 빠른 해시를 만드는 것을 넘어, 각 증명 시스템이 가지는 고유한 비용 모델 안에서 증명 생성 및 검증 효율을 극대화할 수 있는 설계 원리와 파라미터, 참조구현, 그리고 안전성 검증 방법론을 확립하고자 한다. 특히 기존 AO 해시...
본 연구는 최종 목표 달성을 위해 양자내성 영지식 증명 환경의 비용 모델 정립, 대수적 안전성 분석, 그리고 신규 해시 설계 및 구현이라는 세 가지 주제를 연계하여 연구를 수행한다.양자내성 영지식 증명 시스템의 비용 모델 정립 및 벤치마크 환경 구축최우선적으로 양자내성 영지식 증명 시스템을 분류하고 고유의 효율성 지표를 체계화한다. 구체적으로 해시 기반 영...
... 수 있는 인증 체계의 적용 가능성을 검증할 수 있다. 양자 내성 영지식 증명에서 효율적으로 증명 가능한 신규 AO 해시 함수가 확보되면, zk-rollup 및 프라이버시 보존 결제 등 블록체인 기반 디지털 화폐가 양자 컴퓨터 시대로 전환되는 과정에서 발생하는 증명 오버헤드를 절감하여 대규모 사용자가 참여하는 탈중앙 결제 인프라를 양자 내성 환경에서도 실용적인 처리량으로 운용할 ...