From 9e2089cc516b07b9b6396b72935fb723f9356e79 Mon Sep 17 00:00:00 2001 From: tb <> Date: Thu, 1 May 2025 07:27:11 +0000 Subject: More space around .Dl + a typo on top --- src/lib/libcrypto/man/EC_GROUP_new_curve_GFp.3 | 10 +++++++--- src/lib/libcrypto/man/EC_POINT_point2oct.3 | 6 ++++-- 2 files changed, 11 insertions(+), 5 deletions(-) (limited to 'src/lib') diff --git a/src/lib/libcrypto/man/EC_GROUP_new_curve_GFp.3 b/src/lib/libcrypto/man/EC_GROUP_new_curve_GFp.3 index 3346bd80ef..767c50fe55 100644 --- a/src/lib/libcrypto/man/EC_GROUP_new_curve_GFp.3 +++ b/src/lib/libcrypto/man/EC_GROUP_new_curve_GFp.3 @@ -1,4 +1,4 @@ -.\" $OpenBSD: EC_GROUP_new_curve_GFp.3,v 1.2 2025/04/26 07:07:29 tb Exp $ +.\" $OpenBSD: EC_GROUP_new_curve_GFp.3,v 1.3 2025/05/01 07:27:11 tb Exp $ .\" .\" Copyright (c) 2025 Theo Buehler .\" @@ -14,7 +14,7 @@ .\" ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF .\" OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. .\" -.Dd $Mdocdate: April 26 2025 $ +.Dd $Mdocdate: May 1 2025 $ .Dt EC_GROUP_NEW_CURVE_GFP 3 .Os .Sh NAME @@ -125,7 +125,9 @@ elliptic curves in Weierstrass form. These curves are defined over the prime field of order .Fa p via the Weierstrass equation +.Pp .Dl y^2 = x^3 + ax + b +.Pp where .Fa a and @@ -143,7 +145,9 @@ the product of and another integer called the .Fa cofactor . Hasse's theorem is the inequality +.Pp .Dl | Ns Fa order No * Fa cofactor No - (p + 1)| <= 2 sqrt(p) +.Pp which implies an upper bound on .Fa order in terms of @@ -445,7 +449,7 @@ have been available since Too many. The API is unergonomic and the design is very poor even by OpenSSL's standards. -Naming is inconsistent, especially in regards to the _GFp suffix +Naming is inconsistent, especially in regard to the _GFp suffix and the _get_ infix. Function signatures are inconsistent. In particular, functions that should have a diff --git a/src/lib/libcrypto/man/EC_POINT_point2oct.3 b/src/lib/libcrypto/man/EC_POINT_point2oct.3 index ebb09f8001..7c5ee9923d 100644 --- a/src/lib/libcrypto/man/EC_POINT_point2oct.3 +++ b/src/lib/libcrypto/man/EC_POINT_point2oct.3 @@ -1,4 +1,4 @@ -.\" $OpenBSD: EC_POINT_point2oct.3,v 1.2 2025/04/26 09:03:03 tb Exp $ +.\" $OpenBSD: EC_POINT_point2oct.3,v 1.3 2025/05/01 07:27:11 tb Exp $ .\" .\" Copyright (c) 2025 Theo Buehler .\" @@ -14,7 +14,7 @@ .\" ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF .\" OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. .\" -.Dd $Mdocdate: April 26 2025 $ +.Dd $Mdocdate: May 1 2025 $ .Dt EC_POINT_POINT2OCT 3 .Os .Sh NAME @@ -95,7 +95,9 @@ object. It is either the point at infinity or it has a representation (x, y) in standard affine coordinates, in which case it satisfies the curve's Weierstrass equation +.Pp .Dl y^2 = x^3 + ax + b +.Pp in the prime field of size p. Thus, y is a square root of x^3 + ax + b. Since p > 3 is odd, p - y is another square root -- cgit v1.2.3-55-g6feb