Skip to content

Commit 66d4031

Browse files
committed
crypto: make generatePrime/checkPrime interruptible
The `generatePrime` and `checkPrime` functions in the `crypto` module are only somewhat interruptible. This change makes it possible to interrupt these more reliably. Note that generating overly large primes can still take a long time and may not be interruptible as this mechanism relies on a callback to check for stopping conditions but OpenSSL may perform a long running operation without calling the callback right away. Fixes: #56449
1 parent 01554f3 commit 66d4031

File tree

2 files changed

+43
-11
lines changed

2 files changed

+43
-11
lines changed

doc/api/crypto.md

+14
Original file line numberDiff line numberDiff line change
@@ -3940,6 +3940,13 @@ By default, the prime is encoded as a big-endian sequence of octets
39403940
in an {ArrayBuffer}. If the `bigint` option is `true`, then a {bigint}
39413941
is provided.
39423942

3943+
The `size` of the prime will have a direct impact on how long it takes to
3944+
generate the prime. The larger the size, the longer it will take. Because
3945+
we use OpenSSL's `BN_generate_prime_ex` function, which provides only
3946+
minimal control over our ability to interrupt the generation process,
3947+
it is not recommended to generate overly large primes, as doing so may make
3948+
the process unresponsive.
3949+
39433950
### `crypto.generatePrimeSync(size[, options])`
39443951

39453952
<!-- YAML
@@ -3981,6 +3988,13 @@ By default, the prime is encoded as a big-endian sequence of octets
39813988
in an {ArrayBuffer}. If the `bigint` option is `true`, then a {bigint}
39823989
is provided.
39833990

3991+
The `size` of the prime will have a direct impact on how long it takes to
3992+
generate the prime. The larger the size, the longer it will take. Because
3993+
we use OpenSSL's `BN_generate_prime_ex` function, which provides only
3994+
minimal control over our ability to interrupt the generation process,
3995+
it is not recommended to generate overly large primes, as doing so may make
3996+
the process unresponsive.
3997+
39843998
### `crypto.getCipherInfo(nameOrNid[, options])`
39853999

39864000
<!-- YAML

src/crypto/crypto_random.cc

+29-11
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,25 @@ using v8::Uint32;
2828
using v8::Value;
2929

3030
namespace crypto {
31+
namespace {
32+
using BNGENCBPointer = DeleteFnPtr<BN_GENCB, BN_GENCB_free>;
33+
34+
BNGENCBPointer getBN_GENCB(Environment* env) {
35+
// The callback is used to check if the operation should be stopped.
36+
// Currently, the only check we perform is if env->is_stopping()
37+
// is true.
38+
BNGENCBPointer cb(BN_GENCB_new());
39+
BN_GENCB_set(
40+
cb.get(),
41+
[](int a, int b, BN_GENCB* cb) -> int {
42+
Environment* env = static_cast<Environment*>(BN_GENCB_get_arg(cb));
43+
return env->is_stopping() ? 0 : 1;
44+
},
45+
env);
46+
return std::move(cb);
47+
}
48+
49+
} // namespace
3150
MaybeLocal<Value> RandomBytesTraits::EncodeOutput(
3251
Environment* env, const RandomBytesConfig& params, ByteSource* unused) {
3352
return v8::Undefined(env->isolate());
@@ -150,13 +169,14 @@ bool RandomPrimeTraits::DeriveBits(Environment* env,
150169
// Make sure the CSPRNG is properly seeded.
151170
CHECK(ncrypto::CSPRNG(nullptr, 0));
152171

153-
if (BN_generate_prime_ex(
154-
params.prime.get(),
155-
params.bits,
156-
params.safe ? 1 : 0,
157-
params.add.get(),
158-
params.rem.get(),
159-
nullptr) == 0) {
172+
BNGENCBPointer cb = getBN_GENCB(env);
173+
174+
if (BN_generate_prime_ex(params.prime.get(),
175+
params.bits,
176+
params.safe ? 1 : 0,
177+
params.add.get(),
178+
params.rem.get(),
179+
cb.get()) == 0) {
160180
return false;
161181
}
162182

@@ -189,12 +209,10 @@ bool CheckPrimeTraits::DeriveBits(
189209
ByteSource* out) {
190210

191211
BignumCtxPointer ctx(BN_CTX_new());
212+
BNGENCBPointer cb = getBN_GENCB(env);
192213

193214
int ret = BN_is_prime_ex(
194-
params.candidate.get(),
195-
params.checks,
196-
ctx.get(),
197-
nullptr);
215+
params.candidate.get(), params.checks, ctx.get(), cb.get());
198216
if (ret < 0) return false;
199217
ByteSource::Builder buf(1);
200218
buf.data<char>()[0] = ret;

0 commit comments

Comments
 (0)