crypto: simplify using pre-existing keys with ECDH · nodejs/node@da5ac55 · GitHub
Skip to content

Commit da5ac55

Browse files
Michael Ruddyrvagg
authored andcommitted
crypto: simplify using pre-existing keys with ECDH
These changes simplify using ECDH with private keys that are not dynamically generated with ECDH.generateKeys. Support for computing the public key corresponding to the given private key was added. Validity checks to reduce the possibility of computing a weak or invalid shared secret were also added. Finally, ECDH.setPublicKey was softly deprecated. PR-URL: #3511 Reviewed-By: Ben Noordhuis <info@bnoordhuis.nl> Reviewed-By: Shigeki Ohtsu <ohtsu@iij.ad.jp>
1 parent 0c2a0dc commit da5ac55

4 files changed

Lines changed: 197 additions & 38 deletions

File tree

doc/api/crypto.markdown

Lines changed: 38 additions & 10 deletions

src/node_crypto.cc

Lines changed: 66 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -124,6 +124,13 @@ struct ClearErrorOnReturn {
124124
~ClearErrorOnReturn() { ERR_clear_error(); }
125125
};
126126

127+
// Pop errors from OpenSSL's error stack that were added
128+
// between when this was constructed and destructed.
129+
struct MarkPopErrorOnReturn {
130+
MarkPopErrorOnReturn() { ERR_set_mark(); }
131+
~MarkPopErrorOnReturn() { ERR_pop_to_mark(); }
132+
};
133+
127134
static uv_mutex_t* locks;
128135

