From 5a0d84ed01a978196dfc54ed3633eabffc52c840 Mon Sep 17 00:00:00 2001 From: Hsiao-Wei Wang Date: Tue, 27 Sep 2022 17:50:03 +0800 Subject: [PATCH] int casting to avoid underflow --- specs/eip4844/polynomial-commitments.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/specs/eip4844/polynomial-commitments.md b/specs/eip4844/polynomial-commitments.md index 1ecfe4f36..c88b74b1d 100644 --- a/specs/eip4844/polynomial-commitments.md +++ b/specs/eip4844/polynomial-commitments.md @@ -329,7 +329,7 @@ def compute_kzg_proof(polynomial: Polynomial, z: BLSFieldElement) -> KZGProof: # Make sure we won't divide by zero during division assert z not in ROOTS_OF_UNITY - denominator_poly = [(x - z) % BLS_MODULUS for x in bit_reversal_permutation(ROOTS_OF_UNITY)] + denominator_poly = [(int(x) - z) % BLS_MODULUS for x in bit_reversal_permutation(ROOTS_OF_UNITY)] # Calculate quotient polynomial by doing point-by-point division quotient_polynomial = [div(a, b) for a, b in zip(polynomial_shifted, denominator_poly)]