Changes to Lenka's Montgomery implementation.

Submitted by: Lenka Fibikova

New format for the FAQ.  We now have different sections for different
types of questions.  Hopefully, that'll make them easier to spot, and
specially, easier to refer to.

Corrections to the comments in BN_mod_inverse.

The compression method may be undefined for some reason that has
generated errors.  Therefore, print whatever error there may be...

Simplify and provide the possibility to clean a compression method.

comp_methods in a SSL_CTX points at an internal database.  Do *not*
free that, since it's shared by all SSL_CTX's, present and future.

Turn off memory checking when loading new compression algorithms.

COMP_METHOD has a new argument since some time back...

Make it possible to test SSL compression

Change c_zlib further to allow loading a shared zlib on all operating
systems where such an operation is supported.

BN_mod_exp problems ...

Changes to c_zlib.c to make ZLIB.DLL dynamically loadable under
Windows.  Really, this should probably be done on Unix as well, but
that will be a later story...

Move reduction step from BN_mod_exp to BN_mod_exp_mont_word.
Fix BN_mod_exp_simple for a==0 (mod m).
Skip useless round in BN_mod_sqrt (1 is always a square, no need
to test BN_kronecker for it).

* Fix a slight bug in the state-machine. This caused the client end of a
  tunnel to not pro-actively close down when failing an SSL handshake.

* Change the cert-chain callback - originally this was the same one used in
  s_client and s_server but the output's as ugly as sin, so I've prettied
  tunala's copy output up a bit (and made the output level configurable).

* Remove the superfluous "errors" from the SSL state callback - these are just
  non-blocking side-effects.

bn_modfs.c is no longer needed, a BN_sqrt implementation
exists in bn_sqrt.c now

Fix bntest.c problem -- one of the primes got lost

Handle special cases correctly in exponentation functions.

test_bn still fails in the BN_sqrt test because
small primes appear to turn into zero for no
obvious reason, leading to "div by zero" errors.

BN_mod_sqrt

BN_sqrt

