Gitly


1 These test vectors are extracted from
2 https://github.com/BLAKE2/BLAKE2/blob/master/testvectors/blake2-kat.json
3 
4 All json objects that contain '"hash": "blake2b"' have been extracted and
5 saved in blake2b_test_vectors.json.
6 
7 Using the blake2b.awk program on blake2b_test_vectors.json, we can
8 generate v code that can initialize an array of TestVector structures.
9 
10 awk -f blake2b.awk blake2b_test_vectors.json >test_vectors.v
11 
12 Copy the contents of test_vectors.v into ../blake2b_test.v
13

1	These test vectors are extracted from
2	https://github.com/BLAKE2/BLAKE2/blob/master/testvectors/blake2-kat.json
3
4	All json objects that contain '"hash": "blake2b"' have been extracted and
5	saved in blake2b_test_vectors.json.
6
7	Using the blake2b.awk program on blake2b_test_vectors.json, we can
8	generate v code that can initialize an array of TestVector structures.
9
10	awk -f blake2b.awk blake2b_test_vectors.json >test_vectors.v
11
12	Copy the contents of test_vectors.v into ../blake2b_test.v
13