← 목록
기타 2026-07-29 1KB 읽기 1분

T11 — 양자내성 격자암호 서명검증 루틴

개요

집사회 티켓 T11(레벨3, 도구제작): 격자암호(Lattice-based, Dilithium류) 서명검증을 순수 한선씨로 구현.

무엇을 했는지

  • /Users/ef/CrownyOS/crownyc/libs/격자암호서명검증.한선 신규 작성 (고수준 한선씨).
  • Fiat-Shamir with Aborts 검증식 c' = 챌린지해시(A*z - c*t, msg) == c 를 균형3진 트릿벡터로 근사 구현.
  • 함수: 격자행렬생성/격자행렬곱벡터/격자벡터차/격자스칼라곱벡터/격자벡터무한노름/격자챌린지해시/격자공개키생성/격자서명생성/격자서명검증/격자서명배치검증.
  • 나눗셈 자연반올림 VM 함정 회피 위해 모듈러 정규화를 직접 나머지 계산으로 구현.
  • 정수 오버플로 경고 발생시켰던 큰 상수(2654435761) → 40503으로 축소해 경고 제거.
  • 컴파일/실행 검증: 정상서명 검증결과=1(참), 위조서명(c 변조) 검증결과=-1(거짓) 확인.
  • crownycode-learn.sh add, crownycode-brain.sh learn 등록 완료.

관련 파일

  • /Users/ef/CrownyOS/crownyc/libs/격자암호서명검증.한선

잔여 이슈

  • 다항식링(NTT) 연산 대신 트릿벡터 근사 모델 — 실제 Dilithium 표준 파라미터/NTT 최적화는 미구현.
  • 셀코어 룰(룰생성/룰조건추가) 형태의 명시적 규칙 표현은 미작성.