ark-r1cs-std/CHANGELOG.md

CHANGELOG

Pending

Breaking changes

• #121
  • Refactor UInt{8,16,64,128} into one struct UInt.
  • Remove bits module.
  • Use std::ops traits for UInt and Boolean.
• #134 Add Mul<NonnativeFieldVar> bounds and impls for CurveVar.
• #135
  • Rename NonNativeFieldVar to EmulatedFpVar.
  • Rename fields::nonnative to fields::emulated_fp.
  • Rename fields::nonnative::{Allocated}NonNativeMulResultVar to fields::emulated_fp::{Allocated}MulResultVar.
• #136
  • Rename ToBytesGadget::to_{non_unique_}bytes → ToBytesGadget::to_{non_unique_}bytes_in_le.

Features

• #136
  • Add {BitAnd,BitOr,BitXor,BitAndAssign,BitOrAssign,BitXorAssign}<T> for UInt<N, T, F>.
  • Add UInt::rotate_{left,right}_in_place.
  • Add {Boolean,UInt}::not_in_place.
  • Add UInt::{from_bytes_le, from_bytes_be, to_bytes_be}.
• #143
  • Add AllocVar::new_variable_with_inferred_mode.

Improvements

Bug Fixes

0.4.0

• #117 Fix result of precomputed_base_scalar_mul_le to not discard previous value.
• #124 Fix scalar_mul_le constraints unsatisfiability when short Weierstrass point is zero.
• #127 Convert NonNativeFieldVar constants to little-endian bytes instead of big-endian (ToBytesGadget).
• #133 Save 1 constraint in FpVar::{is_eq, is_neq} by removing the unnecessary booleanity check.

Breaking changes

• #86 Change the API for domains for coset.

Features

• #84 Expose short_weierstrass::non_zero_affine module and implement EqGadget for NonZeroAffineVar.
• #79 Move NonNativeFieldVar from ark-nonnative to ark-r1cs-std.
• #76 Implement ToBytesGadget for Vec<UInt8>.
• nonnative/#45 Add new_witness_with_le_bits which returns the bits used during variable allocation.

Improvements

Bug Fixes

• #101 Fix is_zero for twisted Edwards curves.
• #86 Make result of query_position_to_coset consistent with ark-ldt.
• #77 Fix BLS12 G2PreparedGadget's AllocVar when G2 uses a divisive twist.

v0.3.1

Features

• #71 Implement the Sum trait for FpVar.
• #75 Introduce mul_by_inverse_unchecked for FieldVar. This accompanies the bug fix in #70.

Bug Fixes

• #70 Fix soundness issues of mul_by_inverse for field gadgets.

v0.3.0

Breaking changes

• #60 Rename AllocatedBit to AllocatedBool for consistency with the Boolean variable. You can update downstream usage with grep -rl 'AllocatedBit' . | xargs env LANG=C env LC_CTYPE=C sed -i '' 's/AllocatedBit/AllocatedBool/g'.
• #65 Rename Radix2Domain in r1cs-std to Radix2DomainVar.
• nonnative/#43 Add padding to allocated nonnative element's to_bytes.

Features

• #53 Add univariate evaluation domain and Lagrange interpolation.

Improvements

• #65 Add support for non-constant coset offset in Radix2DomainVar.

Bug Fixes

v0.2.0

Breaking changes

• #12 Make the output of the ToBitsGadget impl for FpVar fixed-size
• #48 Add Clone trait bound to CondSelectGadget.

Features

• #21 Add UInt128
• #50 Add DensePolynomialVar

Improvements

• #5 Speedup BLS-12 pairing
• #13 Add ToConstraintFieldGadget to ProjectiveVar
• #15, #16 Allow cs to be None when converting a Montgomery point into a Twisted Edwards point
• #20 Add CondSelectGadget impl for UInts
• #22 Reduce density of three_bit_cond_neg_lookup
• #23 Reduce allocations in UInts
• #33 Speedup scalar multiplication by a constant
• #35 Construct a FpVar from bits
• #36 Implement ToConstraintFieldGadget for Vec<Uint8>
• #40, #43 Faster scalar multiplication for Short Weierstrass curves by relying on affine formulae
• #46 Add mux gadget as an auto-impl in CondSelectGadget to support random access of an array

Bug fixes

• #8 Fix bug in three_bit_cond_neg_lookup when using a constant lookup bit
• #9 Fix bug in short_weierstrass::ProjectiveVar::to_affine
• #29 Fix to_non_unique_bytes for BLS12::G1Prepared
• #34 Fix mul_by_inverse for constants
• #42 Fix regression in mul_by_inverse constraint count
• #47 Compile with panic='abort' in release mode, for safety of the library across FFI boundaries
• #57 Clean up UInt docs

v0.1.0

Initial release