Trait ark_ec::group::Group[−][src]

pub trait Group: ToBytes + 'static + FromBytes + Copy + Clone + Debug + Display + Default + Send + Sync + Eq + Hash + Neg<Output = Self> + UniformRand + Zero + Add<Self, Output = Self> + Sub<Self, Output = Self> + AddAssign<Self> + SubAssign<Self> + MulAssign<Self::ScalarField> + for<'a> Add<&'a Self, Output = Self> + for<'a> Sub<&'a Self, Output = Self> + for<'a> AddAssign<&'a Self> + for<'a> SubAssign<&'a Self> + Sum<Self> + for<'a> Sum<&'a Self> {
    type ScalarField: PrimeField + Into<<Self::ScalarField as PrimeField>::BigInt>;
#[must_use]    fn double(&self) -> Self;

    fn double_in_place(&mut self) -> &mut Self;

#[must_use]    fn mul<'a>(&self, other: &'a Self::ScalarField) -> Self { ... }
}

Associated Types

type ScalarField: PrimeField + Into<<Self::ScalarField as PrimeField>::BigInt>[src]

Loading content...

Required methods

#[must_use]fn double(&self) -> Self[src]

Returns self + self.

fn double_in_place(&mut self) -> &mut Self[src]

Sets self := self + self.

Loading content...

Provided methods

#[must_use]fn mul<'a>(&self, other: &'a Self::ScalarField) -> Self[src]

Loading content...

Implementors

impl<C: ProjectiveCurve> Group for C[src]

type ScalarField = C::ScalarField

impl<P: Parameters> Group for GroupAffine<P>[src]

type ScalarField = P::ScalarField

Loading content...