From fafa3ed01a54c988ee78e4e7eab974fe4fd461c7 Mon Sep 17 00:00:00 2001 From: maurges Date: Mon, 13 Jan 2025 11:06:04 +0100 Subject: [PATCH] Improve safety docs for NoInvalidPoints trait Signed-off-by: maurges --- generic-ec-core/src/lib.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/generic-ec-core/src/lib.rs b/generic-ec-core/src/lib.rs index 27de098..ce7ab01 100644 --- a/generic-ec-core/src/lib.rs +++ b/generic-ec-core/src/lib.rs @@ -252,8 +252,8 @@ pub trait Reduce { /// Marker trait for curves whose underlying implementation doesn't allow /// representing invalid points. /// # Safety -/// Safe to implement when the checks in `generic_ec::TryFromRaw` would always -/// return 1 for any point. Those checks are: -/// - `point.is_on_curve()` -/// - `point.is_torsion_free()` +/// Safe to implement when the checks for invalid points always return `true`. +/// Those checks are: +/// - [`OnCurve::is_on_curve`] +/// - [`SmallFactor::is_torsion_free`] pub unsafe trait NoInvalidPoints {}