From 29ccd8ecacd8d119fffc7d725d8c521ec335cbab Mon Sep 17 00:00:00 2001 From: bleichen Date: Thu, 9 May 2019 06:50:44 -0700 Subject: [PATCH] Updating Wycheproof documentation. NOKEYCHECK=True PiperOrigin-RevId: 247415707 GitOrigin-RevId: 8efba735f6dd1f735aa1ee0a963453e2801bf3fb --- doc/changes.md | 6 ++++++ doc/formats.md | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/doc/changes.md b/doc/changes.md index 98fe51e..acaf779 100644 --- a/doc/changes.md +++ b/doc/changes.md @@ -33,10 +33,15 @@ Format changes\: signatures use P1363 encoding or ASN encoding) and the tested operation (e.g. whether the test vectors signatures are primarily are meant for verification or signature generation). +* RSA keys have been extended to use multi prime variants. The key material + is now in a separate structure. * The format of test vectors have been slightly unified: In particular, RSA-PKCS#1 v1.5 signatures no longer have a field "padding". * Public and private keys in jwk format were added to other formats when the jwk format for these keys is defined. +* The size of the encoding of a BigInteger is now always a multiple of 2 to + make the enoding closer to the encoding used in ASN.1. (It still uses + twos complement, bigendian, hexadecimal endoding). Additional test vectors\: @@ -53,6 +58,7 @@ Additional test vectors\: * Added some test vectors using SHA-3. * Added documentation of the tests intended by the test vector files: [files.md](files.md) +* Added test vectors using three prime RSA keys. * Removed some duplicates in the test vectors. ### Some potential plans for version 0.8 diff --git a/doc/formats.md b/doc/formats.md index f30a428..46845d0 100644 --- a/doc/formats.md +++ b/doc/formats.md @@ -71,7 +71,7 @@ described below **Type** | **Representation** :------- | :----------------- HexBytes | This is an array of bytes represented as by hexadecimal string. -BigInt | An integer in hexadecimal representation using a twos complement representation and big-endian order. The integer is negative if the first byte is greater character is greater than 7. Examples: 259: "103", -192: "f40", 0: "0" +BigInt | An integer in hexadecimal representation using a twos complement representation and big-endian order. The integer is negative if the first byte is greater character is greater than 7. Starting with verion 0.7 the size is always a multiple of 2. This simplifies conversion to an array of bytes. Examples: 259: "0103", -192: "ff40", 0: "00", 255: "00ff" Asn | A hexadecimal encoded array of bytes. This may be a valid or invalid ASN encoding. Der | A valid DER encoding represented as a hexadecimal string. Pem | A valid PEM encoded key