9a18a09b748bd5c07325627873b7d9074f1fb0a3
[openssl.git] / doc / crypto / BN_mod_mul_montgomery.pod
1 =pod
2
3 =head1 NAME
4
5 BN_mod_mul_montgomery, BN_MONT_CTX_new, BN_MONT_CTX_init,
6 BN_MONT_CTX_free, BN_MONT_CTX_set, BN_MONT_CTX_copy,
7 BN_from_montgomery, BN_to_montgomery - Montgomery multiplication
8
9 =head1 SYNOPSIS
10
11  #include <openssl/bn.h>
12
13  BN_MONT_CTX *BN_MONT_CTX_new(void);
14  void BN_MONT_CTX_free(BN_MONT_CTX *mont);
15
16  int BN_MONT_CTX_set(BN_MONT_CTX *mont, const BIGNUM *m, BN_CTX *ctx);
17  BN_MONT_CTX *BN_MONT_CTX_copy(BN_MONT_CTX *to, BN_MONT_CTX *from);
18
19  int BN_mod_mul_montgomery(BIGNUM *r, BIGNUM *a, BIGNUM *b,
20          BN_MONT_CTX *mont, BN_CTX *ctx);
21
22  int BN_from_montgomery(BIGNUM *r, BIGNUM *a, BN_MONT_CTX *mont,
23          BN_CTX *ctx);
24
25  int BN_to_montgomery(BIGNUM *r, BIGNUM *a, BN_MONT_CTX *mont,
26          BN_CTX *ctx);
27
28 =head1 DESCRIPTION
29
30 These functions implement Montgomery multiplication. They are used
31 automatically when L<BN_mod_exp(3)> is called with suitable input,
32 but they may be useful when several operations are to be performed
33 using the same modulus.
34
35 BN_MONT_CTX_new() allocates and initializes a B<BN_MONT_CTX> structure.
36
37 BN_MONT_CTX_set() sets up the I<mont> structure from the modulus I<m>
38 by precomputing its inverse and a value R.
39
40 BN_MONT_CTX_copy() copies the B<BN_MONT_CTX> I<from> to I<to>.
41
42 BN_MONT_CTX_free() frees the components of the B<BN_MONT_CTX>, and, if
43 it was created by BN_MONT_CTX_new(), also the structure itself.
44 If B<mont> is NULL, nothing is done.
45
46 BN_mod_mul_montgomery() computes Mont(I<a>,I<b>):=I<a>*I<b>*R^-1 and places
47 the result in I<r>.
48
49 BN_from_montgomery() performs the Montgomery reduction I<r> = I<a>*R^-1.
50
51 BN_to_montgomery() computes Mont(I<a>,R^2), i.e. I<a>*R.
52 Note that I<a> must be non-negative and smaller than the modulus.
53
54 For all functions, I<ctx> is a previously allocated B<BN_CTX> used for
55 temporary variables.
56
57 =head1 RETURN VALUES
58
59 BN_MONT_CTX_new() returns the newly allocated B<BN_MONT_CTX>, and NULL
60 on error.
61
62 BN_MONT_CTX_free() has no return value.
63
64 For the other functions, 1 is returned for success, 0 on error.
65 The error codes can be obtained by L<ERR_get_error(3)>.
66
67 =head1 WARNING
68
69 The inputs must be reduced modulo B<m>, otherwise the result will be
70 outside the expected range.
71
72 =head1 REMOVED FUNCTIONALITY
73
74  void BN_MONT_CTX_init(BN_MONT_CTX *c);
75
76 BN_MONT_CTX_init() is no longer available as of OpenSSL 1.1.0. It was used to
77 initialize an existing uninitialized B<BN_MONT_CTX>. Typically this would be
78 done as follows:
79
80  BN_MONT_CTX ctx;
81  BN_MONT_CTX_init(&ctx);
82
83 Instead applications should create a BN_MONT_CTX structure using
84 BN_MONT_CTX_new:
85
86  BN_MONT_CTX *ctx;
87  ctx = BN_MONT_CTX_new();
88  if(!ctx) /* handle error */
89  ...
90  BN_MONT_CTX_free(ctx);
91
92 =head1 SEE ALSO
93
94 L<bn(3)>, L<ERR_get_error(3)>, L<BN_add(3)>,
95 L<BN_CTX_new(3)>
96
97 =head1 HISTORY
98
99 BN_MONT_CTX_new(), BN_MONT_CTX_free(), BN_MONT_CTX_set(),
100 BN_mod_mul_montgomery(), BN_from_montgomery() and BN_to_montgomery()
101 are available in all versions of SSLeay and OpenSSL.
102
103 BN_MONT_CTX_init() and BN_MONT_CTX_copy() were added in SSLeay 0.9.1b.
104 BN_MONT_CTX_init was removed in OpenSSL 1.1.0
105
106 =cut