sodium_crypto_core_ristretto255_is_valid_point 함수는 Ristretto255 점의 유효성을 검사하는 데 사용되는 함수입니다. 이 함수는 Ristretto255 점의 특성에 따라 유효성을 검사합니다.
Ristretto255 점의 유효성 검사는 다음 조건을 만족해야 합니다.
1. 점의 x-좌표와 y-좌표는 모두 256-bit의 정수여야 합니다.
2. 점의 x-좌표와 y-좌표는 모두 0이 아닌 정수여야 합니다.
3. 점의 x-좌표와 y-좌표는 모두 2^255 - 19의 배수여야 합니다.
4. 점의 x-좌표와 y-좌표는 모두 2^252 + 2774231777736737277760994277346559의 배수여야 합니다.
이러한 조건을 만족하는지 확인하기 위해 함수는 다음과 같은 코드를 사용할 수 있습니다.
#hostingforum.kr
c
int sodium_crypto_core_ristretto255_is_valid_point(const unsigned char *x, const unsigned char *y) {
// 1. 점의 x-좌표와 y-좌표는 모두 256-bit의 정수여야 합니다.
if (x[31] & 0x80 || y[31] & 0x80) {
return 0;
}
// 2. 점의 x-좌표와 y-좌표는 모두 0이 아닌 정수여야 합니다.
if (!x[31] || !y[31]) {
return 0;
}
// 3. 점의 x-좌표와 y-좌표는 모두 2^255 - 19의 배수여야 합니다.
if (x[0] != 0x19 || y[0] != 0x19) {
return 0;
}
// 4. 점의 x-좌표와 y-좌표는 모두 2^252 + 2774231777736737277760994277346559의 배수여야 합니다.
if (x[0] != 0x19 || y[0] != 0x19) {
return 0;
}
return 1;
}
위 코드는 Ristretto255 점의 유효성을 검사하는 데 사용되는 함수입니다. 이 함수는 위에서 설명한 조건을 만족하는지 확인합니다. 만약 조건을 만족한다면 함수는 1을 반환하고, 그렇지 않으면 0을 반환합니다.
2025-08-12 17:27