Add a warning about the usage of the montgomery functions (if the inputs
are not reduced modulo m, the outputs won't be either).

Amend the original CHANGES log entry. The ex_data handling has been
similarly modified now on DH and DSA.

BN_legendre is no longer needed now that OpenSSL has BN_kronecker.

Do to DH and DSA what has already been done to RSA. This involves moving
the initialisation and cleanup of "ex_data" elements to before an init()
handler and after a finish() handler respectively.

mark a bug

Fix BN_kronecker so that it works correctly if 'a' is negative
(we need the two's complement of BN_lsw then).

More little changes to the tunala demo;

* A little bit of code-cleanup
* Reformat the usage string (not so wide)
* Allow adding an alternative (usually DSA) cert/key pair (a la s_server)
* Allow control over cert-chain verify depth

BN_to_montgomery expects its inputs to be in the interval 0 .. modulus-1,
so we have to reduce the random numbers used in test_mont.

Before this change, test_mont failed in [debug-]solaris-sparcv9-gcc
configurations ("Montgomery multiplication test failed!" because
the multiplication result obtained with Montgomery multiplication
differed from the result obtained by BN_mod_mul).
Substituing the old version of bn_gcd.c (BN_mod_inverse) did not avoid
the problem.

The strange thing is that it I did not observe any problems
when using debug-solaris-sparcv8-gcc and solaris-sparcv9-cc,
as well as when compiling OpenSSL 0.9.6 in the solaric-sparcv9-gcc
configuration on the same system.

Log security relevant change.

fix for Borland C

add missing braces

Store verify_result with sessions to avoid potential security hole.
For the server side this was already done one year ago :-(

Fix warnings in expspeed.c (but the segmentation fault remains)

Improve readability of bn_shift.c.

Add comment in bn_lib.c (why zero data between top and max?)

Change bntest.c output for BN_kronecker test

BN_bin2bn did *not* contain an off-by-one error;
I'm still investigating what caused the segementation fault
(maybe "make clean; make" will cure it ...).
But BN_bin2bn should always reset ret->neg.

Expand expspeed.c to make BN_kronecker timings.
This caused a segmentation fault in calls to malloc, so I cleaned up
bn_lib.c a little so that it is easier to see what is going on.
The bug turned out to be an off-by-one error in BN_bin2bn.

Implement BN_kronecker test.

Modify "CHANGES" entry for BN_mod_inverse (it's not just avoiding BN_div
that increases performance, avoiding BN_mul also helps)

avoid segmentation fault

Make BN_mod_inverse a little faster

Improve BN_mod_inverse performance.

Get the BN_mod_exp_mont bugfix (for handling negative inputs) correct
this time.

Copy and paste error...  bn_add_part_words() should of course call
bn_add_words(), not bn_sub_words()...

Make s_client/s_server-style cert verification output configurable by
command line, and make the peer-authentication similarly configurable.

use standard C

Minor tweaks and improvements to the tunala demo.

- Add "-cipher" and "-out_state" command line arguments to control SSL
  cipher-suites and handshake debug output respectively.

- Implemented error handling for SSL handshakes that break down. This uses
  a cheat - storing a non-NULL pointer as "app_data" in the SSL structure
  when the SSL should be killed.

A typo and a couple of logic errors fixed. I think there may still be one
or two kinks lurking around, but it now appears to deal with the basic
test cases ok.

Use BN_pseudo_rand instead of BN_rand

Timings.

Note that SSL_peek has been disabled.

Addapt to added files in the BIGNUM section

Correct a bug in BN_kronecker.

Sketch the test for BN_kronecker.

Comments on SSL_peek deficiencies

Disable SSL_peek until it is fixed.

Add test_kron function, which will contain a test for BN_kronecker.

Add bn_kron.c (BN_kronecker), which I forgot in the previous commit.

Also add the next file in advance so that I can't forget this one :-)

Undo previous commit, which was an accident.

Fix BN_is_... macros.
Fix BN_gcd.
Analyze BN_mod_inverse.
Add BN_kronecker.
"make update".

Change submitted files so that they compile (in particular,
use BN_CTX_start/get/end instead of accessing ctx->tos).

Change indentation to "EAY" style.

Change submitted files so that they compile (in particular,
use BN_CTX_start/get/end instead of accessing ctx->tos).

Change indentation to "EAY" style.

It was a small change, but it *could* conceivably affect people - so I'm
making a note in the CHANGES file.

Ensure that the "ex_data" member of an RSA structure is initialised before
the RSA_METHOD's "init()" handler is called, and is cleaned up after the
RSA_METHOD's "finish()" handler is called. Custom RSA_METHODs may wish to
initialise contexts and other specifics in the RSA structure upon creation
and that was previously not possible - "ex_data" is where that stuff
should go and it was being initialised too late for it to be used.

More BN_mod_... functions.

Add bn_mod.c (should have happend in the previous commit ...).

BN_swap manual page.

modular arithmetics

"make update"

Remove CR at line ends.

Elliptic curves over GF(p), new BIGNUM functions, Montgomery re-implementation.

These new files will not be included literally in OpenSSL, but I intend
to integrate most of their contents.  Most file names will change,
and when the integration is done, the superfluous files will be deleted.

Submitted by: Lenka Fibikova <fibikova@exp-math.uni-essen.de>

Correct a number of syntax errors.

Addapt the VMS scripts to the changes in the Makefiles.

Remove RSAREF (not used).

You can still get the code using tag "rsaref".

Addapt the VMS scripts to the changes in the Makefiles.

Reimplement bn_div_words, bn_add_words and bn_sub_words for VAX.
I'm a little bit nervous about bn_div_words, as I don't know what it's
supposed to return on overflow.  For now, I trust the rest of the
system to give it numbers that will not cause any overflow...

Avoid getting warnings about unary - being used on unsigned integer.

Oops! Read a full buffer instead of some spurious number from elswhere.

'echo on' works better all over than 'echo=on'.  We had the same
problem in some other file, but I can't recall which.

Better handling of EVP names, add EVP to speed.

Make sure bs is assigned NULL when it's free'd, or there will be an
(incorrect) attempt to free it once more...

I wonder if I do too much...

Add news items early.  Please fill in with what I have forgotten.

Remove two bn_wexpand() from BN_mul(), which is a step toward getting
BN_mul() correctly constified, avoids two realloc()'s that aren't
really necessary and saves memory to boot.  This required a small
change in bn_mul_part_recursive() and the addition of variants of
bn_cmp_words(), bn_add_words() and bn_sub_words() that can take arrays
with differing sizes.

The test results show a performance that very closely matches the
original code from before my constification.  This may seem like a
very small win from a performance point of view, but if one remembers
that the variants of bn_cmp_words(), bn_add_words() and bn_sub_words()
are not at all optimized for the moment (and there's no corresponding
assembler code), and that their use may be just as non-optimal, I'm
pretty confident there are possibilities...

This code needs reviewing!

Remove a declaration for a function that does not exist.

Make the definition of bn_add_words() match the definition.

I might want to debug the assembler modules...

Increase permissible ClientKeyExchange message length.

include 'err' label only when it is actually used

Make sure BN_DIV2W is not defining when defining it, and remove the
declarations of bn_add_part_words() and bn_sub_part_words() since they
do not exist.

tag SSL_peek bugs

Documentation on using the SSL library with non-blocking I/O.

Improve usability of 'openssl passwd' by including
password verification where it makes sense.

Constify bn_dump1 implementation so that it matches the prototype
in bn.h

More constification of the BN library.

Make sure to print the BN counting (BN_COUNT) to stderr instead of
stdout.  bc gets so confused by bean counts.

Oops, when I clean, I should do it thoroughly.

I've checked again and again.  There really is no need to expand a to
4 times it's size when bn_sqr_recursive() won't look farther than the
original length.  Thereby, constification is no longer a problem.

/proc/cpuinfo can have several lines containing the word "type".  We want the one that is "type", plain and simple.  Caught by Raoul Borenius <borenius@shuttle.de>

I have no idea how this comment got there, but it's certainly not
applicable to ENGINE_ctrl()

Many applications that use OpenSSL with ENGINE support might face a
situation where they've initialised the ENGINE, loaded keys (which are then
linked to that ENGINE), and performed other checks (such as verifying
certificate chains etc). At that point, if the application goes
multi-threaded or multi-process it creates problems for any ENGINE
implementations that are either not thread/process safe or that perform
optimally when they do not have to perform locking and other contention
management tasks at "run-time".

This defines a new ENGINE_ctrl() command that can be supported by engines
at their discretion. If ENGINE_ctrl(..., ENGINE_CTRL_HUP,...) returns an
error then the caller should check if the *_R_COMMAND_NOT_IMPLEMENTED error
reason was set - it may just be that the engine doesn't support or need the
HUP command, or it could be that the attempted reinitialisation failed. A
crude alternative is to ignore the return value from ENGINE_ctrl() (and
clear any errors with ERR_clear_error()) and perform a test operation
immediately after the "HUP". Very crude indeed.

ENGINEs can support this command to close and reopen connections, files,
handles, or whatever as an alternative to run-time locking when such things
would otherwise be needed. In such a case, it's advisable for the engine
implementations to support locking by default but disable it after the
arrival of a HUP command, or any other indication by the application that
locking is not required. NB: This command exists to allow an ENGINE to
reinitialise without the ENGINE's functional reference count having to sink
down to zero and back up - which is what is normally required for the
finish() and init() handlers to get invoked. It would also be a bad idea
for engine_lib to catch this command itself and interpret it by calling the
engine's init() and finish() handlers directly, because reinitialisation
may need special handling on a case-by-case basis that is distinct from a
finish/init pair - eg. calling a finish() handler may invalidate the state
stored inside individual keys that have already loaded for this engine.

Fill in missing information about the string returned from
SSL_CIPHER_description(), as there is no other API function to find
out details about the cipher used besides the number of bits or protocol used.

ignore

Modify () to (void), since that's what is actually defined in the
engine structure, and some ANSI C compilers will complain otherwise.

Two OCSP functions that aren't yet implemented.

make update

Get the Rijndael function declarations.

Detect and mark functions that no longer exist.