Skip to content

Latest commit

 

History

History
102 lines (95 loc) · 7.27 KB

CHANGELOG.md

File metadata and controls

102 lines (95 loc) · 7.27 KB
Raw

Pending

The main features of this release are:

  • Adding the ability to define fields with integer parameters
  • Multi-variate polynomial support
  • Multilinear polynomial support
  • Many speedups to operations involving polynomials
  • Some speedups to sqrt
  • Small speedups to MSMs
  • Big speedups to radix-2 FFTs
  • Fix in the assembly arithmetic backend
  • Adding new traits for basic curve cycles and pairing based curve cycles

Breaking changes

  • #20 (ark-poly) Move univariate DensePolynomial and SparsePolynomial into a univariate sub-crate. Make this change by: find w/ regex ark_poly::(Dense|Sparse)Polynomial, and replace with ark_poly::univariate::$1Polynomial.
  • #36 (ark-ec) In Short-Weierstrass curves, include an infinity bit in ToConstraintField.
  • #37 (ark-poly) In the Polynomial trait, add Hash trait bound to Point.
  • #38 (ark-poly) Add Add and Neg trait bounds to Polynomial.
  • #51 (ark-ff) Removed unitary_inverse from QuadExtField. Make this change by replacing x.unitary_inverse() with let mut tmp = x.clone(); tmp.conjugate()
  • #53 (ark-poly) Add Zero trait bound to Polynomial.
  • #96 (ark-ff) Make the field_new macro accept values in integer form, without requiring decomposition into limbs, and without requiring encoding in Montgomery form.
  • #106 (ark-ff, ark-ec) Add Zeroize trait bound to Field, ProjectiveGroup, AffineGroup traits.
  • #108 (ark-ff) Add extension_degree() method to Field.
  • #110 (ark-ec) Change the trait bound on the scalar for mul, from (essentially) Into<BigInt> to AsRef<[u64]>
  • #117 (ark-poly) Make the univariate SparsePolynomial implement Polynomial. Make this change by replacing sparse_poly.evaluate(pt) to sparse_poly.evaluate(&pt).
  • #129 (ark-ff) Move ark_ff::{UniformRand, test_rng} to ark_std::{UniformRand, test_rng}. Importing these from ark-ff is still possible, but is deprecated and will be removed in the following release.
  • #144 (ark-poly) Add CanonicalSerialize and CanonicalDeserialize trait bounds for Polynomial.
  • #160 (ark-serialize, ark-ff, ark-ec)
    • Remove ConstantSerializedSize; users should use serialized_size* (see next).
    • Add serialized_size_with_flags method to CanonicalSerializeWithFlags.
    • Change from_random_bytes_with_flags to output ark_serialize::Flags.
    • Change signatures of Flags::from_u8* to output Option.
    • Change Flags::from_u8* to be more strict about the inputs they accept: if the top bits of the u8 value do not correspond to one of the possible outputs of Flags::u8_bitmask, then these methods output None, whereas before they output a default value. Downstream users other than ark-curves should not see breakage unless they rely on these methods/traits explicitly.
  • #165 (ark-ff) Add from_base_field_elements as a method to the Field trait.
  • #166 (ark-ff) Change BigInt::{from_bytes, to_bits} to from_bytes_le, from_bytes_be, to_bits_le, to_bits_be.

Features

  • #20 (ark-poly) Add structs/traits for multivariate polynomials
  • #96 (ark-ff) Make the field_new macro accept values in integer form, without requiring decomposition into limbs, and without requiring encoding in Montgomery form.
  • #106 (ark-ff, ark-ec) Add Zeroize trait bound to Field, ProjectiveGroup, AffineGroup traits.
  • #117 (ark-poly) Add operations to SparsePolynomial, so it implements Polynomial
  • #140 (ark-poly) Add support for multilinear extensions in dense and sparse evaluation form.
  • #164 (ark-ff) Add methods from_{be, le}_bytes_mod_order to the PrimeField trait.
  • #197 (ark-test-curves) Add a BN384 curve with low two-arity for mixed-radix testing.

