🇰🇷 한글 설명
Post-Quantum Secure Feldman's VSS 라이브러리 0.8.0b2 이하 버전에서 행렬 연산의 타이밍 사이드채널 취약점이 발견되었습니다. 공격자가 함수 실행 시간을 측정하면 비밀 다항식 계수와 같은 민감 정보를 복구할 수 있습니다. Python의 실행 모델이 상수 시간 실행을 보장하지 못하기 때문에 발생합니다.
💡 쉬운 설명
암호화 라이브러리가 연산 속도로 비밀 정보를 드러내는 취약점입니다. 공격자가 프로그램 실행 시간을 반복적으로 측정하면 암호 키를 훔칠 수 있습니다.
🇺🇸 원문 (English)
Post-Quantum Secure Feldman's Verifiable Secret Sharing provides a Python implementation of Feldman's Verifiable Secret Sharing (VSS) scheme. In versions 0.8.0b2 and prior, the `feldman_vss` library contains timing side-channel vulnerabilities in its matrix operations, specifically within the `_find_secure_pivot` function and potentially other parts of `_secure_matrix_solve`. These vulnerabilities are due to Python's execution model, which does not guarantee constant-time execution. An attacker with the ability to measure the execution time of these functions (e.g., through repeated calls with carefully crafted inputs) could potentially recover secret information used in the Verifiable Secret Sharing (VSS) scheme. The `_find_secure_pivot` function, used during Gaussian elimination in `_secure_matrix_solve`, attempts to find a non-zero pivot element. However, the conditional statement `if matrix[row][col] != 0 and row_random < min_value:` has execution time that depends on the value of `matrix[row][col]`. This timing difference can be exploited by an attacker. The `constant_time_compare` function in this file also does not provide a constant-time guarantee. The Python implementation of matrix operations in the _find_secure_pivot and _secure_matrix_solve functions cannot guarantee constant-time execution, potentially leaking information about secret polynomial coefficients. An attacker with the ability to make precise timing measurements of these operations could potentially extract secret information through statistical analysis of execution times, though practical exploitation would require significant expertise and controlled execution environments. Successful exploitation of these timing side-channels could allow an attacker to recover secret keys or other sensitive information protected by the VSS scheme. This could lead to a complete compromise of the shared secret. As of time of publication, no patched versions of Post-Quantum Secure Feldman's Verifiable Secret Sharing exist, but other mitigations are available. As acknowledged in the library's documentation, these vulnerabilities cannot be adequately addressed in pure Python. In the short term, consider using this library only in environments where timing measurements by attackers are infeasible. In the medium term, implement your own wrappers around critical operations using constant-time libraries in languages like Rust, Go, or C. In the long term, wait for the planned Rust implementation mentioned in the library documentation that will properly address these issues.
📍 영향받는 시스템
feldman-vss <= 0.8.0b2
⚔️ 공격 벡터
공격자가 함수 호출 시간을 정밀 측정하여 통계 분석으로 비밀 정보 추출
🛡️ 대응 방법
Rust 구현 버전 출시까지 타이밍 측정이 불가능한 환경에서만 사용하거나 Rust/Go/C로 래퍼 구현
🔧 검증 코드
설치된 feldman-vss의 버전을 확인합니다. 0.8.0b2 이하면 취약합니다. 설치되지 않았으면 'Not installed' 출력됩니다.
pip show feldman-vss 2>/dev/null | grep Version || echo 'Not installed'