Skip to content

Commit 05e3faa

Browse files
authored
Remove redundant constraints (#969)
* Remove redundant constraints * Changelog
1 parent 6d33b3c commit 05e3faa

File tree

2 files changed

+2
-5
lines changed

2 files changed

+2
-5
lines changed

CHANGELOG.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
## Pending
44

55
- Consolidated logic into `bitreverse_permutation_in_place` and made it public.
6+
- Remove redundant type constraints from `Pairing::G1Prepared`.
67

78
### Breaking changes
89

@@ -54,7 +55,7 @@
5455

5556
- [\#736](https://github.com/arkworks-rs/algebra/pull/736) (`ark-ff`) Deprecate `divn()`, and use `core::ops::{Shr, ShrAssign}` instead.
5657
- [\#739](https://github.com/arkworks-rs/algebra/pull/739) (`ark-ff`) Deprecate `muln()`, and use `core::ops::{Shl, ShlAssign}` instead.
57-
- [\#771](https://github.com/arkworks-rs/algebra/pull/771) (`ark-ec`) Omit expensive scalar multiplication in `is_in_correct_subgroup_assuming_on_curve()` for short Weierstrass curves of cofactor one.
58+
- [\#771](https://github.com/arkworks-rs/algebra/pull/771) (`ark-ec`) Omit expensive scalar multiplication in `is_in_correct_subgroup_assuming_on_curve()` for short Weierstrass curves of cofactor one.
5859
- [\#817](https://github.com/arkworks-rs/algebra/pull/817) (`ark-ec`) Relax the visibility for G2 ell coeffs and related algorithms.
5960

6061
### Bugfixes

ec/src/pairing.rs

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -51,8 +51,6 @@ pub trait Pairing: Sized + 'static + Copy + Debug + Sync + Send + Eq {
5151
+ Debug
5252
+ CanonicalSerialize
5353
+ CanonicalDeserialize
54-
+ for<'a> From<&'a Self::G1>
55-
+ for<'a> From<&'a Self::G1Affine>
5654
+ From<Self::G1>
5755
+ From<Self::G1Affine>;
5856

@@ -83,8 +81,6 @@ pub trait Pairing: Sized + 'static + Copy + Debug + Sync + Send + Eq {
8381
+ Debug
8482
+ CanonicalSerialize
8583
+ CanonicalDeserialize
86-
+ for<'a> From<&'a Self::G2>
87-
+ for<'a> From<&'a Self::G2Affine>
8884
+ From<Self::G2>
8985
+ From<Self::G2Affine>;
9086

0 commit comments

Comments
 (0)