Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 1 | =pod |
| 2 | |
| 3 | =head1 NAME |
| 4 | |
Rich Salz | c952780 | 2016-06-21 07:03:34 -0400 | [diff] [blame] | 5 | EC_GROUP_get0_order, EC_GROUP_order_bits, EC_GROUP_get0_cofactor, |
| 6 | EC_GROUP_copy, EC_GROUP_dup, EC_GROUP_method_of, EC_GROUP_set_generator, |
| 7 | EC_GROUP_get0_generator, EC_GROUP_get_order, EC_GROUP_get_cofactor, |
| 8 | EC_GROUP_set_curve_name, EC_GROUP_get_curve_name, EC_GROUP_set_asn1_flag, |
| 9 | EC_GROUP_get_asn1_flag, EC_GROUP_set_point_conversion_form, |
| 10 | EC_GROUP_get_point_conversion_form, EC_GROUP_get0_seed, |
| 11 | EC_GROUP_get_seed_len, EC_GROUP_set_seed, EC_GROUP_get_degree, |
| 12 | EC_GROUP_check, EC_GROUP_check_discriminant, EC_GROUP_cmp, |
| 13 | EC_GROUP_get_basis_type, EC_GROUP_get_trinomial_basis, |
| 14 | EC_GROUP_get_pentanomial_basis |
| 15 | - Functions for manipulating EC_GROUP objects |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 16 | |
| 17 | =head1 SYNOPSIS |
| 18 | |
| 19 | #include <openssl/ec.h> |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 20 | |
| 21 | int EC_GROUP_copy(EC_GROUP *dst, const EC_GROUP *src); |
| 22 | EC_GROUP *EC_GROUP_dup(const EC_GROUP *src); |
| 23 | |
| 24 | const EC_METHOD *EC_GROUP_method_of(const EC_GROUP *group); |
| 25 | |
| 26 | int EC_GROUP_set_generator(EC_GROUP *group, const EC_POINT *generator, const BIGNUM *order, const BIGNUM *cofactor); |
| 27 | const EC_POINT *EC_GROUP_get0_generator(const EC_GROUP *group); |
| 28 | |
| 29 | int EC_GROUP_get_order(const EC_GROUP *group, BIGNUM *order, BN_CTX *ctx); |
Dr. Stephen Henson | be2e334 | 2016-01-31 16:34:07 +0000 | [diff] [blame] | 30 | const BIGNUM *EC_GROUP_get0_order(const EC_GROUP *group); |
huangqinjin | 14f4656 | 2016-06-20 00:17:51 +0800 | [diff] [blame] | 31 | int EC_GROUP_order_bits(const EC_GROUP *group); |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 32 | int EC_GROUP_get_cofactor(const EC_GROUP *group, BIGNUM *cofactor, BN_CTX *ctx); |
Dr. Stephen Henson | be2e334 | 2016-01-31 16:34:07 +0000 | [diff] [blame] | 33 | const BIGNUM *EC_GROUP_get0_cofactor(const EC_GROUP *group); |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 34 | |
| 35 | void EC_GROUP_set_curve_name(EC_GROUP *group, int nid); |
| 36 | int EC_GROUP_get_curve_name(const EC_GROUP *group); |
| 37 | |
| 38 | void EC_GROUP_set_asn1_flag(EC_GROUP *group, int flag); |
| 39 | int EC_GROUP_get_asn1_flag(const EC_GROUP *group); |
| 40 | |
| 41 | void EC_GROUP_set_point_conversion_form(EC_GROUP *group, point_conversion_form_t form); |
| 42 | point_conversion_form_t EC_GROUP_get_point_conversion_form(const EC_GROUP *); |
| 43 | |
| 44 | unsigned char *EC_GROUP_get0_seed(const EC_GROUP *x); |
| 45 | size_t EC_GROUP_get_seed_len(const EC_GROUP *); |
| 46 | size_t EC_GROUP_set_seed(EC_GROUP *, const unsigned char *, size_t len); |
| 47 | |
| 48 | int EC_GROUP_get_degree(const EC_GROUP *group); |
| 49 | |
| 50 | int EC_GROUP_check(const EC_GROUP *group, BN_CTX *ctx); |
| 51 | |
| 52 | int EC_GROUP_check_discriminant(const EC_GROUP *group, BN_CTX *ctx); |
| 53 | |
| 54 | int EC_GROUP_cmp(const EC_GROUP *a, const EC_GROUP *b, BN_CTX *ctx); |
| 55 | |
| 56 | int EC_GROUP_get_basis_type(const EC_GROUP *); |
| 57 | int EC_GROUP_get_trinomial_basis(const EC_GROUP *, unsigned int *k); |
Rich Salz | 1bc7451 | 2016-05-20 08:11:46 -0400 | [diff] [blame] | 58 | int EC_GROUP_get_pentanomial_basis(const EC_GROUP *, unsigned int *k1, |
| 59 | unsigned int *k2, unsigned int *k3); |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 60 | |
| 61 | =head1 DESCRIPTION |
| 62 | |
| 63 | EC_GROUP_copy copies the curve B<src> into B<dst>. Both B<src> and B<dst> must use the same EC_METHOD. |
| 64 | |
| 65 | EC_GROUP_dup creates a new EC_GROUP object and copies the content from B<src> to the newly created |
| 66 | EC_GROUP object. |
| 67 | |
| 68 | EC_GROUP_method_of obtains the EC_METHOD of B<group>. |
| 69 | |
FdaSilvaYY | 0d4fb84 | 2016-02-05 15:23:54 -0500 | [diff] [blame] | 70 | EC_GROUP_set_generator sets curve parameters that must be agreed by all participants using the curve. These |
| 71 | parameters include the B<generator>, the B<order> and the B<cofactor>. The B<generator> is a well defined point on the |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 72 | curve chosen for cryptographic operations. Integers used for point multiplications will be between 0 and |
Alok Menghrajani | 186bb90 | 2015-04-13 11:05:13 -0700 | [diff] [blame] | 73 | n-1 where n is the B<order>. The B<order> multiplied by the B<cofactor> gives the number of points on the curve. |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 74 | |
| 75 | EC_GROUP_get0_generator returns the generator for the identified B<group>. |
| 76 | |
| 77 | The functions EC_GROUP_get_order and EC_GROUP_get_cofactor populate the provided B<order> and B<cofactor> parameters |
| 78 | with the respective order and cofactors for the B<group>. |
| 79 | |
| 80 | The functions EC_GROUP_set_curve_name and EC_GROUP_get_curve_name, set and get the NID for the curve respectively |
Rich Salz | 9b86974 | 2015-08-17 15:21:33 -0400 | [diff] [blame] | 81 | (see L<EC_GROUP_new(3)>). If a curve does not have a NID associated with it, then EC_GROUP_get_curve_name |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 82 | will return 0. |
| 83 | |
Dr. Stephen Henson | 146ca72 | 2015-02-19 14:35:43 +0000 | [diff] [blame] | 84 | The asn1_flag value is used to determine whether the curve encoding uses |
| 85 | explicit parameters or a named curve using an ASN1 OID: many applications only |
| 86 | support the latter form. If asn1_flag is B<OPENSSL_EC_NAMED_CURVE> then the |
| 87 | named curve form is used and the parameters must have a corresponding |
| 88 | named curve NID set. If asn1_flags is B<OPENSSL_EC_EXPLICIT_CURVE> the |
| 89 | parameters are explicitly encoded. The functions EC_GROUP_get_asn1_flag and |
| 90 | EC_GROUP_set_asn1_flag get and set the status of the asn1_flag for the curve. |
| 91 | Note: B<OPENSSL_EC_EXPLICIT_CURVE> was first added to OpenSSL 1.1.0, for |
| 92 | previous versions of OpenSSL the value 0 must be used instead. Before OpenSSL |
| 93 | 1.1.0 the default form was to use explicit parameters (meaning that |
| 94 | applications would have to explicitly set the named curve form) in OpenSSL |
| 95 | 1.1.0 and later the named curve form is the default. |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 96 | |
Alok Menghrajani | 186bb90 | 2015-04-13 11:05:13 -0700 | [diff] [blame] | 97 | The point_conversion_form for a curve controls how EC_POINT data is encoded as ASN1 as defined in X9.62 (ECDSA). |
Rich Salz | 1bc7451 | 2016-05-20 08:11:46 -0400 | [diff] [blame] | 98 | point_conversion_form_t is an enum defined as follows: |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 99 | |
| 100 | typedef enum { |
Rich Salz | 1bc7451 | 2016-05-20 08:11:46 -0400 | [diff] [blame] | 101 | /** the point is encoded as z||x, where the octet z specifies |
| 102 | * which solution of the quadratic equation y is */ |
| 103 | POINT_CONVERSION_COMPRESSED = 2, |
huangqinjin | 14f4656 | 2016-06-20 00:17:51 +0800 | [diff] [blame] | 104 | /** the point is encoded as z||x||y, where z is the octet 0x04 */ |
Rich Salz | 1bc7451 | 2016-05-20 08:11:46 -0400 | [diff] [blame] | 105 | POINT_CONVERSION_UNCOMPRESSED = 4, |
| 106 | /** the point is encoded as z||x||y, where the octet z specifies |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 107 | * which solution of the quadratic equation y is */ |
Rich Salz | 1bc7451 | 2016-05-20 08:11:46 -0400 | [diff] [blame] | 108 | POINT_CONVERSION_HYBRID = 6 |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 109 | } point_conversion_form_t; |
| 110 | |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 111 | For POINT_CONVERSION_UNCOMPRESSED the point is encoded as an octet signifying the UNCOMPRESSED form has been used followed by |
| 112 | the octets for x, followed by the octets for y. |
| 113 | |
| 114 | For any given x co-ordinate for a point on a curve it is possible to derive two possible y values. For |
| 115 | POINT_CONVERSION_COMPRESSED the point is encoded as an octet signifying that the COMPRESSED form has been used AND which of |
Rich Salz | 1bc7451 | 2016-05-20 08:11:46 -0400 | [diff] [blame] | 116 | the two possible solutions for y has been used, followed by the octets for x. |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 117 | |
| 118 | For POINT_CONVERSION_HYBRID the point is encoded as an octet signifying the HYBRID form has been used AND which of the two |
| 119 | possible solutions for y has been used, followed by the octets for x, followed by the octets for y. |
| 120 | |
| 121 | The functions EC_GROUP_set_point_conversion_form and EC_GROUP_get_point_conversion_form set and get the point_conversion_form |
| 122 | for the curve respectively. |
| 123 | |
| 124 | ANSI X9.62 (ECDSA standard) defines a method of generating the curve parameter b from a random number. This provides advantages |
| 125 | in that a parameter obtained in this way is highly unlikely to be susceptible to special purpose attacks, or have any trapdoors in it. |
| 126 | If the seed is present for a curve then the b parameter was generated in a verifiable fashion using that seed. The OpenSSL EC library |
| 127 | does not use this seed value but does enable you to inspect it using EC_GROUP_get0_seed. This returns a pointer to a memory block |
| 128 | containing the seed that was used. The length of the memory block can be obtained using EC_GROUP_get_seed_len. A number of the |
| 129 | builtin curves within the library provide seed values that can be obtained. It is also possible to set a custom seed using |
| 130 | EC_GROUP_set_seed and passing a pointer to a memory block, along with the length of the seed. Again, the EC library will not use |
| 131 | this seed value, although it will be preserved in any ASN1 based communications. |
| 132 | |
| 133 | EC_GROUP_get_degree gets the degree of the field. For Fp fields this will be the number of bits in p. For F2^m fields this will be |
| 134 | the value m. |
| 135 | |
| 136 | The function EC_GROUP_check_discriminant calculates the discriminant for the curve and verifies that it is valid. |
| 137 | For a curve defined over Fp the discriminant is given by the formula 4*a^3 + 27*b^2 whilst for F2^m curves the discriminant is |
| 138 | simply b. In either case for the curve to be valid the discriminant must be non zero. |
| 139 | |
| 140 | The function EC_GROUP_check performs a number of checks on a curve to verify that it is valid. Checks performed include |
| 141 | verifying that the discriminant is non zero; that a generator has been defined; that the generator is on the curve and has |
| 142 | the correct order. |
| 143 | |
| 144 | EC_GROUP_cmp compares B<a> and B<b> to determine whether they represent the same curve or not. |
| 145 | |
| 146 | The functions EC_GROUP_get_basis_type, EC_GROUP_get_trinomial_basis and EC_GROUP_get_pentanomial_basis should only be called for curves |
| 147 | defined over an F2^m field. Addition and multiplication operations within an F2^m field are performed using an irreducible polynomial |
| 148 | function f(x). This function is either a trinomial of the form: |
| 149 | |
| 150 | f(x) = x^m + x^k + 1 with m > k >= 1 |
| 151 | |
| 152 | or a pentanomial of the form: |
| 153 | |
| 154 | f(x) = x^m + x^k3 + x^k2 + x^k1 + 1 with m > k3 > k2 > k1 >= 1 |
| 155 | |
| 156 | The function EC_GROUP_get_basis_type returns a NID identifying whether a trinomial or pentanomial is in use for the field. The |
Alok Menghrajani | 186bb90 | 2015-04-13 11:05:13 -0700 | [diff] [blame] | 157 | function EC_GROUP_get_trinomial_basis must only be called where f(x) is of the trinomial form, and returns the value of B<k>. Similarly |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 158 | the function EC_GROUP_get_pentanomial_basis must only be called where f(x) is of the pentanomial form, and returns the values of B<k1>, |
| 159 | B<k2> and B<k3> respectively. |
| 160 | |
| 161 | =head1 RETURN VALUES |
| 162 | |
| 163 | The following functions return 1 on success or 0 on error: EC_GROUP_copy, EC_GROUP_set_generator, EC_GROUP_check, |
| 164 | EC_GROUP_check_discriminant, EC_GROUP_get_trinomial_basis and EC_GROUP_get_pentanomial_basis. |
| 165 | |
| 166 | EC_GROUP_dup returns a pointer to the duplicated curve, or NULL on error. |
| 167 | |
| 168 | EC_GROUP_method_of returns the EC_METHOD implementation in use for the given curve or NULL on error. |
| 169 | |
| 170 | EC_GROUP_get0_generator returns the generator for the given curve or NULL on error. |
| 171 | |
| 172 | EC_GROUP_get_order, EC_GROUP_get_cofactor, EC_GROUP_get_curve_name, EC_GROUP_get_asn1_flag, EC_GROUP_get_point_conversion_form |
| 173 | and EC_GROUP_get_degree return the order, cofactor, curve name (NID), ASN1 flag, point_conversion_form and degree for the |
| 174 | specified curve respectively. If there is no curve name associated with a curve then EC_GROUP_get_curve_name will return 0. |
| 175 | |
Dr. Stephen Henson | be2e334 | 2016-01-31 16:34:07 +0000 | [diff] [blame] | 176 | EC_GROUP_get0_order() returns an internal pointer to the group order. |
| 177 | EC_GROUP_get_order_bits() returns the number of bits in the group order. |
| 178 | EC_GROUP_get0_cofactor() returns an internal pointer to the group cofactor. |
| 179 | |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 180 | EC_GROUP_get0_seed returns a pointer to the seed that was used to generate the parameter b, or NULL if the seed is not |
| 181 | specified. EC_GROUP_get_seed_len returns the length of the seed or 0 if the seed is not specified. |
| 182 | |
| 183 | EC_GROUP_set_seed returns the length of the seed that has been set. If the supplied seed is NULL, or the supplied seed length is |
Alessandro Ghedini | d900a01 | 2015-10-08 14:40:42 +0200 | [diff] [blame] | 184 | 0, the return value will be 1. On error 0 is returned. |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 185 | |
| 186 | EC_GROUP_cmp returns 0 if the curves are equal, 1 if they are not equal, or -1 on error. |
| 187 | |
| 188 | EC_GROUP_get_basis_type returns the values NID_X9_62_tpBasis or NID_X9_62_ppBasis (as defined in <openssl/obj_mac.h>) for a |
| 189 | trinomial or pentanomial respectively. Alternatively in the event of an error a 0 is returned. |
| 190 | |
| 191 | =head1 SEE ALSO |
| 192 | |
Rich Salz | 9e183d2 | 2017-03-11 08:56:44 -0500 | [diff] [blame] | 193 | L<crypto(7)>, L<EC_GROUP_new(3)>, |
Rich Salz | 9b86974 | 2015-08-17 15:21:33 -0400 | [diff] [blame] | 194 | L<EC_POINT_new(3)>, L<EC_POINT_add(3)>, L<EC_KEY_new(3)>, |
| 195 | L<EC_GFp_simple_method(3)>, L<d2i_ECPKParameters(3)> |
Matt Caswell | aafbe1c | 2013-06-12 23:42:08 +0100 | [diff] [blame] | 196 | |
Rich Salz | e2f9261 | 2016-05-18 11:44:05 -0400 | [diff] [blame] | 197 | =head1 COPYRIGHT |
| 198 | |
Rich Salz | 9e183d2 | 2017-03-11 08:56:44 -0500 | [diff] [blame] | 199 | Copyright 2013-2017 The OpenSSL Project Authors. All Rights Reserved. |
Rich Salz | e2f9261 | 2016-05-18 11:44:05 -0400 | [diff] [blame] | 200 | |
| 201 | Licensed under the OpenSSL license (the "License"). You may not use |
| 202 | this file except in compliance with the License. You can obtain a copy |
| 203 | in the file LICENSE in the source distribution or at |
| 204 | L<https://www.openssl.org/source/license.html>. |
| 205 | |
| 206 | =cut |