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 최적화는 미구현.
- 셀코어 룰(룰생성/룰조건추가) 형태의 명시적 규칙 표현은 미작성.