0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Faster and Smaller Anonymous Credentials from Standardized Signatures (원문, 새 창)
한국어 요약
Claude · 2026-10-25이 논문은 ECDSA, RSA, ML-DSA 등 표준화된 서명 방식 위에서 익명 인증서(anonymous credentials)를 구축하기 위한 언어·검증 컴파일러·영지식증명 프로토콜로 구성된 시스템 'GordieHowe'를 제안한다. 이 시스템은 양자 공격자에 대한 증명 가능한 보안성, 여러 필드에 걸친 명제를 병렬로 증명·검증하는 효율성, 구조화된 연산의 자동 배칭을 동시에 달성한 최초의 시스템이다. 4코어 병렬 처리로 ECDSA 서명 모바일 운전면허 제시를 64.8ms, 276KiB 증명 크기로 처리해 구글의 Longfellow보다 10.1배 빠르고 22% 작은 증명을 생성했으며, 양자 저항이 필요한 ML-DSA-44 서명 증명도 87.3ms, 549KiB로 Longfellow 최적화 회로보다 70.2배 빠르고 29% 작았다. 컴파일러는 Lean으로 검증된 의미 보존 증명서를 출력하는 등 고신뢰성 설계를 특징으로 한다.
- ECDSA·RSA·ML-DSA 표준 서명 위에서 익명 인증서를 구축하는 언어·컴파일러·영지식증명 시스템 GordieHowe 제시
- 양자 보안성, 다중 필드 병렬 증명, 구조화 연산 자동 배칭을 동시에 달성한 최초 시스템
- ECDSA 모바일 운전면허 증명을 64.8ms·276KiB로 처리, Google Longfellow보다 10.1배 빠르고 22% 작음
- ML-DSA-44 양자 저항 서명 증명을 87.3ms·549KiB로 처리, 최적화 Longfellow 대비 70.2배 빠르고 29% 작음
- 새로운 '직렬-병렬 IOP' 개념 정의, BCS 변환을 QROM에서 확장해 시뮬레이션 추출성 결과도 최초 제시
AI 인사이트
- GordieHowe는 ECDSA·RSA·ML-DSA 표준 서명 기반 익명 자격증명을 위한 언어·컴파일러·ZK증명 시스템
- 구글 Longfellow 대비 모바일 운전면허 증명을 10.1배 빠르고 22% 작은 크기로 생성(4코어 64.8ms, 276KiB)
- 포스트퀀텀 ML-DSA-44 서명 증명은 Longfellow 최적화 회로보다 70.2배 빠르고 29% 작음(87.3ms, 549KiB)
- Lean으로 기계검증된 보안 정리와 series-parallel IOP라는 새 개념으로 QROM 시뮬레이션 추출성 최초 입증
왜 중요한가
표준 서명 체계 위에서 바로 동작하는 익명 자격증명을 양자 내성까지 갖추면서 구글 Longfellow보다 훨씬 빠르게 구현해, 모바일 신원증명·디지털 ID 분야 실용화 가능성을 크게 높였다.
언급 프로젝트
AIChainDay 편집노트
왜 이 기사를 골랐나표준화된 서명 방식을 기반으로 더 빠르고 작은 익명 인증 시스템을 구축하는 GordieHowe의 개발은 한국의 디지털 신원 및 프라이버시 보호 기술 발전에 중요한 이정표가 될 수 있습니다. 특히 제로 지식 증명을 활용하여 효율성을 높이는 점은 국내 마이데이터 및 분산원장기술(DLT) 기반 서비스에서 사용자 프라이버시를 강화하면서도 시스템 성능을 유지하는 데 크게 기여할 것입니다.
본문 미리보기
We present GordieHowe, a system comprising a language, a certifying compiler, and a zero-knowledge proof protocol. GordieHowe is especially suitable for building anonymous credentials on top of standardized signature schemes like ECDSA, RSA, and ML-DSA. GordieHowe is the first system to achieve the following three properties simultaneously: provable security against quantum attackers, efficiency for statements spanning multiple fields—including proving and verifying in parallel—and automatic
전체 내용이 궁금하다면?
IACR ePrint (암호학)에서 원문을 직접 읽어보세요
- #영지식증명
- #익명인증서
- #포스트퀀텀서명
이 글이 만들어진 과정
- 11:34AI 초안