mirror of https://github.com/zcash/orchard.git
gadget::ecc: Clean up bounds four FixedPointBaseField, FixedPointShort.
This commit is contained in:
parent
191b5df0cb
commit
f0e9daf722
|
@ -381,10 +381,7 @@ pub struct FixedPoint<C: CurveAffine, EccChip: EccInstructions<C>> {
|
||||||
/// A constant elliptic curve point over the given curve, used in scalar multiplication
|
/// A constant elliptic curve point over the given curve, used in scalar multiplication
|
||||||
/// with a base field element
|
/// with a base field element
|
||||||
#[derive(Clone, Debug)]
|
#[derive(Clone, Debug)]
|
||||||
pub struct FixedPointBaseField<C: CurveAffine, EccChip>
|
pub struct FixedPointBaseField<C: CurveAffine, EccChip: EccInstructions<C>> {
|
||||||
where
|
|
||||||
EccChip: EccInstructions<C> + Clone + Debug + Eq,
|
|
||||||
{
|
|
||||||
chip: EccChip,
|
chip: EccChip,
|
||||||
inner: <EccChip::FixedPoints as FixedPoints<C>>::Base,
|
inner: <EccChip::FixedPoints as FixedPoints<C>>::Base,
|
||||||
}
|
}
|
||||||
|
@ -392,10 +389,7 @@ where
|
||||||
/// A constant elliptic curve point over the given curve, used in scalar multiplication
|
/// A constant elliptic curve point over the given curve, used in scalar multiplication
|
||||||
/// with a short signed exponent
|
/// with a short signed exponent
|
||||||
#[derive(Clone, Debug)]
|
#[derive(Clone, Debug)]
|
||||||
pub struct FixedPointShort<C: CurveAffine, EccChip>
|
pub struct FixedPointShort<C: CurveAffine, EccChip: EccInstructions<C>> {
|
||||||
where
|
|
||||||
EccChip: EccInstructions<C> + Clone + Debug + Eq,
|
|
||||||
{
|
|
||||||
chip: EccChip,
|
chip: EccChip,
|
||||||
inner: <EccChip::FixedPoints as FixedPoints<C>>::ShortScalar,
|
inner: <EccChip::FixedPoints as FixedPoints<C>>::ShortScalar,
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue