이 논문은 타원곡선에서 스칼라를 최상위 비트부터 처리하는 좌측-우측(left-to-right) 스칼라 곱셈 방식에서 발생하는 예외 상황을 분석해, 타이밍 공격을 막는 상수시간 연산 조건을 제시한다. 연구진은 예외가 마지막 덧셈에서만 발생하거나 전혀 발생하지 않는 조건을 규명했고, 이를 활용하면 예외 처리가 필요 없는 고속 공식으로 모든 덧셈·두 배 연산을 수행해 상수시간 동작을 보장할 수 있다고 밝혔다. 콤(Comb) 방식의 두 변형인 SAB-Set과 LSB-Set에 대해 기저점 차수와 콤 파라미터에 대한 완화된 제약 조건 하에서 상수시간 조건이 충족됨을 증명했으며, SAB-Set용 스칼라 재인코딩 알고리즘도 새로 제안했다.
- •좌측-우측 스칼라 곱셈에서 예외가 마지막 덧셈에만 발생하거나 전혀 없는 조건 규명
- •예외 처리 없는 고속 공식으로 상수시간 동작을 보장해 타이밍 공격 방지
- •콤 방식의 SAB-Set·LSB-Set 변형 모두 완화된 조건 하에서 상수시간 조건 충족 증명
- •SAB-Set 변형을 위한 새로운 스칼라 재인코딩 알고리즘 제안
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Constant-Time Conditions for Left-to-Right Scalar Multiplication
- 1.타원곡선 좌→우 스칼라곱셈의 예외를 최종 덧셈 단계로 한정하거나 완전 제거하는 조건 증명
- 2.Comb 방법의 SAB-Set·LSB-Set 변형 모두에서 완화된 조건만으로 상수시간 실행 가능함을 증명
- 3.SAB-Set 변형을 위한 새로운 스칼라 재인코딩 알고리즘 제안
- 4.예외 처리 없는 가산·배가 공식 사용으로 타이밍 공격 방지 구현 지침 제시
왜 중요한가?
타원곡선 암호의 상수시간 구현은 타이밍 공격 방어에 필수적인데, 예외 처리 로직 자체가 누출 경로가 될 수 있어 이 연구는 Comb 기반 방식에서 예외를 원천 배제·국소화하는 조건을 제시해 더 단순하고 검증 가능한 구현을 가능케 한다.
이 논문은 타원 곡선 암호화(ECC)의 핵심 연산인 스칼라 곱셈에서 타이밍 공격을 방지하는 '상수 시간(constant-time)' 구현 방법을 다룹니다. 국내 블록체인 및 암호화폐 서비스에서 ECC가 광범위하게 사용되는 점을 고려할 때, 이는 국내 서비스의 보안 취약점을 줄이고 사용자 자산 보호를 강화하는 데 필수적인 기술적 고려사항이 될 것입니다. 개발자들이 반드시 주목해야 할 실질적인 보안 강화 방안입니다.
본문 미리보기
We consider methods for scalar multiplication on an elliptic curve where the scalar digits are processed from left to right, that is, from most significant to least significant. We analyze exceptions that may arise during point addition and doubling throughout the multiplication. Eliminating such exceptions is critical for achieving constant-time execution and preventing timing attacks. We establish conditions under which exceptions occur only at the final addition or not at all. Guided by these
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안



