diff --git a/tachyon/crypto/commitments/kzg/shplonk.h b/tachyon/crypto/commitments/kzg/shplonk.h index 93f85d97d..41950c90c 100644 --- a/tachyon/crypto/commitments/kzg/shplonk.h +++ b/tachyon/crypto/commitments/kzg/shplonk.h @@ -177,8 +177,8 @@ class SHPlonk final : public UnivariatePolynomialCommitmentScheme< return poly; } - return Poly( - Coefficients({-low_degree_extensions[i].Evaluate(u)})); + return Poly(Coefficients( + {-low_degree_extensions[i].Evaluate(u)}, true)); }); // clang-format off diff --git a/tachyon/zk/plonk/examples/circuit_test.h b/tachyon/zk/plonk/examples/circuit_test.h index 7911a2d75..400389893 100644 --- a/tachyon/zk/plonk/examples/circuit_test.h +++ b/tachyon/zk/plonk/examples/circuit_test.h @@ -97,7 +97,7 @@ class CircuitTest : public halo2::ProverTest coefficients = base::Map( poly, [](std::string_view coeff) { return *F::FromHexString(coeff); }); return Poly(math::UnivariateDenseCoefficients( - std::move(coefficients))); + std::move(coefficients), true)); } static std::vector CreatePolys(