![]() |
|
|||
File indexing completed on 2025-08-27 09:37:31
0001 /** 0002 * \file ecp.h 0003 * 0004 * \brief This file provides an API for Elliptic Curves over GF(P) (ECP). 0005 * 0006 * The use of ECP in cryptography and TLS is defined in 0007 * <em>Standards for Efficient Cryptography Group (SECG): SEC1 0008 * Elliptic Curve Cryptography</em> and 0009 * <em>RFC-4492: Elliptic Curve Cryptography (ECC) Cipher Suites 0010 * for Transport Layer Security (TLS)</em>. 0011 * 0012 * <em>RFC-2409: The Internet Key Exchange (IKE)</em> defines ECP 0013 * group types. 0014 * 0015 */ 0016 0017 /* 0018 * Copyright The Mbed TLS Contributors 0019 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later 0020 */ 0021 0022 #ifndef MBEDTLS_ECP_H 0023 #define MBEDTLS_ECP_H 0024 #include "mbedtls/private_access.h" 0025 0026 #include "mbedtls/build_info.h" 0027 #include "mbedtls/platform_util.h" 0028 0029 #include "mbedtls/bignum.h" 0030 0031 /* 0032 * ECP error codes 0033 */ 0034 /** Bad input parameters to function. */ 0035 #define MBEDTLS_ERR_ECP_BAD_INPUT_DATA -0x4F80 0036 /** The buffer is too small to write to. */ 0037 #define MBEDTLS_ERR_ECP_BUFFER_TOO_SMALL -0x4F00 0038 /** The requested feature is not available, for example, the requested curve is not supported. */ 0039 #define MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE -0x4E80 0040 /** The signature is not valid. */ 0041 #define MBEDTLS_ERR_ECP_VERIFY_FAILED -0x4E00 0042 /** Memory allocation failed. */ 0043 #define MBEDTLS_ERR_ECP_ALLOC_FAILED -0x4D80 0044 /** Generation of random value, such as ephemeral key, failed. */ 0045 #define MBEDTLS_ERR_ECP_RANDOM_FAILED -0x4D00 0046 /** Invalid private or public key. */ 0047 #define MBEDTLS_ERR_ECP_INVALID_KEY -0x4C80 0048 /** The buffer contains a valid signature followed by more data. */ 0049 #define MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH -0x4C00 0050 /** Operation in progress, call again with the same parameters to continue. */ 0051 #define MBEDTLS_ERR_ECP_IN_PROGRESS -0x4B00 0052 0053 /* Flags indicating whether to include code that is specific to certain 0054 * types of curves. These flags are for internal library use only. */ 0055 #if defined(MBEDTLS_ECP_DP_SECP192R1_ENABLED) || \ 0056 defined(MBEDTLS_ECP_DP_SECP224R1_ENABLED) || \ 0057 defined(MBEDTLS_ECP_DP_SECP256R1_ENABLED) || \ 0058 defined(MBEDTLS_ECP_DP_SECP384R1_ENABLED) || \ 0059 defined(MBEDTLS_ECP_DP_SECP521R1_ENABLED) || \ 0060 defined(MBEDTLS_ECP_DP_BP256R1_ENABLED) || \ 0061 defined(MBEDTLS_ECP_DP_BP384R1_ENABLED) || \ 0062 defined(MBEDTLS_ECP_DP_BP512R1_ENABLED) || \ 0063 defined(MBEDTLS_ECP_DP_SECP192K1_ENABLED) || \ 0064 defined(MBEDTLS_ECP_DP_SECP224K1_ENABLED) || \ 0065 defined(MBEDTLS_ECP_DP_SECP256K1_ENABLED) 0066 #define MBEDTLS_ECP_SHORT_WEIERSTRASS_ENABLED 0067 #endif 0068 #if defined(MBEDTLS_ECP_DP_CURVE25519_ENABLED) || \ 0069 defined(MBEDTLS_ECP_DP_CURVE448_ENABLED) 0070 #define MBEDTLS_ECP_MONTGOMERY_ENABLED 0071 #endif 0072 0073 #ifdef __cplusplus 0074 extern "C" { 0075 #endif 0076 0077 /** 0078 * Domain-parameter identifiers: curve, subgroup, and generator. 0079 * 0080 * \note Only curves over prime fields are supported. 0081 * 0082 * \warning This library does not support validation of arbitrary domain 0083 * parameters. Therefore, only standardized domain parameters from trusted 0084 * sources should be used. See mbedtls_ecp_group_load(). 0085 */ 0086 /* Note: when adding a new curve: 0087 * - Add it at the end of this enum, otherwise you'll break the ABI by 0088 * changing the numerical value for existing curves. 0089 * - Increment MBEDTLS_ECP_DP_MAX below if needed. 0090 * - Update the calculation of MBEDTLS_ECP_MAX_BITS below. 0091 * - Add the corresponding MBEDTLS_ECP_DP_xxx_ENABLED macro definition to 0092 * mbedtls_config.h. 0093 * - List the curve as a dependency of MBEDTLS_ECP_C and 0094 * MBEDTLS_ECDSA_C if supported in check_config.h. 0095 * - Add the curve to the appropriate curve type macro 0096 * MBEDTLS_ECP_yyy_ENABLED above. 0097 * - Add the necessary definitions to ecp_curves.c. 0098 * - Add the curve to the ecp_supported_curves array in ecp.c. 0099 * - Add the curve to applicable profiles in x509_crt.c. 0100 * - Add the curve to applicable presets in ssl_tls.c. 0101 */ 0102 typedef enum { 0103 MBEDTLS_ECP_DP_NONE = 0, /*!< Curve not defined. */ 0104 MBEDTLS_ECP_DP_SECP192R1, /*!< Domain parameters for the 192-bit curve defined by FIPS 186-4 and SEC1. */ 0105 MBEDTLS_ECP_DP_SECP224R1, /*!< Domain parameters for the 224-bit curve defined by FIPS 186-4 and SEC1. */ 0106 MBEDTLS_ECP_DP_SECP256R1, /*!< Domain parameters for the 256-bit curve defined by FIPS 186-4 and SEC1. */ 0107 MBEDTLS_ECP_DP_SECP384R1, /*!< Domain parameters for the 384-bit curve defined by FIPS 186-4 and SEC1. */ 0108 MBEDTLS_ECP_DP_SECP521R1, /*!< Domain parameters for the 521-bit curve defined by FIPS 186-4 and SEC1. */ 0109 MBEDTLS_ECP_DP_BP256R1, /*!< Domain parameters for 256-bit Brainpool curve. */ 0110 MBEDTLS_ECP_DP_BP384R1, /*!< Domain parameters for 384-bit Brainpool curve. */ 0111 MBEDTLS_ECP_DP_BP512R1, /*!< Domain parameters for 512-bit Brainpool curve. */ 0112 MBEDTLS_ECP_DP_CURVE25519, /*!< Domain parameters for Curve25519. */ 0113 MBEDTLS_ECP_DP_SECP192K1, /*!< Domain parameters for 192-bit "Koblitz" curve. */ 0114 MBEDTLS_ECP_DP_SECP224K1, /*!< Domain parameters for 224-bit "Koblitz" curve. */ 0115 MBEDTLS_ECP_DP_SECP256K1, /*!< Domain parameters for 256-bit "Koblitz" curve. */ 0116 MBEDTLS_ECP_DP_CURVE448, /*!< Domain parameters for Curve448. */ 0117 } mbedtls_ecp_group_id; 0118 0119 /** 0120 * The number of supported curves, plus one for #MBEDTLS_ECP_DP_NONE. 0121 */ 0122 #define MBEDTLS_ECP_DP_MAX 14 0123 0124 /* 0125 * Curve types 0126 */ 0127 typedef enum { 0128 MBEDTLS_ECP_TYPE_NONE = 0, 0129 MBEDTLS_ECP_TYPE_SHORT_WEIERSTRASS, /* y^2 = x^3 + a x + b */ 0130 MBEDTLS_ECP_TYPE_MONTGOMERY, /* y^2 = x^3 + a x^2 + x */ 0131 } mbedtls_ecp_curve_type; 0132 0133 /** 0134 * Curve information, for use by other modules. 0135 * 0136 * The fields of this structure are part of the public API and can be 0137 * accessed directly by applications. Future versions of the library may 0138 * add extra fields or reorder existing fields. 0139 */ 0140 typedef struct mbedtls_ecp_curve_info { 0141 mbedtls_ecp_group_id grp_id; /*!< An internal identifier. */ 0142 uint16_t tls_id; /*!< The TLS NamedCurve identifier. */ 0143 uint16_t bit_size; /*!< The curve size in bits. */ 0144 const char *name; /*!< A human-friendly name. */ 0145 } mbedtls_ecp_curve_info; 0146 0147 /** 0148 * \brief The ECP point structure, in Jacobian coordinates. 0149 * 0150 * \note All functions expect and return points satisfying 0151 * the following condition: <code>Z == 0</code> or 0152 * <code>Z == 1</code>. Other values of \p Z are 0153 * used only by internal functions. 0154 * The point is zero, or "at infinity", if <code>Z == 0</code>. 0155 * Otherwise, \p X and \p Y are its standard (affine) 0156 * coordinates. 0157 */ 0158 typedef struct mbedtls_ecp_point { 0159 mbedtls_mpi MBEDTLS_PRIVATE(X); /*!< The X coordinate of the ECP point. */ 0160 mbedtls_mpi MBEDTLS_PRIVATE(Y); /*!< The Y coordinate of the ECP point. */ 0161 mbedtls_mpi MBEDTLS_PRIVATE(Z); /*!< The Z coordinate of the ECP point. */ 0162 } 0163 mbedtls_ecp_point; 0164 0165 #if !defined(MBEDTLS_ECP_ALT) 0166 /* 0167 * default Mbed TLS elliptic curve arithmetic implementation 0168 * 0169 * (in case MBEDTLS_ECP_ALT is defined then the developer has to provide an 0170 * alternative implementation for the whole module and it will replace this 0171 * one.) 0172 */ 0173 0174 /** 0175 * \brief The ECP group structure. 0176 * 0177 * We consider two types of curve equations: 0178 * <ul><li>Short Weierstrass: <code>y^2 = x^3 + A x + B mod P</code> 0179 * (SEC1 + RFC-4492)</li> 0180 * <li>Montgomery: <code>y^2 = x^3 + A x^2 + x mod P</code> (Curve25519, 0181 * Curve448)</li></ul> 0182 * In both cases, the generator (\p G) for a prime-order subgroup is fixed. 0183 * 0184 * For Short Weierstrass, this subgroup is the whole curve, and its 0185 * cardinality is denoted by \p N. Our code requires that \p N is an 0186 * odd prime as mbedtls_ecp_mul() requires an odd number, and 0187 * mbedtls_ecdsa_sign() requires that it is prime for blinding purposes. 0188 * 0189 * The default implementation only initializes \p A without setting it to the 0190 * authentic value for curves with <code>A = -3</code>(SECP256R1, etc), in which 0191 * case you need to load \p A by yourself when using domain parameters directly, 0192 * for example: 0193 * \code 0194 * mbedtls_mpi_init(&A); 0195 * mbedtls_ecp_group_init(&grp); 0196 * CHECK_RETURN(mbedtls_ecp_group_load(&grp, grp_id)); 0197 * if (mbedtls_ecp_group_a_is_minus_3(&grp)) { 0198 * CHECK_RETURN(mbedtls_mpi_sub_int(&A, &grp.P, 3)); 0199 * } else { 0200 * CHECK_RETURN(mbedtls_mpi_copy(&A, &grp.A)); 0201 * } 0202 * 0203 * do_something_with_a(&A); 0204 * 0205 * cleanup: 0206 * mbedtls_mpi_free(&A); 0207 * mbedtls_ecp_group_free(&grp); 0208 * \endcode 0209 * 0210 * For Montgomery curves, we do not store \p A, but <code>(A + 2) / 4</code>, 0211 * which is the quantity used in the formulas. Additionally, \p nbits is 0212 * not the size of \p N but the required size for private keys. 0213 * 0214 * If \p modp is NULL, reduction modulo \p P is done using a generic algorithm. 0215 * Otherwise, \p modp must point to a function that takes an \p mbedtls_mpi in the 0216 * range of <code>0..2^(2*pbits)-1</code>, and transforms it in-place to an integer 0217 * which is congruent mod \p P to the given MPI, and is close enough to \p pbits 0218 * in size, so that it may be efficiently brought in the 0..P-1 range by a few 0219 * additions or subtractions. Therefore, it is only an approximate modular 0220 * reduction. It must return 0 on success and non-zero on failure. 0221 * 0222 * \note Alternative implementations of the ECP module must obey the 0223 * following constraints. 0224 * * Group IDs must be distinct: if two group structures have 0225 * the same ID, then they must be identical. 0226 * * The fields \c id, \c P, \c A, \c B, \c G, \c N, 0227 * \c pbits and \c nbits must have the same type and semantics 0228 * as in the built-in implementation. 0229 * They must be available for reading, but direct modification 0230 * of these fields does not need to be supported. 0231 * They do not need to be at the same offset in the structure. 0232 */ 0233 typedef struct mbedtls_ecp_group { 0234 mbedtls_ecp_group_id id; /*!< An internal group identifier. */ 0235 mbedtls_mpi P; /*!< The prime modulus of the base field. */ 0236 mbedtls_mpi A; /*!< For Short Weierstrass: \p A in the equation. Note that 0237 \p A is not set to the authentic value in some cases. 0238 Refer to detailed description of ::mbedtls_ecp_group if 0239 using domain parameters in the structure. 0240 For Montgomery curves: <code>(A + 2) / 4</code>. */ 0241 mbedtls_mpi B; /*!< For Short Weierstrass: \p B in the equation. 0242 For Montgomery curves: unused. */ 0243 mbedtls_ecp_point G; /*!< The generator of the subgroup used. */ 0244 mbedtls_mpi N; /*!< The order of \p G. */ 0245 size_t pbits; /*!< The number of bits in \p P.*/ 0246 size_t nbits; /*!< For Short Weierstrass: The number of bits in \p P. 0247 For Montgomery curves: the number of bits in the 0248 private keys. */ 0249 /* End of public fields */ 0250 0251 unsigned int MBEDTLS_PRIVATE(h); /*!< \internal 1 if the constants are static. */ 0252 int(*MBEDTLS_PRIVATE(modp))(mbedtls_mpi *); /*!< The function for fast pseudo-reduction 0253 mod \p P (see above).*/ 0254 int(*MBEDTLS_PRIVATE(t_pre))(mbedtls_ecp_point *, void *); /*!< Unused. */ 0255 int(*MBEDTLS_PRIVATE(t_post))(mbedtls_ecp_point *, void *); /*!< Unused. */ 0256 void *MBEDTLS_PRIVATE(t_data); /*!< Unused. */ 0257 mbedtls_ecp_point *MBEDTLS_PRIVATE(T); /*!< Pre-computed points for ecp_mul_comb(). */ 0258 size_t MBEDTLS_PRIVATE(T_size); /*!< The number of dynamic allocated pre-computed points. */ 0259 } 0260 mbedtls_ecp_group; 0261 0262 /** 0263 * \name SECTION: Module settings 0264 * 0265 * The configuration options you can set for this module are in this section. 0266 * Either change them in mbedtls_config.h, or define them using the compiler command line. 0267 * \{ 0268 */ 0269 0270 #if !defined(MBEDTLS_ECP_WINDOW_SIZE) 0271 /* 0272 * Maximum "window" size used for point multiplication. 0273 * Default: a point where higher memory usage yields diminishing performance 0274 * returns. 0275 * Minimum value: 2. Maximum value: 7. 0276 * 0277 * Result is an array of at most ( 1 << ( MBEDTLS_ECP_WINDOW_SIZE - 1 ) ) 0278 * points used for point multiplication. This value is directly tied to EC 0279 * peak memory usage, so decreasing it by one should roughly cut memory usage 0280 * by two (if large curves are in use). 0281 * 0282 * Reduction in size may reduce speed, but larger curves are impacted first. 0283 * Sample performances (in ECDHE handshakes/s, with FIXED_POINT_OPTIM = 1): 0284 * w-size: 6 5 4 3 2 0285 * 521 145 141 135 120 97 0286 * 384 214 209 198 177 146 0287 * 256 320 320 303 262 226 0288 * 224 475 475 453 398 342 0289 * 192 640 640 633 587 476 0290 */ 0291 #define MBEDTLS_ECP_WINDOW_SIZE 4 /**< The maximum window size used. */ 0292 #endif /* MBEDTLS_ECP_WINDOW_SIZE */ 0293 0294 #if !defined(MBEDTLS_ECP_FIXED_POINT_OPTIM) 0295 /* 0296 * Trade code size for speed on fixed-point multiplication. 0297 * 0298 * This speeds up repeated multiplication of the generator (that is, the 0299 * multiplication in ECDSA signatures, and half of the multiplications in 0300 * ECDSA verification and ECDHE) by a factor roughly 3 to 4. 0301 * 0302 * For each n-bit Short Weierstrass curve that is enabled, this adds 4n bytes 0303 * of code size if n < 384 and 8n otherwise. 0304 * 0305 * Change this value to 0 to reduce code size. 0306 */ 0307 #define MBEDTLS_ECP_FIXED_POINT_OPTIM 1 /**< Enable fixed-point speed-up. */ 0308 #endif /* MBEDTLS_ECP_FIXED_POINT_OPTIM */ 0309 0310 /** \} name SECTION: Module settings */ 0311 0312 #else /* MBEDTLS_ECP_ALT */ 0313 #include "ecp_alt.h" 0314 #endif /* MBEDTLS_ECP_ALT */ 0315 0316 /** 0317 * The maximum size of the groups, that is, of \c N and \c P. 0318 */ 0319 #if !defined(MBEDTLS_ECP_LIGHT) 0320 /* Dummy definition to help code that has optional ECP support and 0321 * defines an MBEDTLS_ECP_MAX_BYTES-sized array unconditionally. */ 0322 #define MBEDTLS_ECP_MAX_BITS 1 0323 /* Note: the curves must be listed in DECREASING size! */ 0324 #elif defined(MBEDTLS_ECP_DP_SECP521R1_ENABLED) 0325 #define MBEDTLS_ECP_MAX_BITS 521 0326 #elif defined(MBEDTLS_ECP_DP_BP512R1_ENABLED) 0327 #define MBEDTLS_ECP_MAX_BITS 512 0328 #elif defined(MBEDTLS_ECP_DP_CURVE448_ENABLED) 0329 #define MBEDTLS_ECP_MAX_BITS 448 0330 #elif defined(MBEDTLS_ECP_DP_BP384R1_ENABLED) 0331 #define MBEDTLS_ECP_MAX_BITS 384 0332 #elif defined(MBEDTLS_ECP_DP_SECP384R1_ENABLED) 0333 #define MBEDTLS_ECP_MAX_BITS 384 0334 #elif defined(MBEDTLS_ECP_DP_BP256R1_ENABLED) 0335 #define MBEDTLS_ECP_MAX_BITS 256 0336 #elif defined(MBEDTLS_ECP_DP_SECP256K1_ENABLED) 0337 #define MBEDTLS_ECP_MAX_BITS 256 0338 #elif defined(MBEDTLS_ECP_DP_SECP256R1_ENABLED) 0339 #define MBEDTLS_ECP_MAX_BITS 256 0340 #elif defined(MBEDTLS_ECP_DP_CURVE25519_ENABLED) 0341 #define MBEDTLS_ECP_MAX_BITS 255 0342 #elif defined(MBEDTLS_ECP_DP_SECP224K1_ENABLED) 0343 #define MBEDTLS_ECP_MAX_BITS 225 // n is slightly above 2^224 0344 #elif defined(MBEDTLS_ECP_DP_SECP224R1_ENABLED) 0345 #define MBEDTLS_ECP_MAX_BITS 224 0346 #elif defined(MBEDTLS_ECP_DP_SECP192K1_ENABLED) 0347 #define MBEDTLS_ECP_MAX_BITS 192 0348 #elif defined(MBEDTLS_ECP_DP_SECP192R1_ENABLED) 0349 #define MBEDTLS_ECP_MAX_BITS 192 0350 #else /* !MBEDTLS_ECP_LIGHT */ 0351 #error "Missing definition of MBEDTLS_ECP_MAX_BITS" 0352 #endif /* !MBEDTLS_ECP_LIGHT */ 0353 0354 #define MBEDTLS_ECP_MAX_BYTES ((MBEDTLS_ECP_MAX_BITS + 7) / 8) 0355 #define MBEDTLS_ECP_MAX_PT_LEN (2 * MBEDTLS_ECP_MAX_BYTES + 1) 0356 0357 #if defined(MBEDTLS_ECP_RESTARTABLE) 0358 0359 /** 0360 * \brief Internal restart context for multiplication 0361 * 0362 * \note Opaque struct 0363 */ 0364 typedef struct mbedtls_ecp_restart_mul mbedtls_ecp_restart_mul_ctx; 0365 0366 /** 0367 * \brief Internal restart context for ecp_muladd() 0368 * 0369 * \note Opaque struct 0370 */ 0371 typedef struct mbedtls_ecp_restart_muladd mbedtls_ecp_restart_muladd_ctx; 0372 0373 /** 0374 * \brief General context for resuming ECC operations 0375 */ 0376 typedef struct { 0377 unsigned MBEDTLS_PRIVATE(ops_done); /*!< current ops count */ 0378 unsigned MBEDTLS_PRIVATE(depth); /*!< call depth (0 = top-level) */ 0379 mbedtls_ecp_restart_mul_ctx *MBEDTLS_PRIVATE(rsm); /*!< ecp_mul_comb() sub-context */ 0380 mbedtls_ecp_restart_muladd_ctx *MBEDTLS_PRIVATE(ma); /*!< ecp_muladd() sub-context */ 0381 } mbedtls_ecp_restart_ctx; 0382 0383 /* 0384 * Operation counts for restartable functions 0385 */ 0386 #define MBEDTLS_ECP_OPS_CHK 3 /*!< basic ops count for ecp_check_pubkey() */ 0387 #define MBEDTLS_ECP_OPS_DBL 8 /*!< basic ops count for ecp_double_jac() */ 0388 #define MBEDTLS_ECP_OPS_ADD 11 /*!< basic ops count for see ecp_add_mixed() */ 0389 #define MBEDTLS_ECP_OPS_INV 120 /*!< empirical equivalent for mpi_mod_inv() */ 0390 0391 /** 0392 * \brief Internal; for restartable functions in other modules. 0393 * Check and update basic ops budget. 0394 * 0395 * \param grp Group structure 0396 * \param rs_ctx Restart context 0397 * \param ops Number of basic ops to do 0398 * 0399 * \return \c 0 if doing \p ops basic ops is still allowed, 0400 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS otherwise. 0401 */ 0402 int mbedtls_ecp_check_budget(const mbedtls_ecp_group *grp, 0403 mbedtls_ecp_restart_ctx *rs_ctx, 0404 unsigned ops); 0405 0406 /* Utility macro for checking and updating ops budget */ 0407 #define MBEDTLS_ECP_BUDGET(ops) \ 0408 MBEDTLS_MPI_CHK(mbedtls_ecp_check_budget(grp, rs_ctx, \ 0409 (unsigned) (ops))); 0410 0411 #else /* MBEDTLS_ECP_RESTARTABLE */ 0412 0413 #define MBEDTLS_ECP_BUDGET(ops) /* no-op; for compatibility */ 0414 0415 /* We want to declare restartable versions of existing functions anyway */ 0416 typedef void mbedtls_ecp_restart_ctx; 0417 0418 #endif /* MBEDTLS_ECP_RESTARTABLE */ 0419 0420 /** 0421 * \brief The ECP key-pair structure. 0422 * 0423 * A generic key-pair that may be used for ECDSA and fixed ECDH, for example. 0424 * 0425 * \note Members are deliberately in the same order as in the 0426 * ::mbedtls_ecdsa_context structure. 0427 */ 0428 typedef struct mbedtls_ecp_keypair { 0429 mbedtls_ecp_group MBEDTLS_PRIVATE(grp); /*!< Elliptic curve and base point */ 0430 mbedtls_mpi MBEDTLS_PRIVATE(d); /*!< our secret value */ 0431 mbedtls_ecp_point MBEDTLS_PRIVATE(Q); /*!< our public value */ 0432 } 0433 mbedtls_ecp_keypair; 0434 0435 /** 0436 * The uncompressed point format for Short Weierstrass curves 0437 * (MBEDTLS_ECP_DP_SECP_XXX and MBEDTLS_ECP_DP_BP_XXX). 0438 */ 0439 #define MBEDTLS_ECP_PF_UNCOMPRESSED 0 0440 /** 0441 * The compressed point format for Short Weierstrass curves 0442 * (MBEDTLS_ECP_DP_SECP_XXX and MBEDTLS_ECP_DP_BP_XXX). 0443 * 0444 * \warning While this format is supported for all concerned curves for 0445 * writing, when it comes to parsing, it is not supported for all 0446 * curves. Specifically, parsing compressed points on 0447 * MBEDTLS_ECP_DP_SECP224R1 and MBEDTLS_ECP_DP_SECP224K1 is not 0448 * supported. 0449 */ 0450 #define MBEDTLS_ECP_PF_COMPRESSED 1 0451 0452 /* 0453 * Some other constants from RFC 4492 0454 */ 0455 #define MBEDTLS_ECP_TLS_NAMED_CURVE 3 /**< The named_curve of ECCurveType. */ 0456 0457 #if defined(MBEDTLS_ECP_RESTARTABLE) 0458 /** 0459 * \brief Set the maximum number of basic operations done in a row. 0460 * 0461 * If more operations are needed to complete a computation, 0462 * #MBEDTLS_ERR_ECP_IN_PROGRESS will be returned by the 0463 * function performing the computation. It is then the 0464 * caller's responsibility to either call again with the same 0465 * parameters until it returns 0 or an error code; or to free 0466 * the restart context if the operation is to be aborted. 0467 * 0468 * It is strictly required that all input parameters and the 0469 * restart context be the same on successive calls for the 0470 * same operation, but output parameters need not be the 0471 * same; they must not be used until the function finally 0472 * returns 0. 0473 * 0474 * This only applies to functions whose documentation 0475 * mentions they may return #MBEDTLS_ERR_ECP_IN_PROGRESS (or 0476 * #MBEDTLS_ERR_SSL_CRYPTO_IN_PROGRESS for functions in the 0477 * SSL module). For functions that accept a "restart context" 0478 * argument, passing NULL disables restart and makes the 0479 * function equivalent to the function with the same name 0480 * with \c _restartable removed. For functions in the ECDH 0481 * module, restart is disabled unless the function accepts 0482 * an "ECDH context" argument and 0483 * mbedtls_ecdh_enable_restart() was previously called on 0484 * that context. For function in the SSL module, restart is 0485 * only enabled for specific sides and key exchanges 0486 * (currently only for clients and ECDHE-ECDSA). 0487 * 0488 * \warning Using the PSA interruptible interfaces with keys in local 0489 * storage and no accelerator driver will also call this 0490 * function to set the values specified via those interfaces, 0491 * overwriting values previously set. Care should be taken if 0492 * mixing these two interfaces. 0493 * 0494 * \param max_ops Maximum number of basic operations done in a row. 0495 * Default: 0 (unlimited). 0496 * Lower (non-zero) values mean ECC functions will block for 0497 * a lesser maximum amount of time. 0498 * 0499 * \note A "basic operation" is defined as a rough equivalent of a 0500 * multiplication in GF(p) for the NIST P-256 curve. 0501 * As an indication, with default settings, a scalar 0502 * multiplication (full run of \c mbedtls_ecp_mul()) is: 0503 * - about 3300 basic operations for P-256 0504 * - about 9400 basic operations for P-384 0505 * 0506 * \note Very low values are not always respected: sometimes 0507 * functions need to block for a minimum number of 0508 * operations, and will do so even if max_ops is set to a 0509 * lower value. That minimum depends on the curve size, and 0510 * can be made lower by decreasing the value of 0511 * \c MBEDTLS_ECP_WINDOW_SIZE. As an indication, here is the 0512 * lowest effective value for various curves and values of 0513 * that parameter (w for short): 0514 * w=6 w=5 w=4 w=3 w=2 0515 * P-256 208 208 160 136 124 0516 * P-384 682 416 320 272 248 0517 * P-521 1364 832 640 544 496 0518 * 0519 * \note This setting is currently ignored by Curve25519. 0520 */ 0521 void mbedtls_ecp_set_max_ops(unsigned max_ops); 0522 0523 /** 0524 * \brief Check if restart is enabled (max_ops != 0) 0525 * 0526 * \return \c 0 if \c max_ops == 0 (restart disabled) 0527 * \return \c 1 otherwise (restart enabled) 0528 */ 0529 int mbedtls_ecp_restart_is_enabled(void); 0530 #endif /* MBEDTLS_ECP_RESTARTABLE */ 0531 0532 /* 0533 * Get the type of a curve 0534 */ 0535 mbedtls_ecp_curve_type mbedtls_ecp_get_type(const mbedtls_ecp_group *grp); 0536 0537 /** 0538 * \brief This function retrieves the information defined in 0539 * mbedtls_ecp_curve_info() for all supported curves. 0540 * 0541 * \note This function returns information about all curves 0542 * supported by the library. Some curves may not be 0543 * supported for all algorithms. Call mbedtls_ecdh_can_do() 0544 * or mbedtls_ecdsa_can_do() to check if a curve is 0545 * supported for ECDH or ECDSA. 0546 * 0547 * \return A statically allocated array. The last entry is 0. 0548 */ 0549 const mbedtls_ecp_curve_info *mbedtls_ecp_curve_list(void); 0550 0551 /** 0552 * \brief This function retrieves the list of internal group 0553 * identifiers of all supported curves in the order of 0554 * preference. 0555 * 0556 * \note This function returns information about all curves 0557 * supported by the library. Some curves may not be 0558 * supported for all algorithms. Call mbedtls_ecdh_can_do() 0559 * or mbedtls_ecdsa_can_do() to check if a curve is 0560 * supported for ECDH or ECDSA. 0561 * 0562 * \return A statically allocated array, 0563 * terminated with MBEDTLS_ECP_DP_NONE. 0564 */ 0565 const mbedtls_ecp_group_id *mbedtls_ecp_grp_id_list(void); 0566 0567 /** 0568 * \brief This function retrieves curve information from an internal 0569 * group identifier. 0570 * 0571 * \param grp_id An \c MBEDTLS_ECP_DP_XXX value. 0572 * 0573 * \return The associated curve information on success. 0574 * \return NULL on failure. 0575 */ 0576 const mbedtls_ecp_curve_info *mbedtls_ecp_curve_info_from_grp_id(mbedtls_ecp_group_id grp_id); 0577 0578 /** 0579 * \brief This function retrieves curve information from a TLS 0580 * NamedCurve value. 0581 * 0582 * \param tls_id An \c MBEDTLS_ECP_DP_XXX value. 0583 * 0584 * \return The associated curve information on success. 0585 * \return NULL on failure. 0586 */ 0587 const mbedtls_ecp_curve_info *mbedtls_ecp_curve_info_from_tls_id(uint16_t tls_id); 0588 0589 /** 0590 * \brief This function retrieves curve information from a 0591 * human-readable name. 0592 * 0593 * \param name The human-readable name. 0594 * 0595 * \return The associated curve information on success. 0596 * \return NULL on failure. 0597 */ 0598 const mbedtls_ecp_curve_info *mbedtls_ecp_curve_info_from_name(const char *name); 0599 0600 /** 0601 * \brief This function initializes a point as zero. 0602 * 0603 * \param pt The point to initialize. 0604 */ 0605 void mbedtls_ecp_point_init(mbedtls_ecp_point *pt); 0606 0607 /** 0608 * \brief This function initializes an ECP group context 0609 * without loading any domain parameters. 0610 * 0611 * \note After this function is called, domain parameters 0612 * for various ECP groups can be loaded through the 0613 * mbedtls_ecp_group_load() or mbedtls_ecp_tls_read_group() 0614 * functions. 0615 */ 0616 void mbedtls_ecp_group_init(mbedtls_ecp_group *grp); 0617 0618 /** 0619 * \brief This function initializes a key pair as an invalid one. 0620 * 0621 * \param key The key pair to initialize. 0622 */ 0623 void mbedtls_ecp_keypair_init(mbedtls_ecp_keypair *key); 0624 0625 /** 0626 * \brief This function frees the components of a point. 0627 * 0628 * \param pt The point to free. 0629 */ 0630 void mbedtls_ecp_point_free(mbedtls_ecp_point *pt); 0631 0632 /** 0633 * \brief This function frees the components of an ECP group. 0634 * 0635 * \param grp The group to free. This may be \c NULL, in which 0636 * case this function returns immediately. If it is not 0637 * \c NULL, it must point to an initialized ECP group. 0638 */ 0639 void mbedtls_ecp_group_free(mbedtls_ecp_group *grp); 0640 0641 /** 0642 * \brief This function frees the components of a key pair. 0643 * 0644 * \param key The key pair to free. This may be \c NULL, in which 0645 * case this function returns immediately. If it is not 0646 * \c NULL, it must point to an initialized ECP key pair. 0647 */ 0648 void mbedtls_ecp_keypair_free(mbedtls_ecp_keypair *key); 0649 0650 #if defined(MBEDTLS_ECP_RESTARTABLE) 0651 /** 0652 * \brief Initialize a restart context. 0653 * 0654 * \param ctx The restart context to initialize. This must 0655 * not be \c NULL. 0656 */ 0657 void mbedtls_ecp_restart_init(mbedtls_ecp_restart_ctx *ctx); 0658 0659 /** 0660 * \brief Free the components of a restart context. 0661 * 0662 * \param ctx The restart context to free. This may be \c NULL, in which 0663 * case this function returns immediately. If it is not 0664 * \c NULL, it must point to an initialized restart context. 0665 */ 0666 void mbedtls_ecp_restart_free(mbedtls_ecp_restart_ctx *ctx); 0667 #endif /* MBEDTLS_ECP_RESTARTABLE */ 0668 0669 /** 0670 * \brief This function copies the contents of point \p Q into 0671 * point \p P. 0672 * 0673 * \param P The destination point. This must be initialized. 0674 * \param Q The source point. This must be initialized. 0675 * 0676 * \return \c 0 on success. 0677 * \return #MBEDTLS_ERR_MPI_ALLOC_FAILED on memory-allocation failure. 0678 * \return Another negative error code for other kinds of failure. 0679 */ 0680 int mbedtls_ecp_copy(mbedtls_ecp_point *P, const mbedtls_ecp_point *Q); 0681 0682 /** 0683 * \brief This function copies the contents of group \p src into 0684 * group \p dst. 0685 * 0686 * \param dst The destination group. This must be initialized. 0687 * \param src The source group. This must be initialized. 0688 * 0689 * \return \c 0 on success. 0690 * \return #MBEDTLS_ERR_MPI_ALLOC_FAILED on memory-allocation failure. 0691 * \return Another negative error code on other kinds of failure. 0692 */ 0693 int mbedtls_ecp_group_copy(mbedtls_ecp_group *dst, 0694 const mbedtls_ecp_group *src); 0695 0696 /** 0697 * \brief This function sets a point to the point at infinity. 0698 * 0699 * \param pt The point to set. This must be initialized. 0700 * 0701 * \return \c 0 on success. 0702 * \return #MBEDTLS_ERR_MPI_ALLOC_FAILED on memory-allocation failure. 0703 * \return Another negative error code on other kinds of failure. 0704 */ 0705 int mbedtls_ecp_set_zero(mbedtls_ecp_point *pt); 0706 0707 /** 0708 * \brief This function checks if a point is the point at infinity. 0709 * 0710 * \param pt The point to test. This must be initialized. 0711 * 0712 * \return \c 1 if the point is zero. 0713 * \return \c 0 if the point is non-zero. 0714 * \return A negative error code on failure. 0715 */ 0716 int mbedtls_ecp_is_zero(mbedtls_ecp_point *pt); 0717 0718 /** 0719 * \brief This function compares two points. 0720 * 0721 * \note This assumes that the points are normalized. Otherwise, 0722 * they may compare as "not equal" even if they are. 0723 * 0724 * \param P The first point to compare. This must be initialized. 0725 * \param Q The second point to compare. This must be initialized. 0726 * 0727 * \return \c 0 if the points are equal. 0728 * \return #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if the points are not equal. 0729 */ 0730 int mbedtls_ecp_point_cmp(const mbedtls_ecp_point *P, 0731 const mbedtls_ecp_point *Q); 0732 0733 /** 0734 * \brief This function imports a non-zero point from two ASCII 0735 * strings. 0736 * 0737 * \param P The destination point. This must be initialized. 0738 * \param radix The numeric base of the input. 0739 * \param x The first affine coordinate, as a null-terminated string. 0740 * \param y The second affine coordinate, as a null-terminated string. 0741 * 0742 * \return \c 0 on success. 0743 * \return An \c MBEDTLS_ERR_MPI_XXX error code on failure. 0744 */ 0745 int mbedtls_ecp_point_read_string(mbedtls_ecp_point *P, int radix, 0746 const char *x, const char *y); 0747 0748 /** 0749 * \brief This function exports a point into unsigned binary data. 0750 * 0751 * \param grp The group to which the point should belong. 0752 * This must be initialized and have group parameters 0753 * set, for example through mbedtls_ecp_group_load(). 0754 * \param P The point to export. This must be initialized. 0755 * \param format The point format. This must be either 0756 * #MBEDTLS_ECP_PF_COMPRESSED or #MBEDTLS_ECP_PF_UNCOMPRESSED. 0757 * (For groups without these formats, this parameter is 0758 * ignored. But it still has to be either of the above 0759 * values.) 0760 * \param olen The address at which to store the length of 0761 * the output in Bytes. This must not be \c NULL. 0762 * \param buf The output buffer. This must be a writable buffer 0763 * of length \p buflen Bytes. 0764 * \param buflen The length of the output buffer \p buf in Bytes. 0765 * 0766 * \return \c 0 on success. 0767 * \return #MBEDTLS_ERR_ECP_BUFFER_TOO_SMALL if the output buffer 0768 * is too small to hold the point. 0769 * \return #MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE if the point format 0770 * or the export for the given group is not implemented. 0771 * \return Another negative error code on other kinds of failure. 0772 */ 0773 int mbedtls_ecp_point_write_binary(const mbedtls_ecp_group *grp, 0774 const mbedtls_ecp_point *P, 0775 int format, size_t *olen, 0776 unsigned char *buf, size_t buflen); 0777 0778 /** 0779 * \brief This function imports a point from unsigned binary data. 0780 * 0781 * \note This function does not check that the point actually 0782 * belongs to the given group, see mbedtls_ecp_check_pubkey() 0783 * for that. 0784 * 0785 * \note For compressed points, see #MBEDTLS_ECP_PF_COMPRESSED for 0786 * limitations. 0787 * 0788 * \param grp The group to which the point should belong. 0789 * This must be initialized and have group parameters 0790 * set, for example through mbedtls_ecp_group_load(). 0791 * \param P The destination context to import the point to. 0792 * This must be initialized. 0793 * \param buf The input buffer. This must be a readable buffer 0794 * of length \p ilen Bytes. 0795 * \param ilen The length of the input buffer \p buf in Bytes. 0796 * 0797 * \return \c 0 on success. 0798 * \return #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if the input is invalid. 0799 * \return #MBEDTLS_ERR_MPI_ALLOC_FAILED on memory-allocation failure. 0800 * \return #MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE if the import for the 0801 * given group is not implemented. 0802 */ 0803 int mbedtls_ecp_point_read_binary(const mbedtls_ecp_group *grp, 0804 mbedtls_ecp_point *P, 0805 const unsigned char *buf, size_t ilen); 0806 0807 /** 0808 * \brief This function imports a point from a TLS ECPoint record. 0809 * 0810 * \note On function return, \p *buf is updated to point immediately 0811 * after the ECPoint record. 0812 * 0813 * \param grp The ECP group to use. 0814 * This must be initialized and have group parameters 0815 * set, for example through mbedtls_ecp_group_load(). 0816 * \param pt The destination point. 0817 * \param buf The address of the pointer to the start of the input buffer. 0818 * \param len The length of the buffer. 0819 * 0820 * \return \c 0 on success. 0821 * \return An \c MBEDTLS_ERR_MPI_XXX error code on initialization 0822 * failure. 0823 * \return #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if input is invalid. 0824 */ 0825 int mbedtls_ecp_tls_read_point(const mbedtls_ecp_group *grp, 0826 mbedtls_ecp_point *pt, 0827 const unsigned char **buf, size_t len); 0828 0829 /** 0830 * \brief This function exports a point as a TLS ECPoint record 0831 * defined in RFC 4492, Section 5.4. 0832 * 0833 * \param grp The ECP group to use. 0834 * This must be initialized and have group parameters 0835 * set, for example through mbedtls_ecp_group_load(). 0836 * \param pt The point to be exported. This must be initialized. 0837 * \param format The point format to use. This must be either 0838 * #MBEDTLS_ECP_PF_COMPRESSED or #MBEDTLS_ECP_PF_UNCOMPRESSED. 0839 * \param olen The address at which to store the length in Bytes 0840 * of the data written. 0841 * \param buf The target buffer. This must be a writable buffer of 0842 * length \p blen Bytes. 0843 * \param blen The length of the target buffer \p buf in Bytes. 0844 * 0845 * \return \c 0 on success. 0846 * \return #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if the input is invalid. 0847 * \return #MBEDTLS_ERR_ECP_BUFFER_TOO_SMALL if the target buffer 0848 * is too small to hold the exported point. 0849 * \return Another negative error code on other kinds of failure. 0850 */ 0851 int mbedtls_ecp_tls_write_point(const mbedtls_ecp_group *grp, 0852 const mbedtls_ecp_point *pt, 0853 int format, size_t *olen, 0854 unsigned char *buf, size_t blen); 0855 0856 /** 0857 * \brief This function sets up an ECP group context 0858 * from a standardized set of domain parameters. 0859 * 0860 * \note The index should be a value of the NamedCurve enum, 0861 * as defined in <em>RFC-4492: Elliptic Curve Cryptography 0862 * (ECC) Cipher Suites for Transport Layer Security (TLS)</em>, 0863 * usually in the form of an \c MBEDTLS_ECP_DP_XXX macro. 0864 * 0865 * \param grp The group context to setup. This must be initialized. 0866 * \param id The identifier of the domain parameter set to load. 0867 * 0868 * \return \c 0 on success. 0869 * \return #MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE if \p id doesn't 0870 * correspond to a known group. 0871 * \return Another negative error code on other kinds of failure. 0872 */ 0873 int mbedtls_ecp_group_load(mbedtls_ecp_group *grp, mbedtls_ecp_group_id id); 0874 0875 /** 0876 * \brief This function sets up an ECP group context from a TLS 0877 * ECParameters record as defined in RFC 4492, Section 5.4. 0878 * 0879 * \note The read pointer \p buf is updated to point right after 0880 * the ECParameters record on exit. 0881 * 0882 * \param grp The group context to setup. This must be initialized. 0883 * \param buf The address of the pointer to the start of the input buffer. 0884 * \param len The length of the input buffer \c *buf in Bytes. 0885 * 0886 * \return \c 0 on success. 0887 * \return #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if input is invalid. 0888 * \return #MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE if the group is not 0889 * recognized. 0890 * \return Another negative error code on other kinds of failure. 0891 */ 0892 int mbedtls_ecp_tls_read_group(mbedtls_ecp_group *grp, 0893 const unsigned char **buf, size_t len); 0894 0895 /** 0896 * \brief This function extracts an elliptic curve group ID from a 0897 * TLS ECParameters record as defined in RFC 4492, Section 5.4. 0898 * 0899 * \note The read pointer \p buf is updated to point right after 0900 * the ECParameters record on exit. 0901 * 0902 * \param grp The address at which to store the group id. 0903 * This must not be \c NULL. 0904 * \param buf The address of the pointer to the start of the input buffer. 0905 * \param len The length of the input buffer \c *buf in Bytes. 0906 * 0907 * \return \c 0 on success. 0908 * \return #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if input is invalid. 0909 * \return #MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE if the group is not 0910 * recognized. 0911 * \return Another negative error code on other kinds of failure. 0912 */ 0913 int mbedtls_ecp_tls_read_group_id(mbedtls_ecp_group_id *grp, 0914 const unsigned char **buf, 0915 size_t len); 0916 /** 0917 * \brief This function exports an elliptic curve as a TLS 0918 * ECParameters record as defined in RFC 4492, Section 5.4. 0919 * 0920 * \param grp The ECP group to be exported. 0921 * This must be initialized and have group parameters 0922 * set, for example through mbedtls_ecp_group_load(). 0923 * \param olen The address at which to store the number of Bytes written. 0924 * This must not be \c NULL. 0925 * \param buf The buffer to write to. This must be a writable buffer 0926 * of length \p blen Bytes. 0927 * \param blen The length of the output buffer \p buf in Bytes. 0928 * 0929 * \return \c 0 on success. 0930 * \return #MBEDTLS_ERR_ECP_BUFFER_TOO_SMALL if the output 0931 * buffer is too small to hold the exported group. 0932 * \return Another negative error code on other kinds of failure. 0933 */ 0934 int mbedtls_ecp_tls_write_group(const mbedtls_ecp_group *grp, 0935 size_t *olen, 0936 unsigned char *buf, size_t blen); 0937 0938 /** 0939 * \brief This function performs a scalar multiplication of a point 0940 * by an integer: \p R = \p m * \p P. 0941 * 0942 * It is not thread-safe to use same group in multiple threads. 0943 * 0944 * \note To prevent timing attacks, this function 0945 * executes the exact same sequence of base-field 0946 * operations for any valid \p m. It avoids any if-branch or 0947 * array index depending on the value of \p m. It also uses 0948 * \p f_rng to randomize some intermediate results. 0949 * 0950 * \param grp The ECP group to use. 0951 * This must be initialized and have group parameters 0952 * set, for example through mbedtls_ecp_group_load(). 0953 * \param R The point in which to store the result of the calculation. 0954 * This must be initialized. 0955 * \param m The integer by which to multiply. This must be initialized. 0956 * \param P The point to multiply. This must be initialized. 0957 * \param f_rng The RNG function. This must not be \c NULL. 0958 * \param p_rng The RNG context to be passed to \p f_rng. This may be \c 0959 * NULL if \p f_rng doesn't need a context. 0960 * 0961 * \return \c 0 on success. 0962 * \return #MBEDTLS_ERR_ECP_INVALID_KEY if \p m is not a valid private 0963 * key, or \p P is not a valid public key. 0964 * \return #MBEDTLS_ERR_MPI_ALLOC_FAILED on memory-allocation failure. 0965 * \return Another negative error code on other kinds of failure. 0966 */ 0967 int mbedtls_ecp_mul(mbedtls_ecp_group *grp, mbedtls_ecp_point *R, 0968 const mbedtls_mpi *m, const mbedtls_ecp_point *P, 0969 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng); 0970 0971 /** 0972 * \brief This function performs multiplication of a point by 0973 * an integer: \p R = \p m * \p P in a restartable way. 0974 * 0975 * \see mbedtls_ecp_mul() 0976 * 0977 * \note This function does the same as \c mbedtls_ecp_mul(), but 0978 * it can return early and restart according to the limit set 0979 * with \c mbedtls_ecp_set_max_ops() to reduce blocking. 0980 * 0981 * \param grp The ECP group to use. 0982 * This must be initialized and have group parameters 0983 * set, for example through mbedtls_ecp_group_load(). 0984 * \param R The point in which to store the result of the calculation. 0985 * This must be initialized. 0986 * \param m The integer by which to multiply. This must be initialized. 0987 * \param P The point to multiply. This must be initialized. 0988 * \param f_rng The RNG function. This must not be \c NULL. 0989 * \param p_rng The RNG context to be passed to \p f_rng. This may be \c 0990 * NULL if \p f_rng doesn't need a context. 0991 * \param rs_ctx The restart context (NULL disables restart). 0992 * 0993 * \return \c 0 on success. 0994 * \return #MBEDTLS_ERR_ECP_INVALID_KEY if \p m is not a valid private 0995 * key, or \p P is not a valid public key. 0996 * \return #MBEDTLS_ERR_MPI_ALLOC_FAILED on memory-allocation failure. 0997 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of 0998 * operations was reached: see \c mbedtls_ecp_set_max_ops(). 0999 * \return Another negative error code on other kinds of failure. 1000 */ 1001 int mbedtls_ecp_mul_restartable(mbedtls_ecp_group *grp, mbedtls_ecp_point *R, 1002 const mbedtls_mpi *m, const mbedtls_ecp_point *P, 1003 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng, 1004 mbedtls_ecp_restart_ctx *rs_ctx); 1005 1006 #if defined(MBEDTLS_ECP_SHORT_WEIERSTRASS_ENABLED) 1007 /** 1008 * \brief This function checks if domain parameter A of the curve is 1009 * \c -3. 1010 * 1011 * \note This function is only defined for short Weierstrass curves. 1012 * It may not be included in builds without any short 1013 * Weierstrass curve. 1014 * 1015 * \param grp The ECP group to use. 1016 * This must be initialized and have group parameters 1017 * set, for example through mbedtls_ecp_group_load(). 1018 * 1019 * \return \c 1 if <code>A = -3</code>. 1020 * \return \c 0 Otherwise. 1021 */ 1022 static inline int mbedtls_ecp_group_a_is_minus_3(const mbedtls_ecp_group *grp) 1023 { 1024 return grp->A.MBEDTLS_PRIVATE(p) == NULL; 1025 } 1026 1027 /** 1028 * \brief This function performs multiplication and addition of two 1029 * points by integers: \p R = \p m * \p P + \p n * \p Q 1030 * 1031 * It is not thread-safe to use same group in multiple threads. 1032 * 1033 * \note In contrast to mbedtls_ecp_mul(), this function does not 1034 * guarantee a constant execution flow and timing. 1035 * 1036 * \note This function is only defined for short Weierstrass curves. 1037 * It may not be included in builds without any short 1038 * Weierstrass curve. 1039 * 1040 * \param grp The ECP group to use. 1041 * This must be initialized and have group parameters 1042 * set, for example through mbedtls_ecp_group_load(). 1043 * \param R The point in which to store the result of the calculation. 1044 * This must be initialized. 1045 * \param m The integer by which to multiply \p P. 1046 * This must be initialized. 1047 * \param P The point to multiply by \p m. This must be initialized. 1048 * \param n The integer by which to multiply \p Q. 1049 * This must be initialized. 1050 * \param Q The point to be multiplied by \p n. 1051 * This must be initialized. 1052 * 1053 * \return \c 0 on success. 1054 * \return #MBEDTLS_ERR_ECP_INVALID_KEY if \p m or \p n are not 1055 * valid private keys, or \p P or \p Q are not valid public 1056 * keys. 1057 * \return #MBEDTLS_ERR_MPI_ALLOC_FAILED on memory-allocation failure. 1058 * \return #MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE if \p grp does not 1059 * designate a short Weierstrass curve. 1060 * \return Another negative error code on other kinds of failure. 1061 */ 1062 int mbedtls_ecp_muladd(mbedtls_ecp_group *grp, mbedtls_ecp_point *R, 1063 const mbedtls_mpi *m, const mbedtls_ecp_point *P, 1064 const mbedtls_mpi *n, const mbedtls_ecp_point *Q); 1065 1066 /** 1067 * \brief This function performs multiplication and addition of two 1068 * points by integers: \p R = \p m * \p P + \p n * \p Q in a 1069 * restartable way. 1070 * 1071 * \see \c mbedtls_ecp_muladd() 1072 * 1073 * \note This function works the same as \c mbedtls_ecp_muladd(), 1074 * but it can return early and restart according to the limit 1075 * set with \c mbedtls_ecp_set_max_ops() to reduce blocking. 1076 * 1077 * \note This function is only defined for short Weierstrass curves. 1078 * It may not be included in builds without any short 1079 * Weierstrass curve. 1080 * 1081 * \param grp The ECP group to use. 1082 * This must be initialized and have group parameters 1083 * set, for example through mbedtls_ecp_group_load(). 1084 * \param R The point in which to store the result of the calculation. 1085 * This must be initialized. 1086 * \param m The integer by which to multiply \p P. 1087 * This must be initialized. 1088 * \param P The point to multiply by \p m. This must be initialized. 1089 * \param n The integer by which to multiply \p Q. 1090 * This must be initialized. 1091 * \param Q The point to be multiplied by \p n. 1092 * This must be initialized. 1093 * \param rs_ctx The restart context (NULL disables restart). 1094 * 1095 * \return \c 0 on success. 1096 * \return #MBEDTLS_ERR_ECP_INVALID_KEY if \p m or \p n are not 1097 * valid private keys, or \p P or \p Q are not valid public 1098 * keys. 1099 * \return #MBEDTLS_ERR_MPI_ALLOC_FAILED on memory-allocation failure. 1100 * \return #MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE if \p grp does not 1101 * designate a short Weierstrass curve. 1102 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of 1103 * operations was reached: see \c mbedtls_ecp_set_max_ops(). 1104 * \return Another negative error code on other kinds of failure. 1105 */ 1106 int mbedtls_ecp_muladd_restartable( 1107 mbedtls_ecp_group *grp, mbedtls_ecp_point *R, 1108 const mbedtls_mpi *m, const mbedtls_ecp_point *P, 1109 const mbedtls_mpi *n, const mbedtls_ecp_point *Q, 1110 mbedtls_ecp_restart_ctx *rs_ctx); 1111 #endif /* MBEDTLS_ECP_SHORT_WEIERSTRASS_ENABLED */ 1112 1113 /** 1114 * \brief This function checks that a point is a valid public key 1115 * on this curve. 1116 * 1117 * It only checks that the point is non-zero, has 1118 * valid coordinates and lies on the curve. It does not verify 1119 * that it is indeed a multiple of \c G. This additional 1120 * check is computationally more expensive, is not required 1121 * by standards, and should not be necessary if the group 1122 * used has a small cofactor. In particular, it is useless for 1123 * the NIST groups which all have a cofactor of 1. 1124 * 1125 * \note This function uses bare components rather than an 1126 * ::mbedtls_ecp_keypair structure, to ease use with other 1127 * structures, such as ::mbedtls_ecdh_context or 1128 * ::mbedtls_ecdsa_context. 1129 * 1130 * \param grp The ECP group the point should belong to. 1131 * This must be initialized and have group parameters 1132 * set, for example through mbedtls_ecp_group_load(). 1133 * \param pt The point to check. This must be initialized. 1134 * 1135 * \return \c 0 if the point is a valid public key. 1136 * \return #MBEDTLS_ERR_ECP_INVALID_KEY if the point is not 1137 * a valid public key for the given curve. 1138 * \return Another negative error code on other kinds of failure. 1139 */ 1140 int mbedtls_ecp_check_pubkey(const mbedtls_ecp_group *grp, 1141 const mbedtls_ecp_point *pt); 1142 1143 /** 1144 * \brief This function checks that an \c mbedtls_mpi is a 1145 * valid private key for this curve. 1146 * 1147 * \note This function uses bare components rather than an 1148 * ::mbedtls_ecp_keypair structure to ease use with other 1149 * structures, such as ::mbedtls_ecdh_context or 1150 * ::mbedtls_ecdsa_context. 1151 * 1152 * \param grp The ECP group the private key should belong to. 1153 * This must be initialized and have group parameters 1154 * set, for example through mbedtls_ecp_group_load(). 1155 * \param d The integer to check. This must be initialized. 1156 * 1157 * \return \c 0 if the point is a valid private key. 1158 * \return #MBEDTLS_ERR_ECP_INVALID_KEY if the point is not a valid 1159 * private key for the given curve. 1160 * \return Another negative error code on other kinds of failure. 1161 */ 1162 int mbedtls_ecp_check_privkey(const mbedtls_ecp_group *grp, 1163 const mbedtls_mpi *d); 1164 1165 /** 1166 * \brief This function generates a private key. 1167 * 1168 * \param grp The ECP group to generate a private key for. 1169 * This must be initialized and have group parameters 1170 * set, for example through mbedtls_ecp_group_load(). 1171 * \param d The destination MPI (secret part). This must be initialized. 1172 * \param f_rng The RNG function. This must not be \c NULL. 1173 * \param p_rng The RNG parameter to be passed to \p f_rng. This may be 1174 * \c NULL if \p f_rng doesn't need a context argument. 1175 * 1176 * \return \c 0 on success. 1177 * \return An \c MBEDTLS_ERR_ECP_XXX or \c MBEDTLS_MPI_XXX error code 1178 * on failure. 1179 */ 1180 int mbedtls_ecp_gen_privkey(const mbedtls_ecp_group *grp, 1181 mbedtls_mpi *d, 1182 int (*f_rng)(void *, unsigned char *, size_t), 1183 void *p_rng); 1184 1185 /** 1186 * \brief This function generates a keypair with a configurable base 1187 * point. 1188 * 1189 * \note This function uses bare components rather than an 1190 * ::mbedtls_ecp_keypair structure to ease use with other 1191 * structures, such as ::mbedtls_ecdh_context or 1192 * ::mbedtls_ecdsa_context. 1193 * 1194 * \param grp The ECP group to generate a key pair for. 1195 * This must be initialized and have group parameters 1196 * set, for example through mbedtls_ecp_group_load(). 1197 * \param G The base point to use. This must be initialized 1198 * and belong to \p grp. It replaces the default base 1199 * point \c grp->G used by mbedtls_ecp_gen_keypair(). 1200 * \param d The destination MPI (secret part). 1201 * This must be initialized. 1202 * \param Q The destination point (public part). 1203 * This must be initialized. 1204 * \param f_rng The RNG function. This must not be \c NULL. 1205 * \param p_rng The RNG context to be passed to \p f_rng. This may 1206 * be \c NULL if \p f_rng doesn't need a context argument. 1207 * 1208 * \return \c 0 on success. 1209 * \return An \c MBEDTLS_ERR_ECP_XXX or \c MBEDTLS_MPI_XXX error code 1210 * on failure. 1211 */ 1212 int mbedtls_ecp_gen_keypair_base(mbedtls_ecp_group *grp, 1213 const mbedtls_ecp_point *G, 1214 mbedtls_mpi *d, mbedtls_ecp_point *Q, 1215 int (*f_rng)(void *, unsigned char *, size_t), 1216 void *p_rng); 1217 1218 /** 1219 * \brief This function generates an ECP keypair. 1220 * 1221 * \note This function uses bare components rather than an 1222 * ::mbedtls_ecp_keypair structure to ease use with other 1223 * structures, such as ::mbedtls_ecdh_context or 1224 * ::mbedtls_ecdsa_context. 1225 * 1226 * \param grp The ECP group to generate a key pair for. 1227 * This must be initialized and have group parameters 1228 * set, for example through mbedtls_ecp_group_load(). 1229 * \param d The destination MPI (secret part). 1230 * This must be initialized. 1231 * \param Q The destination point (public part). 1232 * This must be initialized. 1233 * \param f_rng The RNG function. This must not be \c NULL. 1234 * \param p_rng The RNG context to be passed to \p f_rng. This may 1235 * be \c NULL if \p f_rng doesn't need a context argument. 1236 * 1237 * \return \c 0 on success. 1238 * \return An \c MBEDTLS_ERR_ECP_XXX or \c MBEDTLS_MPI_XXX error code 1239 * on failure. 1240 */ 1241 int mbedtls_ecp_gen_keypair(mbedtls_ecp_group *grp, mbedtls_mpi *d, 1242 mbedtls_ecp_point *Q, 1243 int (*f_rng)(void *, unsigned char *, size_t), 1244 void *p_rng); 1245 1246 /** 1247 * \brief This function generates an ECP key. 1248 * 1249 * \param grp_id The ECP group identifier. 1250 * \param key The destination key. This must be initialized. 1251 * \param f_rng The RNG function to use. This must not be \c NULL. 1252 * \param p_rng The RNG context to be passed to \p f_rng. This may 1253 * be \c NULL if \p f_rng doesn't need a context argument. 1254 * 1255 * \return \c 0 on success. 1256 * \return An \c MBEDTLS_ERR_ECP_XXX or \c MBEDTLS_MPI_XXX error code 1257 * on failure. 1258 */ 1259 int mbedtls_ecp_gen_key(mbedtls_ecp_group_id grp_id, mbedtls_ecp_keypair *key, 1260 int (*f_rng)(void *, unsigned char *, size_t), 1261 void *p_rng); 1262 1263 /** \brief Set the public key in a key pair object. 1264 * 1265 * \note This function does not check that the point actually 1266 * belongs to the given group. Call mbedtls_ecp_check_pubkey() 1267 * on \p Q before calling this function to check that. 1268 * 1269 * \note This function does not check that the public key matches 1270 * the private key that is already in \p key, if any. 1271 * To check the consistency of the resulting key pair object, 1272 * call mbedtls_ecp_check_pub_priv() after setting both 1273 * the public key and the private key. 1274 * 1275 * \param grp_id The ECP group identifier. 1276 * \param key The key pair object. It must be initialized. 1277 * If its group has already been set, it must match \p grp_id. 1278 * If its group has not been set, it will be set to \p grp_id. 1279 * If the public key has already been set, it is overwritten. 1280 * \param Q The public key to copy. This must be a point on the 1281 * curve indicated by \p grp_id. 1282 * 1283 * \return \c 0 on success. 1284 * \return #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if \p key does not 1285 * match \p grp_id. 1286 * \return #MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE if the operation for 1287 * the group is not implemented. 1288 * \return #MBEDTLS_ERR_MPI_ALLOC_FAILED on memory-allocation failure. 1289 * \return Another negative error code on other kinds of failure. 1290 */ 1291 int mbedtls_ecp_set_public_key(mbedtls_ecp_group_id grp_id, 1292 mbedtls_ecp_keypair *key, 1293 const mbedtls_ecp_point *Q); 1294 1295 /** 1296 * \brief This function reads an elliptic curve private key. 1297 * 1298 * \note This function does not set the public key in the 1299 * key pair object. Without a public key, the key pair object 1300 * cannot be used with operations that require the public key. 1301 * Call mbedtls_ecp_keypair_calc_public() to set the public 1302 * key from the private key. Alternatively, you can call 1303 * mbedtls_ecp_set_public_key() to set the public key part, 1304 * and then optionally mbedtls_ecp_check_pub_priv() to check 1305 * that the private and public parts are consistent. 1306 * 1307 * \note If a public key has already been set in the key pair 1308 * object, this function does not check that it is consistent 1309 * with the private key. Call mbedtls_ecp_check_pub_priv() 1310 * after setting both the public key and the private key 1311 * to make that check. 1312 * 1313 * \param grp_id The ECP group identifier. 1314 * \param key The destination key. 1315 * \param buf The buffer containing the binary representation of the 1316 * key. (Big endian integer for Weierstrass curves, byte 1317 * string for Montgomery curves.) 1318 * \param buflen The length of the buffer in bytes. 1319 * 1320 * \return \c 0 on success. 1321 * \return #MBEDTLS_ERR_ECP_INVALID_KEY error if the key is 1322 * invalid. 1323 * \return #MBEDTLS_ERR_MPI_ALLOC_FAILED if memory allocation failed. 1324 * \return #MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE if the operation for 1325 * the group is not implemented. 1326 * \return Another negative error code on different kinds of failure. 1327 */ 1328 int mbedtls_ecp_read_key(mbedtls_ecp_group_id grp_id, mbedtls_ecp_keypair *key, 1329 const unsigned char *buf, size_t buflen); 1330 1331 #if !defined(MBEDTLS_DEPRECATED_REMOVED) 1332 /** 1333 * \brief This function exports an elliptic curve private key. 1334 * 1335 * \deprecated Note that although this function accepts an output 1336 * buffer that is smaller or larger than the key, most key 1337 * import interfaces require the output to have exactly 1338 * key's nominal length. It is generally simplest to 1339 * pass the key's nominal length as \c buflen, after 1340 * checking that the output buffer is large enough. 1341 * See the description of the \p buflen parameter for 1342 * how to calculate the nominal length. 1343 * To avoid this difficulty, use mbedtls_ecp_write_key_ext() 1344 * instead. 1345 * mbedtls_ecp_write_key() is deprecated and will be 1346 * removed in a future version of the library. 1347 * 1348 * \note If the private key was not set in \p key, 1349 * the output is unspecified. Future versions 1350 * may return an error in that case. 1351 * 1352 * \param key The private key. 1353 * \param buf The output buffer for containing the binary representation 1354 * of the key. 1355 * For Weierstrass curves, this is the big-endian 1356 * representation, padded with null bytes at the beginning 1357 * to reach \p buflen bytes. 1358 * For Montgomery curves, this is the standard byte string 1359 * representation (which is little-endian), padded with 1360 * null bytes at the end to reach \p buflen bytes. 1361 * \param buflen The total length of the buffer in bytes. 1362 * The length of the output is 1363 * (`grp->nbits` + 7) / 8 bytes 1364 * where `grp->nbits` is the private key size in bits. 1365 * For Weierstrass keys, if the output buffer is smaller, 1366 * leading zeros are trimmed to fit if possible. For 1367 * Montgomery keys, the output buffer must always be large 1368 * enough for the nominal length. 1369 * 1370 * \return \c 0 on success. 1371 * \return #MBEDTLS_ERR_ECP_BUFFER_TOO_SMALL or 1372 * #MBEDTLS_ERR_MPI_BUFFER_TOO_SMALL if the \p key 1373 * representation is larger than the available space in \p buf. 1374 * \return Another negative error code on different kinds of failure. 1375 */ 1376 int MBEDTLS_DEPRECATED mbedtls_ecp_write_key(mbedtls_ecp_keypair *key, 1377 unsigned char *buf, size_t buflen); 1378 #endif /* MBEDTLS_DEPRECATED_REMOVED */ 1379 1380 /** 1381 * \brief This function exports an elliptic curve private key. 1382 * 1383 * \param key The private key. 1384 * \param olen On success, the length of the private key. 1385 * This is always (`grp->nbits` + 7) / 8 bytes 1386 * where `grp->nbits` is the private key size in bits. 1387 * \param buf The output buffer for containing the binary representation 1388 * of the key. 1389 * \param buflen The total length of the buffer in bytes. 1390 * #MBEDTLS_ECP_MAX_BYTES is always sufficient. 1391 * 1392 * \return \c 0 on success. 1393 * \return #MBEDTLS_ERR_ECP_BUFFER_TOO_SMALL if the \p key 1394 * representation is larger than the available space in \p buf. 1395 * \return #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if no private key is 1396 * set in \p key. 1397 * \return Another negative error code on different kinds of failure. 1398 */ 1399 int mbedtls_ecp_write_key_ext(const mbedtls_ecp_keypair *key, 1400 size_t *olen, unsigned char *buf, size_t buflen); 1401 1402 /** 1403 * \brief This function exports an elliptic curve public key. 1404 * 1405 * \note If the public key was not set in \p key, 1406 * the output is unspecified. Future versions 1407 * may return an error in that case. 1408 * 1409 * \param key The public key. 1410 * \param format The point format. This must be either 1411 * #MBEDTLS_ECP_PF_COMPRESSED or #MBEDTLS_ECP_PF_UNCOMPRESSED. 1412 * (For groups without these formats, this parameter is 1413 * ignored. But it still has to be either of the above 1414 * values.) 1415 * \param olen The address at which to store the length of 1416 * the output in Bytes. This must not be \c NULL. 1417 * \param buf The output buffer. This must be a writable buffer 1418 * of length \p buflen Bytes. 1419 * \param buflen The length of the output buffer \p buf in Bytes. 1420 * 1421 * \return \c 0 on success. 1422 * \return #MBEDTLS_ERR_ECP_BUFFER_TOO_SMALL if the output buffer 1423 * is too small to hold the point. 1424 * \return #MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE if the point format 1425 * or the export for the given group is not implemented. 1426 * \return Another negative error code on other kinds of failure. 1427 */ 1428 int mbedtls_ecp_write_public_key(const mbedtls_ecp_keypair *key, 1429 int format, size_t *olen, 1430 unsigned char *buf, size_t buflen); 1431 1432 /** 1433 * \brief This function checks that the keypair objects 1434 * \p pub and \p prv have the same group and the 1435 * same public point, and that the private key in 1436 * \p prv is consistent with the public key. 1437 * 1438 * \param pub The keypair structure holding the public key. This 1439 * must be initialized. If it contains a private key, that 1440 * part is ignored. 1441 * \param prv The keypair structure holding the full keypair. 1442 * This must be initialized. 1443 * \param f_rng The RNG function. This must not be \c NULL. 1444 * \param p_rng The RNG context to be passed to \p f_rng. This may be \c 1445 * NULL if \p f_rng doesn't need a context. 1446 * 1447 * \return \c 0 on success, meaning that the keys are valid and match. 1448 * \return #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if the keys are invalid or do not match. 1449 * \return An \c MBEDTLS_ERR_ECP_XXX or an \c MBEDTLS_ERR_MPI_XXX 1450 * error code on calculation failure. 1451 */ 1452 int mbedtls_ecp_check_pub_priv( 1453 const mbedtls_ecp_keypair *pub, const mbedtls_ecp_keypair *prv, 1454 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng); 1455 1456 /** \brief Calculate the public key from a private key in a key pair. 1457 * 1458 * \param key A keypair structure. It must have a private key set. 1459 * If the public key is set, it will be overwritten. 1460 * \param f_rng The RNG function. This must not be \c NULL. 1461 * \param p_rng The RNG context to be passed to \p f_rng. This may be \c 1462 * NULL if \p f_rng doesn't need a context. 1463 * 1464 * \return \c 0 on success. The key pair object can be used for 1465 * operations that require the public key. 1466 * \return An \c MBEDTLS_ERR_ECP_XXX or an \c MBEDTLS_ERR_MPI_XXX 1467 * error code on calculation failure. 1468 */ 1469 int mbedtls_ecp_keypair_calc_public( 1470 mbedtls_ecp_keypair *key, 1471 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng); 1472 1473 /** \brief Query the group that a key pair belongs to. 1474 * 1475 * \param key The key pair to query. 1476 * 1477 * \return The group ID for the group registered in the key pair 1478 * object. 1479 * This is \c MBEDTLS_ECP_DP_NONE if no group has been set 1480 * in the key pair object. 1481 */ 1482 mbedtls_ecp_group_id mbedtls_ecp_keypair_get_group_id( 1483 const mbedtls_ecp_keypair *key); 1484 1485 /** 1486 * \brief This function exports generic key-pair parameters. 1487 * 1488 * Each of the output parameters can be a null pointer 1489 * if you do not need that parameter. 1490 * 1491 * \note If the private key or the public key was not set in \p key, 1492 * the corresponding output is unspecified. Future versions 1493 * may return an error in that case. 1494 * 1495 * \param key The key pair to export from. 1496 * \param grp Slot for exported ECP group. 1497 * It must either be null or point to an initialized ECP group. 1498 * \param d Slot for the exported secret value. 1499 * It must either be null or point to an initialized mpi. 1500 * \param Q Slot for the exported public value. 1501 * It must either be null or point to an initialized ECP point. 1502 * 1503 * \return \c 0 on success, 1504 * \return #MBEDTLS_ERR_MPI_ALLOC_FAILED on memory-allocation failure. 1505 * \return #MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE if key id doesn't 1506 * correspond to a known group. 1507 * \return Another negative error code on other kinds of failure. 1508 */ 1509 int mbedtls_ecp_export(const mbedtls_ecp_keypair *key, mbedtls_ecp_group *grp, 1510 mbedtls_mpi *d, mbedtls_ecp_point *Q); 1511 1512 #if defined(MBEDTLS_SELF_TEST) 1513 1514 /** 1515 * \brief The ECP checkup routine. 1516 * 1517 * \return \c 0 on success. 1518 * \return \c 1 on failure. 1519 */ 1520 int mbedtls_ecp_self_test(int verbose); 1521 1522 #endif /* MBEDTLS_SELF_TEST */ 1523 1524 #ifdef __cplusplus 1525 } 1526 #endif 1527 1528 #endif /* ecp.h */
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.3.7 LXR engine. The LXR team |
![]() ![]() |