BN_mod_mul_montgomery.pod 3.1 KB
Newer Older
U
Ulf Möller 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
=pod

=head1 NAME

BN_mod_mul_montgomery, BN_MONT_CTX_new, BN_MONT_CTX_init,
BN_MONT_CTX_free, BN_MONT_CTX_set, BN_MONT_CTX_copy,
BN_from_montgomery, BN_to_montgomery - Montgomery multiplication

=head1 SYNOPSIS

 #include <openssl/bn.h>

 BN_MONT_CTX *BN_MONT_CTX_new(void);
 void BN_MONT_CTX_free(BN_MONT_CTX *mont);

 int BN_MONT_CTX_set(BN_MONT_CTX *mont, const BIGNUM *m, BN_CTX *ctx);
 BN_MONT_CTX *BN_MONT_CTX_copy(BN_MONT_CTX *to, BN_MONT_CTX *from);

 int BN_mod_mul_montgomery(BIGNUM *r, BIGNUM *a, BIGNUM *b,
         BN_MONT_CTX *mont, BN_CTX *ctx);

 int BN_from_montgomery(BIGNUM *r, BIGNUM *a, BN_MONT_CTX *mont,
         BN_CTX *ctx);

 int BN_to_montgomery(BIGNUM *r, BIGNUM *a, BN_MONT_CTX *mont,
         BN_CTX *ctx);

=head1 DESCRIPTION

These functions implement Montgomery multiplication. They are used
R
Rich Salz 已提交
31
automatically when L<BN_mod_exp(3)> is called with suitable input,
U
Ulf Möller 已提交
32
but they may be useful when several operations are to be performed
U
Ulf Möller 已提交
33 34 35 36
using the same modulus.

BN_MONT_CTX_new() allocates and initializes a B<BN_MONT_CTX> structure.

B
Bodo Möller 已提交
37
BN_MONT_CTX_set() sets up the I<mont> structure from the modulus I<m>
U
Ulf Möller 已提交
38 39
by precomputing its inverse and a value R.

B
Bodo Möller 已提交
40
BN_MONT_CTX_copy() copies the B<BN_MONT_CTX> I<from> to I<to>.
U
Ulf Möller 已提交
41 42 43

BN_MONT_CTX_free() frees the components of the B<BN_MONT_CTX>, and, if
it was created by BN_MONT_CTX_new(), also the structure itself.
R
Rich Salz 已提交
44
If B<mont> is NULL, nothing is done.
U
Ulf Möller 已提交
45

B
Bodo Möller 已提交
46 47
BN_mod_mul_montgomery() computes Mont(I<a>,I<b>):=I<a>*I<b>*R^-1 and places
the result in I<r>.
U
Ulf Möller 已提交
48

B
Bodo Möller 已提交
49
BN_from_montgomery() performs the Montgomery reduction I<r> = I<a>*R^-1.
U
Ulf Möller 已提交
50

B
Bodo Möller 已提交
51 52
BN_to_montgomery() computes Mont(I<a>,R^2), i.e. I<a>*R.
Note that I<a> must be non-negative and smaller than the modulus.
U
Ulf Möller 已提交
53

B
Bodo Möller 已提交
54
For all functions, I<ctx> is a previously allocated B<BN_CTX> used for
U
Ulf Möller 已提交
55 56 57 58 59 60 61
temporary variables.

=head1 RETURN VALUES

BN_MONT_CTX_new() returns the newly allocated B<BN_MONT_CTX>, and NULL
on error.

62
BN_MONT_CTX_free() has no return value.
U
Ulf Möller 已提交
63 64

For the other functions, 1 is returned for success, 0 on error.
R
Rich Salz 已提交
65
The error codes can be obtained by L<ERR_get_error(3)>.
U
Ulf Möller 已提交
66

67 68 69 70 71
=head1 WARNING

The inputs must be reduced modulo B<m>, otherwise the result will be
outside the expected range.

72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91
=head1 REMOVED FUNCTIONALITY

 void BN_MONT_CTX_init(BN_MONT_CTX *c);

BN_MONT_CTX_init() is no longer available as of OpenSSL 1.1.0. It was used to
initialize an existing uninitialized B<BN_MONT_CTX>. Typically this would be
done as follows:

 BN_MONT_CTX ctx;
 BN_MONT_CTX_init(&ctx);

Instead applications should create a BN_MONT_CTX structure using
BN_MONT_CTX_new:

 BN_MONT_CTX *ctx;
 ctx = BN_MONT_CTX_new();
 if(!ctx) /* handle error */
 ...
 BN_MONT_CTX_free(ctx);

U
Ulf Möller 已提交
92 93
=head1 SEE ALSO

R
Rich Salz 已提交
94 95
L<bn(3)>, L<ERR_get_error(3)>, L<BN_add(3)>,
L<BN_CTX_new(3)>
U
Ulf Möller 已提交
96 97 98

=head1 HISTORY

R
Rich Salz 已提交
99
BN_MONT_CTX_init() was removed in OpenSSL 1.1.0
U
Ulf Möller 已提交
100 101

=cut
R
Rich Salz 已提交
102 103 104 105 106 107 108 109 110 111 112

=head1 COPYRIGHT

Copyright 2000-2016 The OpenSSL Project Authors. All Rights Reserved.

Licensed under the OpenSSL license (the "License").  You may not use
this file except in compliance with the License.  You can obtain a copy
in the file LICENSE in the source distribution or at
L<https://www.openssl.org/source/license.html>.

=cut