pub trait Commitment {
    type G1Affine: Affine + From<Self::G1Projective>;
    type G1Projective: Projective + From<Self::G1Affine> + Mul<Self::ScalarField, Output = Self::G1Projective>;
    type G2Affine: Affine + From<Self::G2Projective>;
    type G2Projective: Projective + From<Self::G2Affine> + Mul<Self::ScalarField, Output = Self::G2Projective>;
    type ScalarField: FftField;
}
Expand description

This is commitment

Required Associated Types§

Implementors§