Update mod.rs

weikengchen · web-flow · commit c85947c3e7cc · 2026-03-02T14:36:20.000+08:00
diff --git a/src/groups/mod.rs b/src/groups/mod.rs
@@ -53,6 +53,7 @@ pub trait CurveVar<C: CurveGroup, ConstraintF: PrimeField>:
     + for<'a> Mul<&'a EmulatedFpVar<C::ScalarField, ConstraintF>, Output = Self>
     + MulAssign<EmulatedFpVar<C::ScalarField, ConstraintF>>
 {
+    /// The base field of the coordinates.
     type BaseFieldVar: FieldVar<C::BaseField, ConstraintF>;
 
     /// Returns the constant `F::zero()`. This is the identity

Original file line number	Diff line number	Diff line change
`@@ -53,6 +53,7 @@ pub trait CurveVar<C: CurveGroup, ConstraintF: PrimeField>:`
`53`	`53`	`+ for<'a> Mul<&'a EmulatedFpVar<C::ScalarField, ConstraintF>, Output = Self>`
`54`	`54`	`+ MulAssign<EmulatedFpVar<C::ScalarField, ConstraintF>>`
`55`	`55`	`{`
	`56`	`+ /// The base field of the coordinates.`
`56`	`57`	`type BaseFieldVar: FieldVar<C::BaseField, ConstraintF>;`
`57`	`58`
`58`	`59`	/// Returns the constant `F::zero()`. This is the identity