status-im/eth2.0-specs
2
0
Fork 0
mirror of https://github.com/status-im/eth2.0-specs.git synced 2025-01-22 00:20:28 +00:00
Code Issues Projects Releases Wiki Activity

Fix compute_quotient_eval_within_domain overflow

Browse Source
This commit is contained in:
Hsiao-Wei Wang 2023-02-17 01:22:11 +08:00
parent ab11a014ee
commit a562710fe6
No known key found for this signature in database
GPG Key ID: AE3D6B174F971DE4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
specs/deneb/polynomial-commitments.md
View File

@ -459,7 +459,7 @@ def compute_quotient_eval_within_domain(z: BLSFieldElement,
f_i = int(BLS_MODULUS) + int(polynomial[i]) - int(y) % BLS_MODULUS
numerator = f_i * int(omega_i) % BLS_MODULUS
denominator = int(z) * (int(BLS_MODULUS) + int(z) - int(omega_i)) % BLS_MODULUS
result += div(BLSFieldElement(numerator), BLSFieldElement(denominator))
result += int(div(BLSFieldElement(numerator), BLSFieldElement(denominator)))
return BLSFieldElement(result % BLS_MODULUS)
```