ZYM/BH-int2048-2023
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix: overflow in RestoreHalfBlock

Browse Source
This commit is contained in:
ZhuangYumin
2023-10-31 17:10:03 +08:00
parent bcec853fe6
commit 3b578c7f60
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/int2048.cpp
View File

@ -638,11 +638,12 @@ void int2048::RestoreHalfBlock() {
assert(this->num_length % int2048::kNum == 0); assert(this->num_length % int2048::kNum == 0);
int blocks_num = this->num_length / int2048::kNum; int blocks_num = this->num_length / int2048::kNum;
for (int i = 0; i < blocks_num - 1; i++) { for (int i = 0; i < blocks_num - 1; i++) {
val[i] *= int2048::kNTTBlockBase; val[i] = ((long long)val[i] * int2048::kNTTBlockBase) % int2048::kStoreBase;
val[i] %= int2048::kStoreBase;
val[i] += val[i + 1] / int2048::kNTTBlockBase; val[i] += val[i + 1] / int2048::kNTTBlockBase;
} }
(val[blocks_num - 1] *= int2048::kNTTBlockBase) %= int2048::kStoreBase; val[blocks_num - 1] =
((long long)val[blocks_num - 1] * int2048::kNTTBlockBase) %
int2048::kStoreBase;
while (this->num_length > 0 && val[this->num_length / int2048::kNum - 1] == 0) while (this->num_length > 0 && val[this->num_length / int2048::kNum - 1] == 0)
this->num_length -= int2048::kNum; this->num_length -= int2048::kNum;
} }