diff --git a/src/extension_field_modulo_circuit.py b/src/extension_field_modulo_circuit.py index c3c4d849..b2cd1dc0 100644 --- a/src/extension_field_modulo_circuit.py +++ b/src/extension_field_modulo_circuit.py @@ -86,13 +86,13 @@ def eval_poly_in_precomputed_Z( assert len(X) <= len( self.z_powers ), f"{len(X)} > Zpowlen = {len(self.z_powers)}" - sparsity = [1 if elmt != self.field.zero() else 0 for elmt in X] if not sparse: X_of_z = X[0] for i in range(1, len(X)): X_of_z = self.add(X_of_z, self.mul(X[i], self.z_powers[i - 1])) else: + sparsity = [1 if elmt.value != 0 else 0 for elmt in X] first_non_zero_idx = sparsity.index(1) if first_non_zero_idx == 0: X_of_z = X[0] @@ -227,7 +227,7 @@ def extf_div( x_over_y, _, _ = self.write_commitments(x_over_y) s1 = self.transcript.RLC_coeff s1 = self.field(s1) - Q, R = nondeterministic_extension_field_mul_divmod( + Q, _ = nondeterministic_extension_field_mul_divmod( x_over_y, Y, self.curve_id, extension_degree ) # R should be X