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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
|
// -------------------- PRF VECTORS
//
// Generated by Python reference implementation
#[rustfmt::skip]
const PRF_TEST_VECTORS : &[(&str, u8, &str, &str)] = &[
// All zeros, t=0
(
// K,B
"0000000000000000000000000000000000000000000000000000000000000000",
// T
0,
// t
"00000000000000000000000000000000",
// OUTPUT
"66e94bd4ef8a2c3b884cfa59ca342b2e58e2fccefa7e3061367f1d57a4e7455a0388dace60b6a392f328c2b971b2fe78f795aaab494b5923f7fd89ff948bc1e0200211214e7394da2089b6acd093abe0c94da219118e297d7b7ebcbcc9c388f28ade7d85a8ee35616f7124a9d527029195b84d1b96c690ff2f2de30bf2ec89e00253786e126504f0dab90c48a30321de3345e6b0461e7c9e6c6b7afedde83f40deb3fa6794f8fd8f55a88dcbda9d68f2137cc9c83420077e7cf28ab2696b0df05d11452b58ac50aa2eb3a195b61b87e5c65a6dd5d7f7a84065d5a17ff46273086002496db63fa4b91bee387fa3030c95a73f8d0437e0915fbce5d7a62d8dab0a58b2431bc0bede02550f40238969ec780410befccde6944b69dd007debe39a9dbc5e24f519a4bdf478b1d9ec0b67125f28b06efaa55d79412ad628d45089c3c304f94db3a21df6cdaf6d2e2e3b355441eff64ad90527e752a4b2ebb4d0a1070ce2e2982e272fdb7cf4b584b095a0f957fdb828689437e37dc48b2ad379c6f3c6e957ee77afb88c65949ba12eec45c22865e4907ae42aee813898acdf91e2e4c21d828e0a76de2bb6bb6f869e5eef1f618dedd27562812b9a14e8996a5c352df3817e60d6ec20119a52c80a61ec195622627240212decca515feab63e2734587948a836a7de205cfec0c288351c",
),
// All zeros, t=1
(
// K,B
"0000000000000000000000000000000000000000000000000000000000000000",
// T
1,
// t
"00000000000000000000000000000000",
// OUTPUT
"7941dd0a63d994703e63d94a446804213ab4fb1d2b7ba376590a2c241d1f508dc6a7f418a14503deb89b17aadb2806f73fc06e5d14e675f5ec880023d4f7329612dce4a0e5bc792b5b5a55f9c2f30e07",
),
// All ones, t=0
(
// K,B
"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
// T
0,
// t
"ffffffffffffffffffffffffffffffff",
// OUTPUT
"db3a0a247210a9c18bd38107019345bc032096031fa6e7dd85a4a7eb65f289247d37f1e6c174106957fbd4b3b5d89ba49cf2650c8c801ca8b6cf3becba07bced8042d81b620ea54ad9ca426e13f1f668ddc15a3ccc891b5a7fa5f7d0fe11a211601d6d89d74c866a06728d14bd92dbed9e94e664ee2d9d2cd56073e5f9285b8687dad473e81c5085b38500d3d091b7ff9f5c501a707d44d872eaac625c2e29cbabff39891bbb3997fb480ff2ae82e2c9b78010f4ceb7f6720b6f26629c7868d9835d0f5d9f76aa0b30937aaaee13f6ce58ae53767a909757a77eddb9771229b4a94118d25c7d540b78560e8f920cfd43ccbfc05de7fccb74197894a33b3606569f08bbc7c2ca31ef0f79aa544faa1de0598793a63066123fd46764b3e9414b6e473ca871fd7fc4e49b760243b90d8c5b9c3349e7b86f6e27fd6fcf4a47e8a828b8c7832257dbc70c1b46bbea63e64eb8c1cf248a7bbc36fcc874afa7fd5462098db15e207671f96405d509893603a4bb0a40388a532cbcdf51a125ad134ff0771333f415eb77fc7deac627d9ef90397bf9ce00a1e4ff98d643b1a3c64a7584cbfe8b5658989a79a66d7f9df1a3f5208e6e731108886a046de84c97840e0e9b16a9b10078f2d1fb77bb1e8c10e224b748e1f72b3b5a412b85dda6cffbf588052ab50b8d4594ae0141d489bf9e1a",
),
// All ones, t=1
(
// K,B
"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
// T
1,
// t
"ffffffffffffffffffffffffffffffff",
// OUTPUT
"0c64bc2163059fad612a393dd7153e8b5ed68b8a84a9d2d7b9cb50770dd650c53344b53f0ea1083115b21b2095365dffa9e5d73b68714046ec734747dcfeec0ef3795b0e416e1295629aed9f414ccb53",
),
// Pseudorandom 1, t=0
(
// K,B
"908bf9a158c67f9cd5cb5cee476a4b30b9ec92756d94b1f9f40073c185c39780",
// T
0,
// t
"d5d73799a0f37a1c7ff3ceb187ebd059",
// OUTPUT
"57cf9bd138c575b6951f9940d44d443f47616dfdaf73be7a4664aa46bc279c204bef2918667dc6bed2a8accc1494b4e8b826a3fc683a7a73b6cb22d44063049407cfedce8621959f7b09aafe29ba8e5cb32d313de570e731552aa00eccba69a697c6249e7cd3c8871ec9723c7849cae90ce7ce38d3d4a74616f295ce0cf3750a80dd3304763277cd86cd921251b9884385a33393ebabd1a33b8eb0c679eff593805639eb67f644cc645ec1f0660553405008945a22416ba58b8dc5286433df50cf3c07993cf1e3357461f2912994a212319fd2f2c197caee4aa6736aec660ba8aeef02616b66826f9a5dcb8df9c356628a405f4c8c8eaf517f49e71f865022059bc343aa0e57f25b09b4e1bdb53d3c01c489409d20f01beded9c50da19c7e06f2ead1483fc8deb3a84cdd564408a76e50294f559f2dc7727147312ce088ed9c698fadd6a6dad6ec2c6dfd85e2cdd4883c5a640df8b53657b8964950ee14c23f8fd5b16769f21ac9fb3a1bbfce34dda3f96a816b6adebfc65f7c9db0e002e3a0945d3655192c4cd7fbcd2db2364299ba87f2c6c140b0cbc5a956f128f3d11dd3958be507754a1ece04520732a35b0ec061f921fd1f248efcb088c5cbc4eeeaf27278a887fe5a6c4afab3ed8a55f0c09f9ef1ed48ffbf76b2b5583848c076d4763ddbede4b6561cc11d7ededaa9e",
),
// Pseudorandom 1, t=1
(
// K,B
"908bf9a158c67f9cd5cb5cee476a4b30b9ec92756d94b1f9f40073c185c39780",
// T
1,
// t
"d5d73799a0f37a1c7ff3ceb187ebd059",
// OUTPUT
"8ba63602c42316faf6c0e64e3f592fc64a1d9d0837b93fcc65beb0d1d5b768a78ffe987fd2eb435f417d3451c4405106757d62d03b7643331cf14bbafe9b17c8f24587d72a317309b2335333ad7a5fee",
),
// Pseudorandom 2, t=0
(
// K,B
"fcd9361d1dca1c7b9a24f754464eeda5727152bc98a818b2e720a0afa9103e10",
// T
0,
// t
"d22ea954482f5bc511c6fcae80233d57",
// OUTPUT
"61b467be3b500febbb609a38895d92f0aa8ca31197e81c85aefcea4d7a5f0d4f7825de0260f9563db272720c723a38f935113d1f2a89b02303eced1312316f29001f224a730031ac6e002916a2077fff2de0cb740622692fde1ffe1811765283242f479249fefc782eb74cb5304e54cf9f1230ba8908c1a322650edd916ecf76527d3a84db32d8ca0931b0420c8bcf388042cb152ee080af416a37cf2e0406de5ebb9c27061650e72552ecadca5af451582d51102488e330d078d632a024f6ae13a3e8f3f238c11138a53085056aaec1b5cd485f2b24c74a7e31448cd66a2d6c8cf74090851d124b0ee4ec1e6d1ac8882b23013127c4754468a84fcb7e9c1f772f7d0904be795dba70bbb768967ba117e81380b3ea5fc132b2c98a8a7163019b983daacff5bc54de6b593df73a416e169b613dd02d49c0b5f840c6c80d3db227153b55b61c600d211388c1ba2d6c326faf178ce9aa4e5cc8e2162f9fbdca6d650af52effa1fe3c41d9f875818f2a507eaf557a0911f4847a42101d2ac9f4c5faecd2e42c9ce88a9c44b7071bfd45be4aee229e9999582e9c41566966c2a0116470c99bf97ba79f173192eb9aa6d705efc8949c2de9c849c3ab01658e76e0b613bf19800205a51039f79d41289f8fcbf2861da40fdb90fdbf2c5e764b16dfdb4b29678c0e730b5a6e2622bf1440",
),
// Pseudorandom 2, t=1
(
// K,B
"fcd9361d1dca1c7b9a24f754464eeda5727152bc98a818b2e720a0afa9103e10",
// T
1,
// t
"d22ea954482f5bc511c6fcae80233d57",
// OUTPUT
"5a26acaf1035f643ace1604e5bb6626af972d98aa763fa5b318460d9e70211ee76df27dceb375cd5a9a92cecdd9484015b80d8ce113f4e25f96049b77c28c0cadc885647152c6e575053fe6bbd43ecd3",
),
// Pseudorandom 3, t=0
(
// K,B
"b445f9a92d267dbd3b2dd9ad0cf90538b4013b72df0a23ef997f7baf9440733a",
// T
0,
// t
"1d16d4b08c19887a050603dc8f17bb6d",
// OUTPUT
"aea6d0b4b69307363c2ec7d75e136c14f3ca44d2d2bf001095ee5505bcb56c06842233411e5bc38da56d97c1ce6b1807db9b832fc10625d55fb259a5cd75c0a1d27a8b8a8c9b2a98bdfe7903a927026f2d2616b481e13e3bf7eb1039ec892a2fa054fd8dd6aac76b0efbece35b374310583d1c5f594604c3a49b35af7c3065f9f5f3bbe5cac3e8522a0654463c40334185da4380c7376cdd451aef93c15303626a9a54b1b21ddf5fa88beb1ade9331438764e8ad4f640dae16e3708806bab62d948e2ac6210b198184d0bface602a49f606d13e72574d7cda3e8458736d180b6f3e63590726f387109bb9692d7f6e25f507eaa0165d3ecf1528d485dfb295e815c1a25efa8afb06d55457db46989dde8a019dd47a3d1944d844aa652f57b91958ad996ab9c3de35940e48394108f967940c3c2f152d9259de18e0786f802801aeaa0cb7b71d52a4fbf83d9a602f22fa76b2ecab52588c4771ff22facf8740d21bd2d3b9a05a58376ae6002524395c26d4b9f92e7c7c8996711befba7b39263d8681dc55756277bf18806f97aa7ba0050f7c745a31d35da0d16cc4699af92f380b6ec49832f18b555d5d753859050c8a52448c143ef2cb7de04c4c8bc0b922f767dbb3105ab6916eada60a67ef3f70c7c2e5a6b98f93f526d9d923a3a2122042509f6777a14dca3dd1e1174c7d7",
),
// Pseudorandom 3, t=1
(
// K,B
"b445f9a92d267dbd3b2dd9ad0cf90538b4013b72df0a23ef997f7baf9440733a",
// T
1,
// t
"1d16d4b08c19887a050603dc8f17bb6d",
// OUTPUT
"f02a43f7a5c1bc8bc46ee3a68545e27ee74e854ed092d93a7319e173e051f0a90bdf5c6ba38dcd7e4d400f1e1a35df98cdeea27c9defbf96c7a2cb6c3c4c0f87d555dc08dc613adf67084591496fcc08",
),
// Pseudorandom 4, t=0
(
// K,B
"f4a471dca7863a8f2f0721229fc832534a1db73b7b387d8e3ad50987c0263efa",
// T
0,
// t
"93553bd1fd83b030f745a2751fb6021f",
// OUTPUT
"f7bba14f5b554388357bb63acc74516cf2bd0c7671cd2dab719b4f7509208534594f790eb142d72bfd20a91c20788fe32b4e9bbc514994fb0be9ec003d26b691583bb15ad8d8d9a4d532e6a17ef1eea29c50d18ef67e8ff038077929b76f2e0f8ef6ccee37cd5991ce1ca891688fa6057e1be8487830b47bea38d342deb3eb64897f29d6a565c536d2d54762f7164e78e0c460684a8700309377c13e9260db8bd42496eee0f13fb7a7b66592456893c456809f5c7f5c8884a6a4e0df58933223b295adfd668bebe2535280739988fb14bd77e7bb2802ebbc00f00f41588083762b4e2e277335dc55defc50f74293c6d2f07b6e4736f6634976a585e975f22eeb6bb78e5114ec0314b78b2c8ef1a1fd0e27842ab9365f2d8cd2f946daa4389341a28b6fcea2a49d01a7cd0c9118e3135f693ecc2badadf01b0166b2c134ad38963291f00f8baf4b4fb4f6ea12b7fa6f2269275cd84fb95ebea24b794a3ec3bd0894c5fa1d04623910da9f56d782a904c1b0c15e585fa053dbfcd0b07d66c8cb1dd0d1dac61ee7506ab14c6157134dc56753ad56680c25b8c6d923b767778f658070455a235d7a8bcd52129b783db3242341de8acd9fce272ea9c819d8617962540a4625009a0c6e37fb006d0b7ac9546a856d53c39d8d1bfbe652f68f8e08229ff993a7c0fc3e086d55cf9c87ef",
),
// Pseudorandom 4, t=1
(
// K,B
"f4a471dca7863a8f2f0721229fc832534a1db73b7b387d8e3ad50987c0263efa",
// T
1,
// t
"93553bd1fd83b030f745a2751fb6021f",
// OUTPUT
"fa57173983a7c75bea1aac6c71f3d1cfdf93e709a62870d8d7fb265995c3ff0ea696a7467448236621a7f832c3ab5c4b5c0e8bf6f79ddcaa79b905f1f59bd98a8505549ea1477b39a6d70447386b8c56",
),
// Pseudorandom 5, t=0
(
// K,B
"6906b28fff2d8e0ac78c9b7028047b84074158b66c74964b16b40b0b788413dd",
// T
0,
// t
"e648661e20c0f18c89b1dde1c3a5feda",
// OUTPUT
"bcfcc4c09c4d63a87b9d213614558f66f407e353e38921237c25ddda4da836be8dc52ba0013734a836ef91f486194c5f420b53a42a17bde335dd7a928149916269afa78d033520a6d4241b1066a4a411bd7cf9bb3ecb966e819b935a8f4578e9ad244757ef17e776248eef5e0a94990f3c1eaffba375cd62f8f4cf1d0ee5d37672b436c6febca06cde205e6c624d817a27da7d16cc8e1f2449f60502aa5445f566727643387e19664c8a82629a926f327c1b57fbb60af1d2736681b3153a736e120b6c2993b9daf9e9dc2f8d1b8642389c9e8cf2feb912be67fe6746cf6639b072fabc16fb827fdd96e8ce3fb09b42627442ad107ef35ca6d953dfe8ef619e40cd34c6a6226ce24a9376e642ab4a72d4ccc1b9c209783294dd8f8575d30fa67c7a6a780ea37c2e32aeb0e8a69c303f0900da94c66b7f4a89a827d34cdfd15e0228f3f6aa523e266d4a0f5d61c0dfc34602b0ff45ecb899ac0f0d34a9183ad5bba9936b0bed4449421d1bb39835d72d8cfc4effb94e4d37d3a49d60a960b310a3db02249d7bf0613b871c7e0595ec3451e6e81d48e80762856fa141a34ae9343919939fbe7544a2281101b6b8cca9e37bd205c90b9a50f755013b46f98f0d549c5bea6854e8cda4c4ec3eb703b3f45bfc87d2ff93b8763e5a8ea4c66a5cc76a2bc6906ae54de6d7f4a9d218a7ba",
),
// Pseudorandom 5, t=1
(
// K,B
"6906b28fff2d8e0ac78c9b7028047b84074158b66c74964b16b40b0b788413dd",
// T
1,
// t
"e648661e20c0f18c89b1dde1c3a5feda",
// OUTPUT
"06ffb13ddbeaf993628b09f574b55b8f76fa87c955c7132ee167248c5a76bdd6f96166a699ba8bce70352e4b4402e6cfbc7b99017665a8ee8722fa4529ddcc3608be62e1215f9107ce7788d5785cbf8e",
),
// Pseudorandom 6, t=0
(
// K,B
"a95ba1a0617d8458448af893ac7deddb81740a93a05ef3c30ee136555b59f3d7",
// T
0,
// t
"c4e1c497dd00dbe98acc430cd3a4510e",
// OUTPUT
"1958a60931a484ecee8e46977c5e931eb5d3819816ce862ec0dac154334a1e10104a94bea43cd8493df9084f98e8d30745aa62c73a933e585cc82a7ca6e209b8d3d5834ca657589281875c32ed509646a96bc1cf040325f294c71953986f6cbeb5330e7cc9c46d956faa6566155bcaf889bc5df228c97cba43f081e800c2bda2c726108884ec3442844d9be26e6b91a662842a8060e1852610cea1c2fc097d83e7fdfaeb1f0f26af181eafb855094a45633f88bba334ac2ed3cf69a5d03ac75041a758f8c947269e4c95ca5387db5665c02ded9c7dd4122db85490a6cba21753d200e0518f3a04e2c5b75fe7980c988e35759e92fdd6fb1db4e6081df36e921503a06dc4b362cb7120df73d07c7ef89a01ad7329989642f91e7718f3ced3bdd38c28eb816d0ae34017b0b7891dd7cb993cbcbab0cb3d270a7ae2396ef62f03285f1d904ce0485d4947287ba94e9c57bffe24b8d09e429438e101d4be376a8208e590fd510f721b85dd1d6bf474aa446de9b557da9251f70066fb5f9530aa6b3ec5e0baea24f7c5420274e41966e2ed7aa2c04fa6862c3ef69f0e5ddf595b761bd8cd0a4d8d42c419f50bb0a3f18f420296fffc3d25fb79846018f011d349b2a94a3bb9957f981114ab0d995c1fb20fd4d79a289931bcc945eb47ce660239d8557f6949a32c92b0ab5818788af4",
),
// Pseudorandom 6, t=1
(
// K,B
"a95ba1a0617d8458448af893ac7deddb81740a93a05ef3c30ee136555b59f3d7",
// T
1,
// t
"c4e1c497dd00dbe98acc430cd3a4510e",
// OUTPUT
"bf984d266d656a562c5b15d67b5439dd3ae340aefc8f62cf1d9b618c478881ed8a8aa714cdf6ab98f41db679448138bcfc2a8391cd82391de8b7c58e48c1675a08b304578d210ade52d96e1f20295337",
),
// Pseudorandom 7, t=0
(
// K,B
"6146c5506240d522b02e10d5db94ec1e7ee7a81642a80032ff55ec4887064826",
// T
0,
// t
"0924c811a97926d0b1c1f0769b2d6eb1",
// OUTPUT
"870d9b9f1d9ca7d9fc62be0a3eed96578d559c1da2c7be58d5637ca02c27eee28f45ead027bdf5784c95bdedb4bb78eb862d0be90ace74a119cd751f1425fd2f5c578c4d8d87cd79a916bcbc5ad0dc0f6bfb74cf6df823f4880f2e873957c74ce79f5487be0b6bbf9b78edc5c7e898c8029aabe0cd8f0fa4b42d1cee67edb7ed61866332248e796c2e90a970bf764feee04dd19b6fc4a0b2e303104a7e33636d314338b43c977982087155f64998672639e5fbe8ea39179fc8ff1f36163369307fd28596abb7e16f54c4756cd75e3e492a8d93a596dbc77231679fda0d2e1a501e546cac5f642fbbce3cd32711cf1a89893975ac50065b67754be7da61ac8cd66040918361644b7833bfcd7e69ab3be58fd5a4ba020a0fb606d7ce0f42e683ed8cce78c6235dea23517a8d6b159b45dde6cf751cbbfc562f38941c4f4dea1b98c7a7810c31b404cc618b4c12ab25361f523e673bb999f6cd4da20b3a0e722cd70e4cccf991b20a0ae47d7cddf5675b40a58e65185160402a8d29f8f60afd12e5b80399a61d08e9e0d8e7739948fed264c1b3cc0b53c9a27b9d58de6204c7b6b848eaf865597460c54b140b65e69d2b6101f822062736d576eadb2d54c9a2c4364cf88cadaa0a581f415a486cc40a784b16925a5b5cea3ca13984383590341d506eff8d9e8c23b6c22571959019",
),
// Pseudorandom 7, t=1
(
// K,B
"6146c5506240d522b02e10d5db94ec1e7ee7a81642a80032ff55ec4887064826",
// T
1,
// t
"0924c811a97926d0b1c1f0769b2d6eb1",
// OUTPUT
"974529de82e369f37bb06c398ad5e9c7737ea8aa4bb49b31a4fe12307e33727721a0a81d2f2b4ca141503800a082813d66117b33447ac34a331bd403adbd5f60b4d617f398721a5859548e852bcdfbe1",
),
// Pseudorandom 8, t=0
(
// K,B
"34eda0245fed9dde7e184c4cb603de5e1564339d0137dbeb042e2cc8e87b1cf9",
// T
0,
// t
"f1410c83bb640b80f887aab903d89275",
// OUTPUT
"caaec81a41d0a75a33684507fda684b3990326a2e092f6e644f60aa564333b59ad049a3640f41bb08c876cbe2996f3b4a5f79a37fd2f6bb9f7e1a65f9ee5038e420f43297a9304e8c8ad8ad762fb042befc0e0df84217b855b8e0f137c559d62589e54d65c25f7832c5a6f687c02f1d0e03019f0b6af78c19f3859bb703b512007317fd2f96d5fd473a8c64c0ada0fe4bc8b441c7023d4aa76d8df6d80c7b7105e0304d26805f43f0aa822cd967efcdb2916e7ee30eebfe6cdefd1d9b541435264147e44d05dfd36d0f25e5b5ec696de318b8df55cb46b0931954bf82f01678698a83288ba2784f88b2eee714e6399fefd6b222d8e14586140bdec34eb51e875f2f31868a96fcabec18ef9e18bf08f3f48f069ad1fc59ca48c7de307de70cf9f55bf9eba1ea0bbbe465d366661b38e3a84be309529038c6a64b4d774d760603964ed83bb5a317c29f2f274e7e9a9d809e1e131f3b10b89bab09fb32a4dc3eef9739b2b22a16fc0eaf29b8e46b1a2bfa8d1ddc1af968997126fd6696833ac115a3a7f1a327af812cd1e0a2e722c5f271155056ea6a17878b41a46b31330cf31179e8f32f9c5aed452f085131a27d6ee512c9b10fa486913dd8f80e8a2f1a891f70369b5c1676baeb2e2116ae882a95915bb169a87872081a47650857cfaa9ed93395f0999d3aa9bdbb90c79d16e",
),
// Pseudorandom 8, t=1
(
// K,B
"34eda0245fed9dde7e184c4cb603de5e1564339d0137dbeb042e2cc8e87b1cf9",
// T
1,
// t
"f1410c83bb640b80f887aab903d89275",
// OUTPUT
"c59411ad19e304f24a02fc80b5e96458fa28e86342aeeadfa2730f2f3f0ba5c2dab6a98d55bc81e5c7bb0571c650f36c5b94e084145405800e556572a58fe715371b4d28e83364c436d8a6cf79cabe06",
),
];
|
