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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
// Author: cirakg & claude ai
// Summary: SHA-1/256/512 and HMAC tests against FIPS 180-4, RFC 2202, RFC 4231 and seeded padding-boundary vectors.
import Toybox.Lang;
import Toybox.Test;
// Every hash vector (FIPS 180-4 examples + messages around the padding boundaries).
(:test)
function hashMatchesVectors(logger as Test.Logger) as Boolean {
var ok = true;
for (var i = 0; i < TestVectors.HASH.size(); i++) {
var r = TestSupport.row(TestVectors.HASH, i);
var actual = Hashes.digest(TestSupport.alg(r, 0), TestSupport.bytes(r, 1));
ok = TestSupport.sameBytes(logger, "hash vector " + i, actual, TestSupport.bytes(r, 2)) && ok;
}
logger.debug(TestVectors.HASH.size() + " hash vectors");
return ok;
}
// Generic RFC 2104 HMAC for all three hashes, and the native HMAC-SHA256.
(:test)
function hmacMatchesRfcVectors(logger as Test.Logger) as Boolean {
var ok = true;
for (var i = 0; i < TestVectors.HMAC.size(); i++) {
var r = TestVectors.HMAC[i] as Array;
var alg = TestSupport.alg(r, 0);
var key = TestSupport.bytes(r, 1);
var data = TestSupport.bytes(r, 2);
var expected = TestSupport.bytes(r, 3);
ok = TestSupport.sameBytes(logger, "generic HMAC " + i, Hmac.generic(alg, key, data), expected) && ok;
ok = TestSupport.sameBytes(logger, "HMAC " + i, Hmac.compute(alg, key, data), expected) && ok;
}
return ok;
}
// HMAC must not change the caller's key, even for keys longer than a block.
(:test)
function hmacLeavesKeyUntouched(logger as Test.Logger) as Boolean {
var key = new [131]b;
for (var i = 0; i < key.size(); i++) {
key[i] = 0xaa;
}
var before = Bytes.copy(key);
Hmac.generic(Hashes.SHA512, key, [1, 2, 3]b);
Hmac.generic(Hashes.SHA1, key.slice(0, 20), [1, 2, 3]b);
return Bytes.equal(key, before);
}
(:test)
function hashSizesAndValidity(logger as Test.Logger) as Boolean {
return Hashes.digestSize(Hashes.SHA1) == 20 && Hashes.digestSize(Hashes.SHA256) == 32
&& Hashes.digestSize(Hashes.SHA512) == 64 && Hashes.blockSize(Hashes.SHA512) == 128
&& Hashes.blockSize(Hashes.SHA1) == 64 && Hashes.isValid(2) && !Hashes.isValid(3) && !Hashes.isValid(-1);
}
|