Update ark-poly requirement from ^0.2.0 to ^0.4.0

[dependabot]

Updates the requirements on ark-poly to permit the latest version.

Changelog

Sourced from ark-poly's changelog.

v0.4.0

Breaking changes

• #300 (ark-ec) Change the implementation of Hash trait of GroupProjective to use the affine coordinates.
• #302 (ark-ff) Rename find_wnaf to find_naf.
• #310 (ark-ec, ark-ff) Remove unnecessary internal PhantomData.
• #333 (ark-poly) Expose more properties of EvaluationDomains.
• #338 (ark-ec) Add missing UniformRand trait bound to GroupAffine.
• #338 (workspace) Change to Rust 2021 edition.
• #345 (ark-ec, ark-serialize) Change the serialization format for Twisted Edwards Curves. We now encode the Y coordinate and take the sign bit of the X coordinate, the default flag is also now the Positive X value. The old methods for backwards compatibility are located here
• #348 (ark-ec) Rename msm:{Fixed,Variable}BaseMSM:multi_scalar_mul to msm:{Fixed,Variable}:msm to avoid redundancy.
• #359 (ark-test-templates) Simplify the field and curve test macros.
• #365 (ark-ec)
  • Move COFACTOR, COFACTOR_INV, and is_in_correct_subgroup_assuming_on_curve() from {SW,TE}CurveConfig to CurveConfig.
  • Add mul_bits() to AffineCurve and provide a default implementation of mul() using this.
  • Remove duplicate function scale_by_cofactor() from short_weierstrass::GroupAffine and twisted_edwards_extended::GroupAffine
• #370 (all) Set the minimum rust-version = 1.56 in the manifests of all crates.
• #379 (ark-ff) Refactor Field implementation and PrimeField trait:
  • Switch from hardcoded FpXYZ to Fp<N> based on const generics.
  • Move Montgomery arithmetic to an optional backend.
  • Rename field_new macros to MontFp, QuadExt and CubicExt macros.
  • Introduce const fns for generating many constants.
  • Add default associated constants to reduce boilerplate.
  • Rename Fp*Parameters to Fp*Config.
  • Add From<u32>, From<u16>, and From<u8> impls for BigInt<N>.
  • Remove FftConfig; move its contents to FftField.
• #383 (ark-ff) Rename BigInteger::add_nocarry to add_with_carry and sub_noborrow to sub_with_borrow.
• #386 (ark-ff) Remove PrimeField::GENERATOR, since it already exists on FftField.
• #393 (ark-ec, ark-ff) Rename FpXParams to FpXConfig and FpXParamsWrapper to FpXConfigWrapper.
• #396 (ark-ec) Remove mul_bits feature, and remove default implementations of mul and mul_by_cofactor_to_projective.
• #408 (ark-ff) Change the output of Display formatting for BigInt and Fp from hex to decimal.
• #412 (ark-poly) Rename UV/MVPolynomial to DenseUV/MVPolynomial.
• #417 (ark-ff) Remove ToBytes and FromBytes.
• #418 (ark-ff) Add sums_of_products to Field and Fp
• #422 (ark-ff) Remove SquareRootField, and move functionality to Field
• #425 (ark-ec) Refactor VariableBase struct to VariableBaseMSM trait and implement it for GroupProjective.
• #438 (ark-ec) Rename modules, structs, and traits related to ec.
  • short_weierstrass_jacobian → short_weierstrass
  • twisted_edwards_extend → twisted_edwards
  • GroupAffine → Affine
  • GroupProjective → Projective
  • ModelParameters → CurveConfig
  • SWModelParameters → SWCurveConfig
  • TEModelParameters → TECurveConfig
  • MontgomeryModelParameters → MontCurveConfig
• #440 (ark-ff) Add a method to construct a field element from an element of the underlying base prime field.
• #443, #449 (ark-ec) Improve ergonomics of scalar multiplication.
  • Rename ProjectiveCurve::mul(AsRef[u64]) to ProjectiveCurve::mul_bigint(AsRef[u64]).
  • Bound ProjectiveCurve by

... (truncated)

Commits

• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)