129136
const char* const root_certs[] = {
@@ -4656,8 +4663,6 @@ void ECDH::GenerateKeys(const FunctionCallbackInfo<Value>& args) {
46564663

46574664
if (!EC_KEY_generate_key(ecdh->key_))
46584665
return env->ThrowError("Failed to generate EC_KEY");
4659-
4660-
ecdh->generated_ = true;
46614666
}
46624667

46634668

@@ -4697,6 +4702,9 @@ void ECDH::ComputeSecret(const FunctionCallbackInfo<Value>& args) {
46974702

46984703
ECDH* ecdh = Unwrap<ECDH>(args.Holder());
46994704

4705+
if (!ecdh->IsKeyPairValid())
4706+
return env->ThrowError("Invalid key pair");
4707+
47004708
EC_POINT* pub = ecdh->BufferToPoint(Buffer::Data(args[0]),
47014709
Buffer::Length(args[0]));
47024710
if (pub == nullptr)
@@ -4728,9 +4736,6 @@ void ECDH::GetPublicKey(const FunctionCallbackInfo<Value>& args) {
47284736

47294737
ECDH* ecdh = Unwrap<ECDH>(args.Holder());
47304738

4731-
if (!ecdh->generated_)
4732-
return env->ThrowError("You should generate ECDH keys first");
4733-
47344739
const EC_POINT* pub = EC_KEY_get0_public_key(ecdh->key_);
47354740
if (pub == nullptr)
47364741
return env->ThrowError("Failed to get ECDH public key");
@@ -4763,9 +4768,6 @@ void ECDH::GetPrivateKey(const FunctionCallbackInfo<Value>& args) {
47634768

47644769
ECDH* ecdh = Unwrap<ECDH>(args.Holder());
47654770

4766-
if (!ecdh->generated_)
4767-
return env->ThrowError("You should generate ECDH keys first");
4768-
47694771
const BIGNUM* b = EC_KEY_get0_private_key(ecdh->key_);
47704772
if (b == nullptr)
47714773
return env->ThrowError("Failed to get ECDH private key");
@@ -4799,12 +4801,42 @@ void ECDH::SetPrivateKey(const FunctionCallbackInfo<Value>& args) {
47994801
if (priv == nullptr)
48004802
return env->ThrowError("Failed to convert Buffer to BN");
48014803

4804+
if (!ecdh->IsKeyValidForCurve(priv)) {
4805+
BN_free(priv);
4806+
return env->ThrowError("Private key is not valid for specified curve.");
4807+
}
4808+
48024809
int result = EC_KEY_set_private_key(ecdh->key_, priv);
48034810
BN_free(priv);
48044811

48054812
if (!result) {
48064813
return env->ThrowError("Failed to convert BN to a private key");
48074814
}
4815+
4816+
// To avoid inconsistency, clear the current public key in-case computing
4817+
// the new one fails for some reason.
4818+
EC_KEY_set_public_key(ecdh->key_, nullptr);
4819+
4820+
MarkPopErrorOnReturn mark_pop_error_on_return;
4821+
(void) &mark_pop_error_on_return; // Silence compiler warning.
4822+
4823+
const BIGNUM* priv_key = EC_KEY_get0_private_key(ecdh->key_);
4824+
CHECK_NE(priv_key, nullptr);
4825+
4826+
EC_POINT* pub = EC_POINT_new(ecdh->group_);
4827+
CHECK_NE(pub, nullptr);
4828+
4829+
if (!EC_POINT_mul(ecdh->group_, pub, priv_key, nullptr, nullptr, nullptr)) {
4830+
EC_POINT_free(pub);
4831+
return env->ThrowError("Failed to generate ECDH public key");
4832+
}
4833+
4834+
if (!EC_KEY_set_public_key(ecdh->key_, pub)) {
4835+
EC_POINT_free(pub);
4836+
return env->ThrowError("Failed to set generated public key");
4837+
}
4838+
4839+
EC_POINT_free(pub);
48084840
}
48094841

48104842

@@ -4818,12 +4850,36 @@ void ECDH::SetPublicKey(const FunctionCallbackInfo<Value>& args) {
48184850
EC_POINT* pub = ecdh->BufferToPoint(Buffer::Data(args[0].As<Object>()),
48194851
Buffer::Length(args[0].As<Object>()));
48204852
if (pub == nullptr)
4821-
return;
4853+
return env->ThrowError("Failed to convert Buffer to EC_POINT");
48224854

48234855
int r = EC_KEY_set_public_key(ecdh->key_, pub);
48244856
EC_POINT_free(pub);
48254857
if (!r)
4826-
return env->ThrowError("Failed to convert BN to a private key");
4858+
return env->ThrowError("Failed to set EC_POINT as the public key");
4859+
}
4860+
4861+
4862+
bool ECDH::IsKeyValidForCurve(const BIGNUM* private_key) {
4863+
ASSERT_NE(group_, nullptr);
4864+
CHECK_NE(private_key, nullptr);
4865+
// Private keys must be in the range [1, n-1].
4866+
// Ref: Section 3.2.1 - http://www.secg.org/sec1-v2.pdf
4867+
if (BN_cmp(private_key, BN_value_one()) < 0) {
4868+
return false;
4869+
}
4870+
BIGNUM* order = BN_new();
4871+
CHECK_NE(order, nullptr);
4872+
bool result = EC_GROUP_get_order(group_, order, nullptr) &&
4873+
BN_cmp(private_key, order) < 0;
4874+
BN_free(order);
4875+
return result;
4876+
}
4877+
4878+
4879+
bool ECDH::IsKeyPairValid() {
4880+
MarkPopErrorOnReturn mark_pop_error_on_return;
4881+
(void) &mark_pop_error_on_return; // Silence compiler warning.
4882+
return 1 == EC_KEY_check_key(key_);
48274883
}
48284884

48294885

src/node_crypto.h

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -693,7 +693,6 @@ class ECDH : public BaseObject {
693693
protected:
694694
ECDH(Environment* env, v8::Local<v8::Object> wrap, EC_KEY* key)
695695
: BaseObject(env, wrap),
696-
generated_(false),
697696
key_(key),
698697
group_(EC_KEY_get0_group(key_)) {
699698
MakeWeak<ECDH>(this);
@@ -710,7 +709,9 @@ class ECDH : public BaseObject {
710709

711710
EC_POINT* BufferToPoint(char* data, size_t len);
712711

713-
bool generated_;
712+
bool IsKeyPairValid();
713+
bool IsKeyValidForCurve(const BIGNUM* private_key);
714+
714715
EC_KEY* key_;
715716
const EC_GROUP* group_;
716717
};

test/parallel/test-crypto-dh.js

Lines changed: 90 additions & 16 deletions

0 commit comments

Comments
 (0)