Improvements

  • #22 (ark-ec) Speedup fixed-base MSMs
  • #28 (ark-poly) Add domain() method on the evaluations struct
  • #31 (ark-ec) Speedup point doubling on twisted edwards curves
  • #35 (ark-ff) Implement ToConstraintField for bool
  • #48 (ark-ff) Speedup sqrt on QuadExtField
  • #94 (ark-ff) Implement ToBytes and FromBytes for u128
  • #99 (ark-poly) Speedup evaluate_all_lagrange_coefficients
  • #100 (ark-ff) Implement batch_inverse_and_mul
  • #101 (ark-ff) Add element(i: usize) on the Domain trait.
  • #107 (ark-serialize) Add an impl of CanonicalSerialize/Deserialize for BTreeSet.
  • #114 (ark-poly) Significantly speedup and reduce memory usage of DensePolynomial.evaluate.
  • #114, #119 (ark-poly) Add infrastructure for benchmarking DensePolynomial operations.
  • #115 (ark-poly) Add parallel implementation to operations on Evaluations.
  • #115 (ark-ff) Add parallel implementation of batch_inversion.
  • #122 (ark-poly) Add infrastructure for benchmarking FFTs.
  • #125 (ark-poly) Add parallelization to applying coset shifts within coset_fft.
  • #126 (ark-ec) Use ark_ff::batch_inversion for point normalization
  • #131, #137 (ark-ff) Speedup sqrt on fields when a square root exists. (And slows it down when doesn't exist)
  • #141 (ark-ff) Add Fp64
  • #144 (ark-poly) Add serialization for polynomials and evaluations
  • #149 (ark-serialize) Add an impl of CanonicalSerialize/Deserialize for String.
  • #153 (ark-serialize) Add an impl of CanonicalSerialize/Deserialize for Rc<T>.
  • #157 (ark-ec) Speed up variable_base_msm by not relying on unnecessary normalization.
  • #158 (ark-serialize) Add an impl of CanonicalSerialize/Deserialize for ().
  • #166 (ark-ff) Add a to_bytes_be() and to_bytes_le methods to BigInt.
  • #169 (ark-poly) Improve radix-2 FFTs by moving to a faster algorithm by Riad S. Wahby.
  • #171, #173, #176 (ark-poly) Apply significant further speedups to the new radix-2 FFT.
  • #188 (ark-ec) Make Short Weierstrass random sampling result in an element with unknown discrete log
  • #190 (ark-ec) Add curve cycle trait and extended pairing cycle trait for all types of ec cycles.
  • #201 (ark-ec, ark-ff, ark-test-curves, ark-test-templates) Remove the dependency on rand_xorshift
  • #205 (ark-ec, ark-ff) Unroll loops and conditionally use intrinsics in biginteger arithmetic, and reduce copies in ff and ec arithmetic.
  • #207 (ark-ff) Improve performance of extension fields when the non-residue is negative. (Improves fq2, fq12, and g2 speed on bls12 and bn curves)
  • #214 (ark-poly) Utilise a more efficient way of evaluating a polynomial at a single point

Bug fixes

  • #36 (ark-ec) In Short-Weierstrass curves, include an infinity bit in ToConstraintField.
  • #107 (ark-serialize) Fix handling of (de)serialize_uncompressed/unchecked in various impls of CanonicalSerialize/Deserialize.
  • #112 (ark-serialize) Make bools checked serialization methods non-malleable.
  • #119 (ark-poly) Fix bugs in degree calculation if adding/subtracting same degree polynomials whose leading coefficients cancel.
  • #160 (ark-serialize, ark-ff, ark-ec) Support serializing when MODULUS_BITS FLAG_BITS is greater than the multiple of 8 just greater than MODULUS_BITS, which is the case for the Pasta curves (fixes #47).
  • #165 (ark-ff) Enforce in the type system that an extension fields BaseField extends from the correct BasePrimeField.
  • #184 Compile with panic='abort' in release mode, for safety of the library across FFI boundaries.
  • #192 Fix a bug in the assembly backend for finite field arithmetic.
  • #217 (ark-ec) Fix the definition of PairingFriendlyCycle introduced in #190.

v0.1.0 (Initial release of arkworks/algebra)