3 Commits

Author SHA1 Message Date
bleichen 4672ff74d6 New version of the test vectors.
Main changes:
BigInteger encoding is now always a multiple of 2.
Comments try to be a bit more precise. This leads to a different
grouping of the test vectors.
All test vectors with result="acceptable" have at least one
flag.

New vectors:
AEGIS: adding test vectors with the same tag (basically just
answers the question: is AEGIS a hash?)
Test vectors from old versions of the cipher now have ciphertext.
I.e. both encrypting or decrypting should tell testers that they
are using old versions.
AES-CMAC: more test vectors with 128-bit tag.
DSA, ECDSA: better description of the ASN modifications (this reorders
  the test vectors) and a few more ASN modifications
KWP: adding modified paddings
XDH: adding more edge cases, no longer using the same private key for multiple
  test vectors.
RSA-PSS: adding more valid test vectors. The new test vectors have an edge case
  message digest.
NOKEYCHECK=True
PiperOrigin-RevId: 264817632
GitOrigin-RevId: 0c8e6eec11db1ca7088f89d0c1de48c5af892e47
2019-11-25 17:42:59 -08:00
bleichen 7c9c6db85c Test vectors version 0.7
There are format changes:
* All test vector files contain a new field schema,
  which points to a JSON schema definition
  in the directory wycheproof/schema.
* More consistent type definition:
  E.g. the field "type" in a testGroup is now describing the
  type of the test the vectors are intended for. The type of
  the test defines formatting (e.g. whether 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)
  The test types will also be included in the documentation.
* More unified test vectors:
  RSA-PKCS#1 v1.5 signature no longer have a field "padding".
* Added public and private keys in jwk format.
  This is done when the jwk format is defined and
  where the key format is not part of the test.

Additional test vectors:
* Added vectors for edge cases that can occur
  in ECDH computations with projective or Jacobian
  coordinates. In particular this implements a detection for the
  attack in "Zero-Value Point Attacks on Elliptic Curve Cryptosystem"
  by T.Akishita and T Takagi, ISC 2003
* Added more edge cases for Xdh.
* Added more test cases for ASN parsing (e.g. high number tags)
* Added test vectors for CVE-2017-18330 to CCM and EAX.
* Added more edge cases for poly1305
* Added test vectors for HKDF.
* Removed some duplicates in the test vectors.

NOKEYCHECK=True
PiperOrigin-RevId: 228700977
GitOrigin-RevId: 5708361fc71a2089a5c102be7d73adbc3b3b8efd
2019-11-25 17:37:59 -08:00
bleichen 95552fc2e2 Wycheproof version 0.6
NOKEYCHECK=True
PiperOrigin-RevId: 222384581
Change-Id: I1749fc9e570634e5429c3162787de0539cbcfd4d
GitOrigin-RevId: 4f8bfc19eb425f6a1083637b2810002dc0ae5b41
2019-11-25 17:37:09 -08:00