test_crypto.c 115 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850285128522853285428552856285728582859286028612862286328642865286628672868286928702871287228732874287528762877287828792880288128822883288428852886288728882889289028912892289328942895289628972898289929002901290229032904290529062907290829092910291129122913291429152916291729182919292029212922292329242925292629272928292929302931293229332934293529362937293829392940294129422943294429452946294729482949295029512952295329542955295629572958295929602961296229632964296529662967296829692970297129722973297429752976297729782979298029812982298329842985298629872988298929902991299229932994299529962997299829993000300130023003300430053006300730083009301030113012301330143015301630173018301930203021302230233024302530263027302830293030303130323033303430353036303730383039304030413042304330443045304630473048304930503051305230533054305530563057305830593060306130623063306430653066306730683069307030713072307330743075307630773078307930803081308230833084308530863087308830893090309130923093309430953096309730983099310031013102310331043105310631073108310931103111311231133114311531163117311831193120312131223123312431253126312731283129313031313132313331343135313631373138313931403141314231433144314531463147314831493150315131523153315431553156315731583159316031613162316331643165316631673168316931703171317231733174317531763177317831793180318131823183318431853186318731883189319031913192319331943195319631973198319932003201
  1. /* Copyright (c) 2001-2004, Roger Dingledine.
  2. * Copyright (c) 2004-2006, Roger Dingledine, Nick Mathewson.
  3. * Copyright (c) 2007-2018, The Tor Project, Inc. */
  4. /* See LICENSE for licensing information */
  5. #include "orconfig.h"
  6. #define CRYPTO_CURVE25519_PRIVATE
  7. #define CRYPTO_RAND_PRIVATE
  8. #include "core/or/or.h"
  9. #include "test/test.h"
  10. #include "lib/crypt_ops/aes.h"
  11. #include "siphash.h"
  12. #include "lib/crypt_ops/crypto_curve25519.h"
  13. #include "lib/crypt_ops/crypto_dh.h"
  14. #include "lib/crypt_ops/crypto_ed25519.h"
  15. #include "lib/crypt_ops/crypto_format.h"
  16. #include "lib/crypt_ops/crypto_hkdf.h"
  17. #include "lib/crypt_ops/crypto_rand.h"
  18. #include "lib/crypt_ops/crypto_init.h"
  19. #include "ed25519_vectors.inc"
  20. #include "test/log_test_helpers.h"
  21. #ifdef HAVE_SYS_STAT_H
  22. #include <sys/stat.h>
  23. #endif
  24. #ifdef HAVE_UNISTD_H
  25. #include <unistd.h>
  26. #endif
  27. #if defined(ENABLE_OPENSSL)
  28. #include "lib/crypt_ops/compat_openssl.h"
  29. DISABLE_GCC_WARNING(redundant-decls)
  30. #include <openssl/dh.h>
  31. ENABLE_GCC_WARNING(redundant-decls)
  32. #endif
  33. /** Run unit tests for Diffie-Hellman functionality. */
  34. static void
  35. test_crypto_dh(void *arg)
  36. {
  37. crypto_dh_t *dh1 = crypto_dh_new(DH_TYPE_CIRCUIT);
  38. crypto_dh_t *dh1_dup = NULL;
  39. crypto_dh_t *dh2 = crypto_dh_new(DH_TYPE_CIRCUIT);
  40. char p1[DH1024_KEY_LEN];
  41. char p2[DH1024_KEY_LEN];
  42. char s1[DH1024_KEY_LEN];
  43. char s2[DH1024_KEY_LEN];
  44. ssize_t s1len, s2len;
  45. #ifdef ENABLE_OPENSSL
  46. crypto_dh_t *dh3 = NULL;
  47. DH *dh4 = NULL;
  48. BIGNUM *pubkey_tmp = NULL;
  49. #endif
  50. (void)arg;
  51. tt_int_op(crypto_dh_get_bytes(dh1),OP_EQ, DH1024_KEY_LEN);
  52. tt_int_op(crypto_dh_get_bytes(dh2),OP_EQ, DH1024_KEY_LEN);
  53. memset(p1, 0, DH1024_KEY_LEN);
  54. memset(p2, 0, DH1024_KEY_LEN);
  55. tt_mem_op(p1,OP_EQ, p2, DH1024_KEY_LEN);
  56. tt_int_op(-1, OP_EQ, crypto_dh_get_public(dh1, p1, 6)); /* too short */
  57. tt_assert(! crypto_dh_get_public(dh1, p1, DH1024_KEY_LEN));
  58. tt_mem_op(p1,OP_NE, p2, DH1024_KEY_LEN);
  59. tt_assert(! crypto_dh_get_public(dh2, p2, DH1024_KEY_LEN));
  60. tt_mem_op(p1,OP_NE, p2, DH1024_KEY_LEN);
  61. memset(s1, 0, DH1024_KEY_LEN);
  62. memset(s2, 0xFF, DH1024_KEY_LEN);
  63. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, p2, DH1024_KEY_LEN, s1, 50);
  64. s2len = crypto_dh_compute_secret(LOG_WARN, dh2, p1, DH1024_KEY_LEN, s2, 50);
  65. tt_assert(s1len > 0);
  66. tt_int_op(s1len,OP_EQ, s2len);
  67. tt_mem_op(s1,OP_EQ, s2, s1len);
  68. /* test dh_dup; make sure it works the same. */
  69. dh1_dup = crypto_dh_dup(dh1);
  70. s1len = crypto_dh_compute_secret(LOG_WARN, dh1_dup, p2, DH1024_KEY_LEN,
  71. s1, 50);
  72. tt_mem_op(s1,OP_EQ, s2, s1len);
  73. {
  74. /* Now fabricate some bad values and make sure they get caught. */
  75. /* 1 and 0 should both fail. */
  76. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, "\x01", 1, s1, 50);
  77. tt_int_op(-1, OP_EQ, s1len);
  78. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, "\x00", 1, s1, 50);
  79. tt_int_op(-1, OP_EQ, s1len);
  80. memset(p1, 0, DH1024_KEY_LEN); /* 0 with padding. */
  81. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, p1, DH1024_KEY_LEN,
  82. s1, 50);
  83. tt_int_op(-1, OP_EQ, s1len);
  84. p1[DH1024_KEY_LEN-1] = 1; /* 1 with padding*/
  85. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, p1, DH1024_KEY_LEN,
  86. s1, 50);
  87. tt_int_op(-1, OP_EQ, s1len);
  88. /* 2 is okay, though weird. */
  89. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, "\x02", 1, s1, 50);
  90. tt_int_op(50, OP_EQ, s1len);
  91. /* 2 a second time is still okay, though weird. */
  92. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, "\x02", 1, s1, 50);
  93. tt_int_op(50, OP_EQ, s1len);
  94. const char P[] =
  95. "FFFFFFFFFFFFFFFFC90FDAA22168C234C4C6628B80DC1CD129024E08"
  96. "8A67CC74020BBEA63B139B22514A08798E3404DDEF9519B3CD3A431B"
  97. "302B0A6DF25F14374FE1356D6D51C245E485B576625E7EC6F44C42E9"
  98. "A637ED6B0BFF5CB6F406B7EDEE386BFB5A899FA5AE9F24117C4B1FE6"
  99. "49286651ECE65381FFFFFFFFFFFFFFFF";
  100. /* p-1, p, and so on are not okay. */
  101. base16_decode(p1, sizeof(p1), P, strlen(P));
  102. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, p1, DH1024_KEY_LEN,
  103. s1, 50);
  104. tt_int_op(-1, OP_EQ, s1len);
  105. p1[DH1024_KEY_LEN-1] = 0xFE; /* p-1 */
  106. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, p1, DH1024_KEY_LEN,
  107. s1, 50);
  108. tt_int_op(-1, OP_EQ, s1len);
  109. p1[DH1024_KEY_LEN-1] = 0xFD; /* p-2 works fine */
  110. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, p1, DH1024_KEY_LEN,
  111. s1, 50);
  112. tt_int_op(50, OP_EQ, s1len);
  113. const char P_plus_one[] =
  114. "FFFFFFFFFFFFFFFFC90FDAA22168C234C4C6628B80DC1CD129024E08"
  115. "8A67CC74020BBEA63B139B22514A08798E3404DDEF9519B3CD3A431B"
  116. "302B0A6DF25F14374FE1356D6D51C245E485B576625E7EC6F44C42E9"
  117. "A637ED6B0BFF5CB6F406B7EDEE386BFB5A899FA5AE9F24117C4B1FE6"
  118. "49286651ECE653820000000000000000";
  119. base16_decode(p1, sizeof(p1), P_plus_one, strlen(P_plus_one));
  120. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, p1, DH1024_KEY_LEN,
  121. s1, 50);
  122. tt_int_op(-1, OP_EQ, s1len);
  123. p1[DH1024_KEY_LEN-1] = 0x01; /* p+2 */
  124. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, p1, DH1024_KEY_LEN,
  125. s1, 50);
  126. tt_int_op(-1, OP_EQ, s1len);
  127. p1[DH1024_KEY_LEN-1] = 0xff; /* p+256 */
  128. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, p1, DH1024_KEY_LEN,
  129. s1, 50);
  130. tt_int_op(-1, OP_EQ, s1len);
  131. memset(p1, 0xff, DH1024_KEY_LEN), /* 2^1024-1 */
  132. s1len = crypto_dh_compute_secret(LOG_WARN, dh1, p1, DH1024_KEY_LEN,
  133. s1, 50);
  134. tt_int_op(-1, OP_EQ, s1len);
  135. }
  136. {
  137. /* provoke an error in the openssl DH_compute_key function; make sure we
  138. * survive. */
  139. tt_assert(! crypto_dh_get_public(dh1, p1, DH1024_KEY_LEN));
  140. crypto_dh_free(dh2);
  141. dh2= crypto_dh_new(DH_TYPE_CIRCUIT); /* no private key set */
  142. s1len = crypto_dh_compute_secret(LOG_WARN, dh2,
  143. p1, DH1024_KEY_LEN,
  144. s1, 50);
  145. tt_int_op(s1len, OP_EQ, -1);
  146. }
  147. #if defined(ENABLE_OPENSSL)
  148. {
  149. /* Make sure that our crypto library can handshake with openssl. */
  150. dh3 = crypto_dh_new(DH_TYPE_TLS);
  151. tt_assert(!crypto_dh_get_public(dh3, p1, DH1024_KEY_LEN));
  152. dh4 = crypto_dh_new_openssl_tls();
  153. tt_assert(DH_generate_key(dh4));
  154. const BIGNUM *pk=NULL;
  155. #ifdef OPENSSL_1_1_API
  156. const BIGNUM *sk=NULL;
  157. DH_get0_key(dh4, &pk, &sk);
  158. #else
  159. pk = dh4->pub_key;
  160. #endif
  161. tt_assert(pk);
  162. tt_int_op(BN_num_bytes(pk), OP_LE, DH1024_KEY_LEN);
  163. tt_int_op(BN_num_bytes(pk), OP_GT, 0);
  164. memset(p2, 0, sizeof(p2));
  165. /* right-pad. */
  166. BN_bn2bin(pk, (unsigned char *)(p2+DH1024_KEY_LEN-BN_num_bytes(pk)));
  167. s1len = crypto_dh_handshake(LOG_WARN, dh3, p2, DH1024_KEY_LEN,
  168. (unsigned char *)s1, sizeof(s1));
  169. pubkey_tmp = BN_bin2bn((unsigned char *)p1, DH1024_KEY_LEN, NULL);
  170. s2len = DH_compute_key((unsigned char *)s2, pubkey_tmp, dh4);
  171. tt_int_op(s1len, OP_EQ, s2len);
  172. tt_int_op(s1len, OP_GT, 0);
  173. tt_mem_op(s1, OP_EQ, s2, s1len);
  174. }
  175. #endif
  176. done:
  177. crypto_dh_free(dh1);
  178. crypto_dh_free(dh2);
  179. crypto_dh_free(dh1_dup);
  180. #ifdef ENABLE_OPENSSL
  181. crypto_dh_free(dh3);
  182. if (dh4)
  183. DH_free(dh4);
  184. if (pubkey_tmp)
  185. BN_free(pubkey_tmp);
  186. #endif
  187. }
  188. static void
  189. test_crypto_openssl_version(void *arg)
  190. {
  191. (void)arg;
  192. #ifdef ENABLE_NSS
  193. tt_skip();
  194. #else
  195. const char *version = crypto_openssl_get_version_str();
  196. const char *h_version = crypto_openssl_get_header_version_str();
  197. tt_assert(version);
  198. tt_assert(h_version);
  199. if (strcmpstart(version, h_version)) { /* "-fips" suffix, etc */
  200. TT_DIE(("OpenSSL library version %s did not begin with header version %s.",
  201. version, h_version));
  202. }
  203. if (strstr(version, "OpenSSL")) {
  204. TT_DIE(("assertion failed: !strstr(\"%s\", \"OpenSSL\")", version));
  205. }
  206. int a=-1,b=-1,c=-1;
  207. if (!strcmpstart(version, "LibreSSL") || !strcmpstart(version, "BoringSSL"))
  208. return;
  209. int r = tor_sscanf(version, "%d.%d.%d", &a,&b,&c);
  210. tt_int_op(r, OP_EQ, 3);
  211. tt_int_op(a, OP_GE, 0);
  212. tt_int_op(b, OP_GE, 0);
  213. tt_int_op(c, OP_GE, 0);
  214. #endif
  215. done:
  216. ;
  217. }
  218. /** Run unit tests for our random number generation function and its wrappers.
  219. */
  220. static void
  221. test_crypto_rng(void *arg)
  222. {
  223. int i, j, allok;
  224. char data1[100], data2[100];
  225. double d;
  226. char *h=NULL;
  227. /* Try out RNG. */
  228. (void)arg;
  229. tt_assert(! crypto_seed_rng());
  230. crypto_rand(data1, 100);
  231. crypto_rand(data2, 100);
  232. tt_mem_op(data1,OP_NE, data2,100);
  233. allok = 1;
  234. for (i = 0; i < 100; ++i) {
  235. uint64_t big;
  236. char *host;
  237. j = crypto_rand_int(100);
  238. if (j < 0 || j >= 100)
  239. allok = 0;
  240. big = crypto_rand_uint64(UINT64_C(1)<<40);
  241. if (big >= (UINT64_C(1)<<40))
  242. allok = 0;
  243. big = crypto_rand_uint64(UINT64_C(5));
  244. if (big >= 5)
  245. allok = 0;
  246. d = crypto_rand_double();
  247. tt_assert(d >= 0);
  248. tt_assert(d < 1.0);
  249. host = crypto_random_hostname(3,8,"www.",".onion");
  250. if (strcmpstart(host,"www.") ||
  251. strcmpend(host,".onion") ||
  252. strlen(host) < 13 ||
  253. strlen(host) > 18)
  254. allok = 0;
  255. tor_free(host);
  256. }
  257. /* Make sure crypto_random_hostname clips its inputs properly. */
  258. h = crypto_random_hostname(20000, 9000, "www.", ".onion");
  259. tt_assert(! strcmpstart(h,"www."));
  260. tt_assert(! strcmpend(h,".onion"));
  261. tt_int_op(63+4+6, OP_EQ, strlen(h));
  262. tt_assert(allok);
  263. done:
  264. tor_free(h);
  265. }
  266. static void
  267. test_crypto_rng_range(void *arg)
  268. {
  269. int got_smallest = 0, got_largest = 0;
  270. int i;
  271. (void)arg;
  272. for (i = 0; i < 1000; ++i) {
  273. int x = crypto_rand_int_range(5,9);
  274. tt_int_op(x, OP_GE, 5);
  275. tt_int_op(x, OP_LT, 9);
  276. if (x == 5)
  277. got_smallest = 1;
  278. if (x == 8)
  279. got_largest = 1;
  280. }
  281. /* These fail with probability 1/10^603. */
  282. tt_assert(got_smallest);
  283. tt_assert(got_largest);
  284. got_smallest = got_largest = 0;
  285. const uint64_t ten_billion = 10 * ((uint64_t)1000000000000);
  286. for (i = 0; i < 1000; ++i) {
  287. uint64_t x = crypto_rand_uint64_range(ten_billion, ten_billion+10);
  288. tt_u64_op(x, OP_GE, ten_billion);
  289. tt_u64_op(x, OP_LT, ten_billion+10);
  290. if (x == ten_billion)
  291. got_smallest = 1;
  292. if (x == ten_billion+9)
  293. got_largest = 1;
  294. }
  295. tt_assert(got_smallest);
  296. tt_assert(got_largest);
  297. const time_t now = time(NULL);
  298. for (i = 0; i < 2000; ++i) {
  299. time_t x = crypto_rand_time_range(now, now+60);
  300. tt_i64_op(x, OP_GE, now);
  301. tt_i64_op(x, OP_LT, now+60);
  302. if (x == now)
  303. got_smallest = 1;
  304. if (x == now+59)
  305. got_largest = 1;
  306. }
  307. tt_assert(got_smallest);
  308. tt_assert(got_largest);
  309. done:
  310. ;
  311. }
  312. static void
  313. test_crypto_rng_strongest(void *arg)
  314. {
  315. const char *how = arg;
  316. int broken = 0;
  317. if (how == NULL) {
  318. ;
  319. } else if (!strcmp(how, "nosyscall")) {
  320. break_strongest_rng_syscall = 1;
  321. } else if (!strcmp(how, "nofallback")) {
  322. break_strongest_rng_fallback = 1;
  323. } else if (!strcmp(how, "broken")) {
  324. broken = break_strongest_rng_syscall = break_strongest_rng_fallback = 1;
  325. }
  326. #define N 128
  327. uint8_t combine_and[N];
  328. uint8_t combine_or[N];
  329. int i, j;
  330. memset(combine_and, 0xff, N);
  331. memset(combine_or, 0, N);
  332. for (i = 0; i < 100; ++i) { /* 2^-100 chances just don't happen. */
  333. uint8_t output[N];
  334. memset(output, 0, N);
  335. if (how == NULL) {
  336. /* this one can't fail. */
  337. crypto_strongest_rand(output, sizeof(output));
  338. } else {
  339. int r = crypto_strongest_rand_raw(output, sizeof(output));
  340. if (r == -1) {
  341. if (broken) {
  342. goto done; /* we're fine. */
  343. }
  344. /* This function is allowed to break, but only if it always breaks. */
  345. tt_int_op(i, OP_EQ, 0);
  346. tt_skip();
  347. } else {
  348. tt_assert(! broken);
  349. }
  350. }
  351. for (j = 0; j < N; ++j) {
  352. combine_and[j] &= output[j];
  353. combine_or[j] |= output[j];
  354. }
  355. }
  356. for (j = 0; j < N; ++j) {
  357. tt_int_op(combine_and[j], OP_EQ, 0);
  358. tt_int_op(combine_or[j], OP_EQ, 0xff);
  359. }
  360. done:
  361. ;
  362. #undef N
  363. }
  364. /** Run unit tests for our AES128 functionality */
  365. static void
  366. test_crypto_aes128(void *arg)
  367. {
  368. char *data1 = NULL, *data2 = NULL, *data3 = NULL;
  369. crypto_cipher_t *env1 = NULL, *env2 = NULL;
  370. int i, j;
  371. char *mem_op_hex_tmp=NULL;
  372. char key[CIPHER_KEY_LEN];
  373. int use_evp = !strcmp(arg,"evp");
  374. evaluate_evp_for_aes(use_evp);
  375. evaluate_ctr_for_aes();
  376. data1 = tor_malloc(1024);
  377. data2 = tor_malloc(1024);
  378. data3 = tor_malloc(1024);
  379. /* Now, test encryption and decryption with stream cipher. */
  380. data1[0]='\0';
  381. for (i = 1023; i>0; i -= 35)
  382. strncat(data1, "Now is the time for all good onions", i);
  383. memset(data2, 0, 1024);
  384. memset(data3, 0, 1024);
  385. crypto_rand(key, sizeof(key));
  386. env1 = crypto_cipher_new(key);
  387. tt_ptr_op(env1, OP_NE, NULL);
  388. env2 = crypto_cipher_new(key);
  389. tt_ptr_op(env2, OP_NE, NULL);
  390. /* Try encrypting 512 chars. */
  391. crypto_cipher_encrypt(env1, data2, data1, 512);
  392. crypto_cipher_decrypt(env2, data3, data2, 512);
  393. tt_mem_op(data1,OP_EQ, data3, 512);
  394. tt_mem_op(data1,OP_NE, data2, 512);
  395. /* Now encrypt 1 at a time, and get 1 at a time. */
  396. for (j = 512; j < 560; ++j) {
  397. crypto_cipher_encrypt(env1, data2+j, data1+j, 1);
  398. }
  399. for (j = 512; j < 560; ++j) {
  400. crypto_cipher_decrypt(env2, data3+j, data2+j, 1);
  401. }
  402. tt_mem_op(data1,OP_EQ, data3, 560);
  403. /* Now encrypt 3 at a time, and get 5 at a time. */
  404. for (j = 560; j < 1024-5; j += 3) {
  405. crypto_cipher_encrypt(env1, data2+j, data1+j, 3);
  406. }
  407. for (j = 560; j < 1024-5; j += 5) {
  408. crypto_cipher_decrypt(env2, data3+j, data2+j, 5);
  409. }
  410. tt_mem_op(data1,OP_EQ, data3, 1024-5);
  411. /* Now make sure that when we encrypt with different chunk sizes, we get
  412. the same results. */
  413. crypto_cipher_free(env2);
  414. env2 = NULL;
  415. memset(data3, 0, 1024);
  416. env2 = crypto_cipher_new(key);
  417. tt_ptr_op(env2, OP_NE, NULL);
  418. for (j = 0; j < 1024-16; j += 17) {
  419. crypto_cipher_encrypt(env2, data3+j, data1+j, 17);
  420. }
  421. for (j= 0; j < 1024-16; ++j) {
  422. if (data2[j] != data3[j]) {
  423. printf("%d: %d\t%d\n", j, (int) data2[j], (int) data3[j]);
  424. }
  425. }
  426. tt_mem_op(data2,OP_EQ, data3, 1024-16);
  427. crypto_cipher_free(env1);
  428. env1 = NULL;
  429. crypto_cipher_free(env2);
  430. env2 = NULL;
  431. /* NIST test vector for aes. */
  432. /* IV starts at 0 */
  433. env1 = crypto_cipher_new("\x80\x00\x00\x00\x00\x00\x00\x00"
  434. "\x00\x00\x00\x00\x00\x00\x00\x00");
  435. crypto_cipher_encrypt(env1, data1,
  436. "\x00\x00\x00\x00\x00\x00\x00\x00"
  437. "\x00\x00\x00\x00\x00\x00\x00\x00", 16);
  438. test_memeq_hex(data1, "0EDD33D3C621E546455BD8BA1418BEC8");
  439. /* Now test rollover. All these values are originally from a python
  440. * script. */
  441. crypto_cipher_free(env1);
  442. env1 = crypto_cipher_new_with_iv(
  443. "\x80\x00\x00\x00\x00\x00\x00\x00"
  444. "\x00\x00\x00\x00\x00\x00\x00\x00",
  445. "\x00\x00\x00\x00\x00\x00\x00\x00"
  446. "\xff\xff\xff\xff\xff\xff\xff\xff");
  447. memset(data2, 0, 1024);
  448. crypto_cipher_encrypt(env1, data1, data2, 32);
  449. test_memeq_hex(data1, "335fe6da56f843199066c14a00a40231"
  450. "cdd0b917dbc7186908a6bfb5ffd574d3");
  451. crypto_cipher_free(env1);
  452. env1 = crypto_cipher_new_with_iv(
  453. "\x80\x00\x00\x00\x00\x00\x00\x00"
  454. "\x00\x00\x00\x00\x00\x00\x00\x00",
  455. "\x00\x00\x00\x00\xff\xff\xff\xff"
  456. "\xff\xff\xff\xff\xff\xff\xff\xff");
  457. memset(data2, 0, 1024);
  458. crypto_cipher_encrypt(env1, data1, data2, 32);
  459. test_memeq_hex(data1, "e627c6423fa2d77832a02b2794094b73"
  460. "3e63c721df790d2c6469cc1953a3ffac");
  461. crypto_cipher_free(env1);
  462. env1 = crypto_cipher_new_with_iv(
  463. "\x80\x00\x00\x00\x00\x00\x00\x00"
  464. "\x00\x00\x00\x00\x00\x00\x00\x00",
  465. "\xff\xff\xff\xff\xff\xff\xff\xff"
  466. "\xff\xff\xff\xff\xff\xff\xff\xff");
  467. memset(data2, 0, 1024);
  468. crypto_cipher_encrypt(env1, data1, data2, 32);
  469. test_memeq_hex(data1, "2aed2bff0de54f9328efd070bf48f70a"
  470. "0EDD33D3C621E546455BD8BA1418BEC8");
  471. /* Now check rollover on inplace cipher. */
  472. crypto_cipher_free(env1);
  473. env1 = crypto_cipher_new_with_iv(
  474. "\x80\x00\x00\x00\x00\x00\x00\x00"
  475. "\x00\x00\x00\x00\x00\x00\x00\x00",
  476. "\xff\xff\xff\xff\xff\xff\xff\xff"
  477. "\xff\xff\xff\xff\xff\xff\xff\xff");
  478. crypto_cipher_crypt_inplace(env1, data2, 64);
  479. test_memeq_hex(data2, "2aed2bff0de54f9328efd070bf48f70a"
  480. "0EDD33D3C621E546455BD8BA1418BEC8"
  481. "93e2c5243d6839eac58503919192f7ae"
  482. "1908e67cafa08d508816659c2e693191");
  483. crypto_cipher_free(env1);
  484. env1 = crypto_cipher_new_with_iv(
  485. "\x80\x00\x00\x00\x00\x00\x00\x00"
  486. "\x00\x00\x00\x00\x00\x00\x00\x00",
  487. "\xff\xff\xff\xff\xff\xff\xff\xff"
  488. "\xff\xff\xff\xff\xff\xff\xff\xff");
  489. crypto_cipher_crypt_inplace(env1, data2, 64);
  490. tt_assert(tor_mem_is_zero(data2, 64));
  491. done:
  492. tor_free(mem_op_hex_tmp);
  493. if (env1)
  494. crypto_cipher_free(env1);
  495. if (env2)
  496. crypto_cipher_free(env2);
  497. tor_free(data1);
  498. tor_free(data2);
  499. tor_free(data3);
  500. }
  501. static void
  502. test_crypto_aes_ctr_testvec(void *arg)
  503. {
  504. const char *bitstr = arg;
  505. char *mem_op_hex_tmp=NULL;
  506. crypto_cipher_t *c=NULL;
  507. /* from NIST SP800-38a, section F.5 */
  508. const char ctr16[] = "f0f1f2f3f4f5f6f7f8f9fafbfcfdfeff";
  509. const char plaintext16[] =
  510. "6bc1bee22e409f96e93d7e117393172a"
  511. "ae2d8a571e03ac9c9eb76fac45af8e51"
  512. "30c81c46a35ce411e5fbc1191a0a52ef"
  513. "f69f2445df4f9b17ad2b417be66c3710";
  514. const char *ciphertext16;
  515. const char *key16;
  516. int bits;
  517. if (!strcmp(bitstr, "128")) {
  518. ciphertext16 = /* section F.5.1 */
  519. "874d6191b620e3261bef6864990db6ce"
  520. "9806f66b7970fdff8617187bb9fffdff"
  521. "5ae4df3edbd5d35e5b4f09020db03eab"
  522. "1e031dda2fbe03d1792170a0f3009cee";
  523. key16 = "2b7e151628aed2a6abf7158809cf4f3c";
  524. bits = 128;
  525. } else if (!strcmp(bitstr, "192")) {
  526. ciphertext16 = /* section F.5.3 */
  527. "1abc932417521ca24f2b0459fe7e6e0b"
  528. "090339ec0aa6faefd5ccc2c6f4ce8e94"
  529. "1e36b26bd1ebc670d1bd1d665620abf7"
  530. "4f78a7f6d29809585a97daec58c6b050";
  531. key16 = "8e73b0f7da0e6452c810f32b809079e562f8ead2522c6b7b";
  532. bits = 192;
  533. } else if (!strcmp(bitstr, "256")) {
  534. ciphertext16 = /* section F.5.5 */
  535. "601ec313775789a5b7a7f504bbf3d228"
  536. "f443e3ca4d62b59aca84e990cacaf5c5"
  537. "2b0930daa23de94ce87017ba2d84988d"
  538. "dfc9c58db67aada613c2dd08457941a6";
  539. key16 =
  540. "603deb1015ca71be2b73aef0857d7781"
  541. "1f352c073b6108d72d9810a30914dff4";
  542. bits = 256;
  543. } else {
  544. tt_abort_msg("AES doesn't support this number of bits.");
  545. }
  546. char key[32];
  547. char iv[16];
  548. char plaintext[16*4];
  549. memset(key, 0xf9, sizeof(key)); /* poison extra bytes */
  550. base16_decode(key, sizeof(key), key16, strlen(key16));
  551. base16_decode(iv, sizeof(iv), ctr16, strlen(ctr16));
  552. base16_decode(plaintext, sizeof(plaintext),
  553. plaintext16, strlen(plaintext16));
  554. c = crypto_cipher_new_with_iv_and_bits((uint8_t*)key, (uint8_t*)iv, bits);
  555. crypto_cipher_crypt_inplace(c, plaintext, sizeof(plaintext));
  556. test_memeq_hex(plaintext, ciphertext16);
  557. done:
  558. tor_free(mem_op_hex_tmp);
  559. crypto_cipher_free(c);
  560. }
  561. /** Run unit tests for our SHA-1 functionality */
  562. static void
  563. test_crypto_sha(void *arg)
  564. {
  565. crypto_digest_t *d1 = NULL, *d2 = NULL;
  566. int i;
  567. #define RFC_4231_MAX_KEY_SIZE 131
  568. char key[RFC_4231_MAX_KEY_SIZE];
  569. char digest[DIGEST256_LEN];
  570. char data[DIGEST512_LEN];
  571. char d_out1[DIGEST512_LEN], d_out2[DIGEST512_LEN];
  572. char *mem_op_hex_tmp=NULL;
  573. /* Test SHA-1 with a test vector from the specification. */
  574. (void)arg;
  575. i = crypto_digest(data, "abc", 3);
  576. test_memeq_hex(data, "A9993E364706816ABA3E25717850C26C9CD0D89D");
  577. tt_int_op(i, OP_EQ, 0);
  578. /* Test SHA-256 with a test vector from the specification. */
  579. i = crypto_digest256(data, "abc", 3, DIGEST_SHA256);
  580. test_memeq_hex(data, "BA7816BF8F01CFEA414140DE5DAE2223B00361A3"
  581. "96177A9CB410FF61F20015AD");
  582. tt_int_op(i, OP_EQ, 0);
  583. /* Test SHA-512 with a test vector from the specification. */
  584. i = crypto_digest512(data, "abc", 3, DIGEST_SHA512);
  585. test_memeq_hex(data, "ddaf35a193617abacc417349ae20413112e6fa4e89a97"
  586. "ea20a9eeee64b55d39a2192992a274fc1a836ba3c23a3"
  587. "feebbd454d4423643ce80e2a9ac94fa54ca49f");
  588. tt_int_op(i, OP_EQ, 0);
  589. /* Test HMAC-SHA256 with test cases from wikipedia and RFC 4231 */
  590. /* Case empty (wikipedia) */
  591. crypto_hmac_sha256(digest, "", 0, "", 0);
  592. tt_str_op(hex_str(digest, 32),OP_EQ,
  593. "B613679A0814D9EC772F95D778C35FC5FF1697C493715653C6C712144292C5AD");
  594. /* Case quick-brown (wikipedia) */
  595. crypto_hmac_sha256(digest, "key", 3,
  596. "The quick brown fox jumps over the lazy dog", 43);
  597. tt_str_op(hex_str(digest, 32),OP_EQ,
  598. "F7BC83F430538424B13298E6AA6FB143EF4D59A14946175997479DBC2D1A3CD8");
  599. /* "Test Case 1" from RFC 4231 */
  600. memset(key, 0x0b, 20);
  601. crypto_hmac_sha256(digest, key, 20, "Hi There", 8);
  602. test_memeq_hex(digest,
  603. "b0344c61d8db38535ca8afceaf0bf12b"
  604. "881dc200c9833da726e9376c2e32cff7");
  605. /* "Test Case 2" from RFC 4231 */
  606. memset(key, 0x0b, 20);
  607. crypto_hmac_sha256(digest, "Jefe", 4, "what do ya want for nothing?", 28);
  608. test_memeq_hex(digest,
  609. "5bdcc146bf60754e6a042426089575c7"
  610. "5a003f089d2739839dec58b964ec3843");
  611. /* "Test case 3" from RFC 4231 */
  612. memset(key, 0xaa, 20);
  613. memset(data, 0xdd, 50);
  614. crypto_hmac_sha256(digest, key, 20, data, 50);
  615. test_memeq_hex(digest,
  616. "773ea91e36800e46854db8ebd09181a7"
  617. "2959098b3ef8c122d9635514ced565fe");
  618. /* "Test case 4" from RFC 4231 */
  619. base16_decode(key, 25,
  620. "0102030405060708090a0b0c0d0e0f10111213141516171819", 50);
  621. memset(data, 0xcd, 50);
  622. crypto_hmac_sha256(digest, key, 25, data, 50);
  623. test_memeq_hex(digest,
  624. "82558a389a443c0ea4cc819899f2083a"
  625. "85f0faa3e578f8077a2e3ff46729665b");
  626. /* "Test case 5" from RFC 4231 */
  627. memset(key, 0x0c, 20);
  628. crypto_hmac_sha256(digest, key, 20, "Test With Truncation", 20);
  629. test_memeq_hex(digest,
  630. "a3b6167473100ee06e0c796c2955552b");
  631. /* "Test case 6" from RFC 4231 */
  632. memset(key, 0xaa, 131);
  633. crypto_hmac_sha256(digest, key, 131,
  634. "Test Using Larger Than Block-Size Key - Hash Key First",
  635. 54);
  636. test_memeq_hex(digest,
  637. "60e431591ee0b67f0d8a26aacbf5b77f"
  638. "8e0bc6213728c5140546040f0ee37f54");
  639. /* "Test case 7" from RFC 4231 */
  640. memset(key, 0xaa, 131);
  641. crypto_hmac_sha256(digest, key, 131,
  642. "This is a test using a larger than block-size key and a "
  643. "larger than block-size data. The key needs to be hashed "
  644. "before being used by the HMAC algorithm.", 152);
  645. test_memeq_hex(digest,
  646. "9b09ffa71b942fcb27635fbcd5b0e944"
  647. "bfdc63644f0713938a7f51535c3a35e2");
  648. /* Incremental digest code. */
  649. d1 = crypto_digest_new();
  650. tt_assert(d1);
  651. crypto_digest_add_bytes(d1, "abcdef", 6);
  652. d2 = crypto_digest_dup(d1);
  653. tt_assert(d2);
  654. crypto_digest_add_bytes(d2, "ghijkl", 6);
  655. crypto_digest_get_digest(d2, d_out1, DIGEST_LEN);
  656. crypto_digest(d_out2, "abcdefghijkl", 12);
  657. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST_LEN);
  658. crypto_digest_assign(d2, d1);
  659. crypto_digest_add_bytes(d2, "mno", 3);
  660. crypto_digest_get_digest(d2, d_out1, DIGEST_LEN);
  661. crypto_digest(d_out2, "abcdefmno", 9);
  662. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST_LEN);
  663. crypto_digest_get_digest(d1, d_out1, DIGEST_LEN);
  664. crypto_digest(d_out2, "abcdef", 6);
  665. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST_LEN);
  666. crypto_digest_free(d1);
  667. crypto_digest_free(d2);
  668. /* Incremental digest code with sha256 */
  669. d1 = crypto_digest256_new(DIGEST_SHA256);
  670. tt_assert(d1);
  671. crypto_digest_add_bytes(d1, "abcdef", 6);
  672. d2 = crypto_digest_dup(d1);
  673. tt_assert(d2);
  674. crypto_digest_add_bytes(d2, "ghijkl", 6);
  675. crypto_digest_get_digest(d2, d_out1, DIGEST256_LEN);
  676. crypto_digest256(d_out2, "abcdefghijkl", 12, DIGEST_SHA256);
  677. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST256_LEN);
  678. crypto_digest_assign(d2, d1);
  679. crypto_digest_add_bytes(d2, "mno", 3);
  680. crypto_digest_get_digest(d2, d_out1, DIGEST256_LEN);
  681. crypto_digest256(d_out2, "abcdefmno", 9, DIGEST_SHA256);
  682. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST256_LEN);
  683. crypto_digest_get_digest(d1, d_out1, DIGEST256_LEN);
  684. crypto_digest256(d_out2, "abcdef", 6, DIGEST_SHA256);
  685. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST256_LEN);
  686. crypto_digest_free(d1);
  687. crypto_digest_free(d2);
  688. /* Incremental digest code with sha512 */
  689. d1 = crypto_digest512_new(DIGEST_SHA512);
  690. tt_assert(d1);
  691. crypto_digest_add_bytes(d1, "abcdef", 6);
  692. d2 = crypto_digest_dup(d1);
  693. tt_assert(d2);
  694. crypto_digest_add_bytes(d2, "ghijkl", 6);
  695. crypto_digest_get_digest(d2, d_out1, DIGEST512_LEN);
  696. crypto_digest512(d_out2, "abcdefghijkl", 12, DIGEST_SHA512);
  697. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST512_LEN);
  698. crypto_digest_assign(d2, d1);
  699. crypto_digest_add_bytes(d2, "mno", 3);
  700. crypto_digest_get_digest(d2, d_out1, DIGEST512_LEN);
  701. crypto_digest512(d_out2, "abcdefmno", 9, DIGEST_SHA512);
  702. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST512_LEN);
  703. crypto_digest_get_digest(d1, d_out1, DIGEST512_LEN);
  704. crypto_digest512(d_out2, "abcdef", 6, DIGEST_SHA512);
  705. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST512_LEN);
  706. done:
  707. if (d1)
  708. crypto_digest_free(d1);
  709. if (d2)
  710. crypto_digest_free(d2);
  711. tor_free(mem_op_hex_tmp);
  712. }
  713. static void
  714. test_crypto_sha3(void *arg)
  715. {
  716. crypto_digest_t *d1 = NULL, *d2 = NULL;
  717. int i;
  718. char data[DIGEST512_LEN];
  719. char d_out1[DIGEST512_LEN], d_out2[DIGEST512_LEN];
  720. char *mem_op_hex_tmp=NULL;
  721. char *large = NULL;
  722. (void)arg;
  723. /* Test SHA3-[256,512] with a test vectors from the Keccak Code Package.
  724. *
  725. * NB: The code package's test vectors have length expressed in bits.
  726. */
  727. /* Len = 8, Msg = CC */
  728. const uint8_t keccak_kat_msg8[] = { 0xcc };
  729. i = crypto_digest256(data, (const char*)keccak_kat_msg8, 1, DIGEST_SHA3_256);
  730. test_memeq_hex(data, "677035391CD3701293D385F037BA3279"
  731. "6252BB7CE180B00B582DD9B20AAAD7F0");
  732. tt_int_op(i, OP_EQ, 0);
  733. i = crypto_digest512(data, (const char*)keccak_kat_msg8, 1, DIGEST_SHA3_512);
  734. test_memeq_hex(data, "3939FCC8B57B63612542DA31A834E5DC"
  735. "C36E2EE0F652AC72E02624FA2E5ADEEC"
  736. "C7DD6BB3580224B4D6138706FC6E8059"
  737. "7B528051230B00621CC2B22999EAA205");
  738. tt_int_op(i, OP_EQ, 0);
  739. /* Len = 24, Msg = 1F877C */
  740. const uint8_t keccak_kat_msg24[] = { 0x1f, 0x87, 0x7c };
  741. i = crypto_digest256(data, (const char*)keccak_kat_msg24, 3,
  742. DIGEST_SHA3_256);
  743. test_memeq_hex(data, "BC22345E4BD3F792A341CF18AC0789F1"
  744. "C9C966712A501B19D1B6632CCD408EC5");
  745. tt_int_op(i, OP_EQ, 0);
  746. i = crypto_digest512(data, (const char*)keccak_kat_msg24, 3,
  747. DIGEST_SHA3_512);
  748. test_memeq_hex(data, "CB20DCF54955F8091111688BECCEF48C"
  749. "1A2F0D0608C3A575163751F002DB30F4"
  750. "0F2F671834B22D208591CFAF1F5ECFE4"
  751. "3C49863A53B3225BDFD7C6591BA7658B");
  752. tt_int_op(i, OP_EQ, 0);
  753. /* Len = 1080, Msg = B771D5CEF... ...C35AC81B5 (SHA3-256 rate - 1) */
  754. const uint8_t keccak_kat_msg1080[] = {
  755. 0xB7, 0x71, 0xD5, 0xCE, 0xF5, 0xD1, 0xA4, 0x1A, 0x93, 0xD1,
  756. 0x56, 0x43, 0xD7, 0x18, 0x1D, 0x2A, 0x2E, 0xF0, 0xA8, 0xE8,
  757. 0x4D, 0x91, 0x81, 0x2F, 0x20, 0xED, 0x21, 0xF1, 0x47, 0xBE,
  758. 0xF7, 0x32, 0xBF, 0x3A, 0x60, 0xEF, 0x40, 0x67, 0xC3, 0x73,
  759. 0x4B, 0x85, 0xBC, 0x8C, 0xD4, 0x71, 0x78, 0x0F, 0x10, 0xDC,
  760. 0x9E, 0x82, 0x91, 0xB5, 0x83, 0x39, 0xA6, 0x77, 0xB9, 0x60,
  761. 0x21, 0x8F, 0x71, 0xE7, 0x93, 0xF2, 0x79, 0x7A, 0xEA, 0x34,
  762. 0x94, 0x06, 0x51, 0x28, 0x29, 0x06, 0x5D, 0x37, 0xBB, 0x55,
  763. 0xEA, 0x79, 0x6F, 0xA4, 0xF5, 0x6F, 0xD8, 0x89, 0x6B, 0x49,
  764. 0xB2, 0xCD, 0x19, 0xB4, 0x32, 0x15, 0xAD, 0x96, 0x7C, 0x71,
  765. 0x2B, 0x24, 0xE5, 0x03, 0x2D, 0x06, 0x52, 0x32, 0xE0, 0x2C,
  766. 0x12, 0x74, 0x09, 0xD2, 0xED, 0x41, 0x46, 0xB9, 0xD7, 0x5D,
  767. 0x76, 0x3D, 0x52, 0xDB, 0x98, 0xD9, 0x49, 0xD3, 0xB0, 0xFE,
  768. 0xD6, 0xA8, 0x05, 0x2F, 0xBB,
  769. };
  770. i = crypto_digest256(data, (const char*)keccak_kat_msg1080, 135,
  771. DIGEST_SHA3_256);
  772. test_memeq_hex(data, "A19EEE92BB2097B64E823D597798AA18"
  773. "BE9B7C736B8059ABFD6779AC35AC81B5");
  774. tt_int_op(i, OP_EQ, 0);
  775. i = crypto_digest512(data, (const char*)keccak_kat_msg1080, 135,
  776. DIGEST_SHA3_512);
  777. test_memeq_hex(data, "7575A1FB4FC9A8F9C0466BD5FCA496D1"
  778. "CB78696773A212A5F62D02D14E3259D1"
  779. "92A87EBA4407DD83893527331407B6DA"
  780. "DAAD920DBC46489B677493CE5F20B595");
  781. tt_int_op(i, OP_EQ, 0);
  782. /* Len = 1088, Msg = B32D95B0... ...8E380C04 (SHA3-256 rate) */
  783. const uint8_t keccak_kat_msg1088[] = {
  784. 0xB3, 0x2D, 0x95, 0xB0, 0xB9, 0xAA, 0xD2, 0xA8, 0x81, 0x6D,
  785. 0xE6, 0xD0, 0x6D, 0x1F, 0x86, 0x00, 0x85, 0x05, 0xBD, 0x8C,
  786. 0x14, 0x12, 0x4F, 0x6E, 0x9A, 0x16, 0x3B, 0x5A, 0x2A, 0xDE,
  787. 0x55, 0xF8, 0x35, 0xD0, 0xEC, 0x38, 0x80, 0xEF, 0x50, 0x70,
  788. 0x0D, 0x3B, 0x25, 0xE4, 0x2C, 0xC0, 0xAF, 0x05, 0x0C, 0xCD,
  789. 0x1B, 0xE5, 0xE5, 0x55, 0xB2, 0x30, 0x87, 0xE0, 0x4D, 0x7B,
  790. 0xF9, 0x81, 0x36, 0x22, 0x78, 0x0C, 0x73, 0x13, 0xA1, 0x95,
  791. 0x4F, 0x87, 0x40, 0xB6, 0xEE, 0x2D, 0x3F, 0x71, 0xF7, 0x68,
  792. 0xDD, 0x41, 0x7F, 0x52, 0x04, 0x82, 0xBD, 0x3A, 0x08, 0xD4,
  793. 0xF2, 0x22, 0xB4, 0xEE, 0x9D, 0xBD, 0x01, 0x54, 0x47, 0xB3,
  794. 0x35, 0x07, 0xDD, 0x50, 0xF3, 0xAB, 0x42, 0x47, 0xC5, 0xDE,
  795. 0x9A, 0x8A, 0xBD, 0x62, 0xA8, 0xDE, 0xCE, 0xA0, 0x1E, 0x3B,
  796. 0x87, 0xC8, 0xB9, 0x27, 0xF5, 0xB0, 0x8B, 0xEB, 0x37, 0x67,
  797. 0x4C, 0x6F, 0x8E, 0x38, 0x0C, 0x04,
  798. };
  799. i = crypto_digest256(data, (const char*)keccak_kat_msg1088, 136,
  800. DIGEST_SHA3_256);
  801. test_memeq_hex(data, "DF673F4105379FF6B755EEAB20CEB0DC"
  802. "77B5286364FE16C59CC8A907AFF07732");
  803. tt_int_op(i, OP_EQ, 0);
  804. i = crypto_digest512(data, (const char*)keccak_kat_msg1088, 136,
  805. DIGEST_SHA3_512);
  806. test_memeq_hex(data, "2E293765022D48996CE8EFF0BE54E87E"
  807. "FB94A14C72DE5ACD10D0EB5ECE029CAD"
  808. "FA3BA17A40B2FFA2163991B17786E51C"
  809. "ABA79E5E0FFD34CF085E2A098BE8BACB");
  810. tt_int_op(i, OP_EQ, 0);
  811. /* Len = 1096, Msg = 04410E310... ...601016A0D (SHA3-256 rate + 1) */
  812. const uint8_t keccak_kat_msg1096[] = {
  813. 0x04, 0x41, 0x0E, 0x31, 0x08, 0x2A, 0x47, 0x58, 0x4B, 0x40,
  814. 0x6F, 0x05, 0x13, 0x98, 0xA6, 0xAB, 0xE7, 0x4E, 0x4D, 0xA5,
  815. 0x9B, 0xB6, 0xF8, 0x5E, 0x6B, 0x49, 0xE8, 0xA1, 0xF7, 0xF2,
  816. 0xCA, 0x00, 0xDF, 0xBA, 0x54, 0x62, 0xC2, 0xCD, 0x2B, 0xFD,
  817. 0xE8, 0xB6, 0x4F, 0xB2, 0x1D, 0x70, 0xC0, 0x83, 0xF1, 0x13,
  818. 0x18, 0xB5, 0x6A, 0x52, 0xD0, 0x3B, 0x81, 0xCA, 0xC5, 0xEE,
  819. 0xC2, 0x9E, 0xB3, 0x1B, 0xD0, 0x07, 0x8B, 0x61, 0x56, 0x78,
  820. 0x6D, 0xA3, 0xD6, 0xD8, 0xC3, 0x30, 0x98, 0xC5, 0xC4, 0x7B,
  821. 0xB6, 0x7A, 0xC6, 0x4D, 0xB1, 0x41, 0x65, 0xAF, 0x65, 0xB4,
  822. 0x45, 0x44, 0xD8, 0x06, 0xDD, 0xE5, 0xF4, 0x87, 0xD5, 0x37,
  823. 0x3C, 0x7F, 0x97, 0x92, 0xC2, 0x99, 0xE9, 0x68, 0x6B, 0x7E,
  824. 0x58, 0x21, 0xE7, 0xC8, 0xE2, 0x45, 0x83, 0x15, 0xB9, 0x96,
  825. 0xB5, 0x67, 0x7D, 0x92, 0x6D, 0xAC, 0x57, 0xB3, 0xF2, 0x2D,
  826. 0xA8, 0x73, 0xC6, 0x01, 0x01, 0x6A, 0x0D,
  827. };
  828. i = crypto_digest256(data, (const char*)keccak_kat_msg1096, 137,
  829. DIGEST_SHA3_256);
  830. test_memeq_hex(data, "D52432CF3B6B4B949AA848E058DCD62D"
  831. "735E0177279222E7AC0AF8504762FAA0");
  832. tt_int_op(i, OP_EQ, 0);
  833. i = crypto_digest512(data, (const char*)keccak_kat_msg1096, 137,
  834. DIGEST_SHA3_512);
  835. test_memeq_hex(data, "BE8E14B6757FFE53C9B75F6DDE9A7B6C"
  836. "40474041DE83D4A60645A826D7AF1ABE"
  837. "1EEFCB7B74B62CA6A514E5F2697D585B"
  838. "FECECE12931BBE1D4ED7EBF7B0BE660E");
  839. tt_int_op(i, OP_EQ, 0);
  840. /* Len = 1144, Msg = EA40E83C... ...66DFAFEC (SHA3-512 rate *2 - 1) */
  841. const uint8_t keccak_kat_msg1144[] = {
  842. 0xEA, 0x40, 0xE8, 0x3C, 0xB1, 0x8B, 0x3A, 0x24, 0x2C, 0x1E,
  843. 0xCC, 0x6C, 0xCD, 0x0B, 0x78, 0x53, 0xA4, 0x39, 0xDA, 0xB2,
  844. 0xC5, 0x69, 0xCF, 0xC6, 0xDC, 0x38, 0xA1, 0x9F, 0x5C, 0x90,
  845. 0xAC, 0xBF, 0x76, 0xAE, 0xF9, 0xEA, 0x37, 0x42, 0xFF, 0x3B,
  846. 0x54, 0xEF, 0x7D, 0x36, 0xEB, 0x7C, 0xE4, 0xFF, 0x1C, 0x9A,
  847. 0xB3, 0xBC, 0x11, 0x9C, 0xFF, 0x6B, 0xE9, 0x3C, 0x03, 0xE2,
  848. 0x08, 0x78, 0x33, 0x35, 0xC0, 0xAB, 0x81, 0x37, 0xBE, 0x5B,
  849. 0x10, 0xCD, 0xC6, 0x6F, 0xF3, 0xF8, 0x9A, 0x1B, 0xDD, 0xC6,
  850. 0xA1, 0xEE, 0xD7, 0x4F, 0x50, 0x4C, 0xBE, 0x72, 0x90, 0x69,
  851. 0x0B, 0xB2, 0x95, 0xA8, 0x72, 0xB9, 0xE3, 0xFE, 0x2C, 0xEE,
  852. 0x9E, 0x6C, 0x67, 0xC4, 0x1D, 0xB8, 0xEF, 0xD7, 0xD8, 0x63,
  853. 0xCF, 0x10, 0xF8, 0x40, 0xFE, 0x61, 0x8E, 0x79, 0x36, 0xDA,
  854. 0x3D, 0xCA, 0x5C, 0xA6, 0xDF, 0x93, 0x3F, 0x24, 0xF6, 0x95,
  855. 0x4B, 0xA0, 0x80, 0x1A, 0x12, 0x94, 0xCD, 0x8D, 0x7E, 0x66,
  856. 0xDF, 0xAF, 0xEC,
  857. };
  858. i = crypto_digest512(data, (const char*)keccak_kat_msg1144, 143,
  859. DIGEST_SHA3_512);
  860. test_memeq_hex(data, "3A8E938C45F3F177991296B24565D9A6"
  861. "605516615D96A062C8BE53A0D6C5A648"
  862. "7BE35D2A8F3CF6620D0C2DBA2C560D68"
  863. "295F284BE7F82F3B92919033C9CE5D80");
  864. tt_int_op(i, OP_EQ, 0);
  865. i = crypto_digest256(data, (const char*)keccak_kat_msg1144, 143,
  866. DIGEST_SHA3_256);
  867. test_memeq_hex(data, "E58A947E98D6DD7E932D2FE02D9992E6"
  868. "118C0C2C606BDCDA06E7943D2C95E0E5");
  869. tt_int_op(i, OP_EQ, 0);
  870. /* Len = 1152, Msg = 157D5B7E... ...79EE00C63 (SHA3-512 rate * 2) */
  871. const uint8_t keccak_kat_msg1152[] = {
  872. 0x15, 0x7D, 0x5B, 0x7E, 0x45, 0x07, 0xF6, 0x6D, 0x9A, 0x26,
  873. 0x74, 0x76, 0xD3, 0x38, 0x31, 0xE7, 0xBB, 0x76, 0x8D, 0x4D,
  874. 0x04, 0xCC, 0x34, 0x38, 0xDA, 0x12, 0xF9, 0x01, 0x02, 0x63,
  875. 0xEA, 0x5F, 0xCA, 0xFB, 0xDE, 0x25, 0x79, 0xDB, 0x2F, 0x6B,
  876. 0x58, 0xF9, 0x11, 0xD5, 0x93, 0xD5, 0xF7, 0x9F, 0xB0, 0x5F,
  877. 0xE3, 0x59, 0x6E, 0x3F, 0xA8, 0x0F, 0xF2, 0xF7, 0x61, 0xD1,
  878. 0xB0, 0xE5, 0x70, 0x80, 0x05, 0x5C, 0x11, 0x8C, 0x53, 0xE5,
  879. 0x3C, 0xDB, 0x63, 0x05, 0x52, 0x61, 0xD7, 0xC9, 0xB2, 0xB3,
  880. 0x9B, 0xD9, 0x0A, 0xCC, 0x32, 0x52, 0x0C, 0xBB, 0xDB, 0xDA,
  881. 0x2C, 0x4F, 0xD8, 0x85, 0x6D, 0xBC, 0xEE, 0x17, 0x31, 0x32,
  882. 0xA2, 0x67, 0x91, 0x98, 0xDA, 0xF8, 0x30, 0x07, 0xA9, 0xB5,
  883. 0xC5, 0x15, 0x11, 0xAE, 0x49, 0x76, 0x6C, 0x79, 0x2A, 0x29,
  884. 0x52, 0x03, 0x88, 0x44, 0x4E, 0xBE, 0xFE, 0x28, 0x25, 0x6F,
  885. 0xB3, 0x3D, 0x42, 0x60, 0x43, 0x9C, 0xBA, 0x73, 0xA9, 0x47,
  886. 0x9E, 0xE0, 0x0C, 0x63,
  887. };
  888. i = crypto_digest512(data, (const char*)keccak_kat_msg1152, 144,
  889. DIGEST_SHA3_512);
  890. test_memeq_hex(data, "FE45289874879720CE2A844AE34BB735"
  891. "22775DCB6019DCD22B8885994672A088"
  892. "9C69E8115C641DC8B83E39F7311815A1"
  893. "64DC46E0BA2FCA344D86D4BC2EF2532C");
  894. tt_int_op(i, OP_EQ, 0);
  895. i = crypto_digest256(data, (const char*)keccak_kat_msg1152, 144,
  896. DIGEST_SHA3_256);
  897. test_memeq_hex(data, "A936FB9AF87FB67857B3EAD5C76226AD"
  898. "84DA47678F3C2FFE5A39FDB5F7E63FFB");
  899. tt_int_op(i, OP_EQ, 0);
  900. /* Len = 1160, Msg = 836B34B5... ...11044C53 (SHA3-512 rate * 2 + 1) */
  901. const uint8_t keccak_kat_msg1160[] = {
  902. 0x83, 0x6B, 0x34, 0xB5, 0x15, 0x47, 0x6F, 0x61, 0x3F, 0xE4,
  903. 0x47, 0xA4, 0xE0, 0xC3, 0xF3, 0xB8, 0xF2, 0x09, 0x10, 0xAC,
  904. 0x89, 0xA3, 0x97, 0x70, 0x55, 0xC9, 0x60, 0xD2, 0xD5, 0xD2,
  905. 0xB7, 0x2B, 0xD8, 0xAC, 0xC7, 0x15, 0xA9, 0x03, 0x53, 0x21,
  906. 0xB8, 0x67, 0x03, 0xA4, 0x11, 0xDD, 0xE0, 0x46, 0x6D, 0x58,
  907. 0xA5, 0x97, 0x69, 0x67, 0x2A, 0xA6, 0x0A, 0xD5, 0x87, 0xB8,
  908. 0x48, 0x1D, 0xE4, 0xBB, 0xA5, 0x52, 0xA1, 0x64, 0x57, 0x79,
  909. 0x78, 0x95, 0x01, 0xEC, 0x53, 0xD5, 0x40, 0xB9, 0x04, 0x82,
  910. 0x1F, 0x32, 0xB0, 0xBD, 0x18, 0x55, 0xB0, 0x4E, 0x48, 0x48,
  911. 0xF9, 0xF8, 0xCF, 0xE9, 0xEB, 0xD8, 0x91, 0x1B, 0xE9, 0x57,
  912. 0x81, 0xA7, 0x59, 0xD7, 0xAD, 0x97, 0x24, 0xA7, 0x10, 0x2D,
  913. 0xBE, 0x57, 0x67, 0x76, 0xB7, 0xC6, 0x32, 0xBC, 0x39, 0xB9,
  914. 0xB5, 0xE1, 0x90, 0x57, 0xE2, 0x26, 0x55, 0x2A, 0x59, 0x94,
  915. 0xC1, 0xDB, 0xB3, 0xB5, 0xC7, 0x87, 0x1A, 0x11, 0xF5, 0x53,
  916. 0x70, 0x11, 0x04, 0x4C, 0x53,
  917. };
  918. i = crypto_digest512(data, (const char*)keccak_kat_msg1160, 145,
  919. DIGEST_SHA3_512);
  920. test_memeq_hex(data, "AFF61C6E11B98E55AC213B1A0BC7DE04"
  921. "05221AC5EFB1229842E4614F4A029C9B"
  922. "D14A0ED7FD99AF3681429F3F309FDB53"
  923. "166AA9A3CD9F1F1223D04B4A9015E94A");
  924. tt_int_op(i, OP_EQ, 0);
  925. i = crypto_digest256(data, (const char*)keccak_kat_msg1160, 145,
  926. DIGEST_SHA3_256);
  927. test_memeq_hex(data, "3A654B88F88086C2751EDAE6D3924814"
  928. "3CF6235C6B0B7969342C45A35194B67E");
  929. tt_int_op(i, OP_EQ, 0);
  930. /* SHA3-[256,512] Empty case (wikipedia) */
  931. i = crypto_digest256(data, "", 0, DIGEST_SHA3_256);
  932. test_memeq_hex(data, "a7ffc6f8bf1ed76651c14756a061d662"
  933. "f580ff4de43b49fa82d80a4b80f8434a");
  934. tt_int_op(i, OP_EQ, 0);
  935. i = crypto_digest512(data, "", 0, DIGEST_SHA3_512);
  936. test_memeq_hex(data, "a69f73cca23a9ac5c8b567dc185a756e"
  937. "97c982164fe25859e0d1dcc1475c80a6"
  938. "15b2123af1f5f94c11e3e9402c3ac558"
  939. "f500199d95b6d3e301758586281dcd26");
  940. tt_int_op(i, OP_EQ, 0);
  941. /* Incremental digest code with SHA3-256 */
  942. d1 = crypto_digest256_new(DIGEST_SHA3_256);
  943. tt_assert(d1);
  944. crypto_digest_add_bytes(d1, "abcdef", 6);
  945. d2 = crypto_digest_dup(d1);
  946. tt_assert(d2);
  947. crypto_digest_add_bytes(d2, "ghijkl", 6);
  948. crypto_digest_get_digest(d2, d_out1, DIGEST256_LEN);
  949. crypto_digest256(d_out2, "abcdefghijkl", 12, DIGEST_SHA3_256);
  950. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST256_LEN);
  951. crypto_digest_assign(d2, d1);
  952. crypto_digest_add_bytes(d2, "mno", 3);
  953. crypto_digest_get_digest(d2, d_out1, DIGEST256_LEN);
  954. crypto_digest256(d_out2, "abcdefmno", 9, DIGEST_SHA3_256);
  955. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST256_LEN);
  956. crypto_digest_get_digest(d1, d_out1, DIGEST256_LEN);
  957. crypto_digest256(d_out2, "abcdef", 6, DIGEST_SHA3_256);
  958. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST256_LEN);
  959. crypto_digest_free(d1);
  960. crypto_digest_free(d2);
  961. /* Incremental digest code with SHA3-512 */
  962. d1 = crypto_digest512_new(DIGEST_SHA3_512);
  963. tt_assert(d1);
  964. crypto_digest_add_bytes(d1, "abcdef", 6);
  965. d2 = crypto_digest_dup(d1);
  966. tt_assert(d2);
  967. crypto_digest_add_bytes(d2, "ghijkl", 6);
  968. crypto_digest_get_digest(d2, d_out1, DIGEST512_LEN);
  969. crypto_digest512(d_out2, "abcdefghijkl", 12, DIGEST_SHA3_512);
  970. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST512_LEN);
  971. crypto_digest_assign(d2, d1);
  972. crypto_digest_add_bytes(d2, "mno", 3);
  973. crypto_digest_get_digest(d2, d_out1, DIGEST512_LEN);
  974. crypto_digest512(d_out2, "abcdefmno", 9, DIGEST_SHA3_512);
  975. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST512_LEN);
  976. crypto_digest_get_digest(d1, d_out1, DIGEST512_LEN);
  977. crypto_digest512(d_out2, "abcdef", 6, DIGEST_SHA3_512);
  978. tt_mem_op(d_out1,OP_EQ, d_out2, DIGEST512_LEN);
  979. crypto_digest_free(d1);
  980. /* Attempt to exercise the incremental hashing code by creating a randomized
  981. * 30 KiB buffer, and hashing rand[1, 5 * Rate] bytes at a time. SHA3-512
  982. * is used because it has a lowest rate of the family (the code is common,
  983. * but the slower rate exercises more of it).
  984. */
  985. const size_t bufsz = 30 * 1024;
  986. size_t j = 0;
  987. large = tor_malloc(bufsz);
  988. crypto_rand(large, bufsz);
  989. d1 = crypto_digest512_new(DIGEST_SHA3_512); /* Running digest. */
  990. while (j < bufsz) {
  991. /* Pick how much data to add to the running digest. */
  992. size_t incr = (size_t)crypto_rand_int_range(1, 72 * 5);
  993. incr = MIN(bufsz - j, incr);
  994. /* Add the data, and calculate the hash. */
  995. crypto_digest_add_bytes(d1, large + j, incr);
  996. crypto_digest_get_digest(d1, d_out1, DIGEST512_LEN);
  997. /* One-shot hash the buffer up to the data that was just added,
  998. * and ensure that the values match up.
  999. *
  1000. * XXX/yawning: If this actually fails, it'll be rather difficult to
  1001. * reproduce. Improvements welcome.
  1002. */
  1003. i = crypto_digest512(d_out2, large, j + incr, DIGEST_SHA3_512);
  1004. tt_int_op(i, OP_EQ, 0);
  1005. tt_mem_op(d_out1, OP_EQ, d_out2, DIGEST512_LEN);
  1006. j += incr;
  1007. }
  1008. done:
  1009. if (d1)
  1010. crypto_digest_free(d1);
  1011. if (d2)
  1012. crypto_digest_free(d2);
  1013. tor_free(large);
  1014. tor_free(mem_op_hex_tmp);
  1015. }
  1016. /** Run unit tests for our XOF. */
  1017. static void
  1018. test_crypto_sha3_xof(void *arg)
  1019. {
  1020. uint8_t msg[255];
  1021. uint8_t out[512];
  1022. crypto_xof_t *xof;
  1023. char *mem_op_hex_tmp=NULL;
  1024. (void)arg;
  1025. /* SHAKE256 test vector (Len = 2040) from the Keccak Code Package. */
  1026. base16_decode((char *)msg, 255,
  1027. "3A3A819C48EFDE2AD914FBF00E18AB6BC4F14513AB27D0C178A188B61431"
  1028. "E7F5623CB66B23346775D386B50E982C493ADBBFC54B9A3CD383382336A1"
  1029. "A0B2150A15358F336D03AE18F666C7573D55C4FD181C29E6CCFDE63EA35F"
  1030. "0ADF5885CFC0A3D84A2B2E4DD24496DB789E663170CEF74798AA1BBCD457"
  1031. "4EA0BBA40489D764B2F83AADC66B148B4A0CD95246C127D5871C4F114186"
  1032. "90A5DDF01246A0C80A43C70088B6183639DCFDA4125BD113A8F49EE23ED3"
  1033. "06FAAC576C3FB0C1E256671D817FC2534A52F5B439F72E424DE376F4C565"
  1034. "CCA82307DD9EF76DA5B7C4EB7E085172E328807C02D011FFBF33785378D7"
  1035. "9DC266F6A5BE6BB0E4A92ECEEBAEB1", 510);
  1036. const char *squeezed_hex =
  1037. "8A5199B4A7E133E264A86202720655894D48CFF344A928CF8347F48379CE"
  1038. "F347DFC5BCFFAB99B27B1F89AA2735E23D30088FFA03B9EDB02B9635470A"
  1039. "B9F1038985D55F9CA774572DD006470EA65145469609F9FA0831BF1FFD84"
  1040. "2DC24ACADE27BD9816E3B5BF2876CB112232A0EB4475F1DFF9F5C713D9FF"
  1041. "D4CCB89AE5607FE35731DF06317949EEF646E9591CF3BE53ADD6B7DD2B60"
  1042. "96E2B3FB06E662EC8B2D77422DAAD9463CD155204ACDBD38E319613F39F9"
  1043. "9B6DFB35CA9365160066DB19835888C2241FF9A731A4ACBB5663727AAC34"
  1044. "A401247FBAA7499E7D5EE5B69D31025E63D04C35C798BCA1262D5673A9CF"
  1045. "0930B5AD89BD485599DC184528DA4790F088EBD170B635D9581632D2FF90"
  1046. "DB79665CED430089AF13C9F21F6D443A818064F17AEC9E9C5457001FA8DC"
  1047. "6AFBADBE3138F388D89D0E6F22F66671255B210754ED63D81DCE75CE8F18"
  1048. "9B534E6D6B3539AA51E837C42DF9DF59C71E6171CD4902FE1BDC73FB1775"
  1049. "B5C754A1ED4EA7F3105FC543EE0418DAD256F3F6118EA77114A16C15355B"
  1050. "42877A1DB2A7DF0E155AE1D8670ABCEC3450F4E2EEC9838F895423EF63D2"
  1051. "61138BAAF5D9F104CB5A957AEA06C0B9B8C78B0D441796DC0350DDEABB78"
  1052. "A33B6F1F9E68EDE3D1805C7B7E2CFD54E0FAD62F0D8CA67A775DC4546AF9"
  1053. "096F2EDB221DB42843D65327861282DC946A0BA01A11863AB2D1DFD16E39"
  1054. "73D4";
  1055. /* Test oneshot absorb/squeeze. */
  1056. xof = crypto_xof_new();
  1057. tt_assert(xof);
  1058. crypto_xof_add_bytes(xof, msg, sizeof(msg));
  1059. crypto_xof_squeeze_bytes(xof, out, sizeof(out));
  1060. test_memeq_hex(out, squeezed_hex);
  1061. crypto_xof_free(xof);
  1062. memset(out, 0, sizeof(out));
  1063. /* Test incremental absorb/squeeze. */
  1064. xof = crypto_xof_new();
  1065. tt_assert(xof);
  1066. for (size_t i = 0; i < sizeof(msg); i++)
  1067. crypto_xof_add_bytes(xof, msg + i, 1);
  1068. for (size_t i = 0; i < sizeof(out); i++)
  1069. crypto_xof_squeeze_bytes(xof, out + i, 1);
  1070. test_memeq_hex(out, squeezed_hex);
  1071. done:
  1072. if (xof)
  1073. crypto_xof_free(xof);
  1074. tor_free(mem_op_hex_tmp);
  1075. }
  1076. /* Test our MAC-SHA3 function. There are not actually any MAC-SHA3 test
  1077. * vectors out there for our H(len(k) || k || m) construction. Hence what we
  1078. * are gonna do is test our crypto_mac_sha3_256() function against manually
  1079. * doing H(len(k) || k||m). If in the future the Keccak group decides to
  1080. * standarize an MAC construction and make test vectors, we should
  1081. * incorporate them here. */
  1082. static void
  1083. test_crypto_mac_sha3(void *arg)
  1084. {
  1085. const char msg[] = "i am in a library somewhere using my computer";
  1086. const char key[] = "i'm from the past talking to the future.";
  1087. uint8_t hmac_test[DIGEST256_LEN];
  1088. char hmac_manual[DIGEST256_LEN];
  1089. (void) arg;
  1090. /* First let's use our nice HMAC-SHA3 function */
  1091. crypto_mac_sha3_256(hmac_test, sizeof(hmac_test),
  1092. (uint8_t *) key, strlen(key),
  1093. (uint8_t *) msg, strlen(msg));
  1094. /* Now let's try a manual H(len(k) || k || m) construction */
  1095. {
  1096. char *key_msg_concat = NULL, *all = NULL;
  1097. int result;
  1098. const uint64_t key_len_netorder = tor_htonll(strlen(key));
  1099. size_t all_len;
  1100. tor_asprintf(&key_msg_concat, "%s%s", key, msg);
  1101. all_len = sizeof(key_len_netorder) + strlen(key_msg_concat);
  1102. all = tor_malloc_zero(all_len);
  1103. memcpy(all, &key_len_netorder, sizeof(key_len_netorder));
  1104. memcpy(all + sizeof(key_len_netorder), key_msg_concat,
  1105. strlen(key_msg_concat));
  1106. result = crypto_digest256(hmac_manual, all, all_len, DIGEST_SHA3_256);
  1107. tor_free(key_msg_concat);
  1108. tor_free(all);
  1109. tt_int_op(result, OP_EQ, 0);
  1110. }
  1111. /* Now compare the two results */
  1112. tt_mem_op(hmac_test, OP_EQ, hmac_manual, DIGEST256_LEN);
  1113. done: ;
  1114. }
  1115. /** Run unit tests for our public key crypto functions */
  1116. static void
  1117. test_crypto_pk(void *arg)
  1118. {
  1119. crypto_pk_t *pk1 = NULL, *pk2 = NULL;
  1120. char *encoded = NULL;
  1121. char data1[1024], data2[1024], data3[1024];
  1122. size_t size;
  1123. int i, len;
  1124. /* Public-key ciphers */
  1125. (void)arg;
  1126. pk1 = pk_generate(0);
  1127. pk2 = crypto_pk_new();
  1128. tt_assert(pk1 && pk2);
  1129. tt_assert(! crypto_pk_write_public_key_to_string(pk1, &encoded, &size));
  1130. tt_assert(! crypto_pk_read_public_key_from_string(pk2, encoded, size));
  1131. tt_int_op(0,OP_EQ, crypto_pk_cmp_keys(pk1, pk2));
  1132. /* comparison between keys and NULL */
  1133. tt_int_op(crypto_pk_cmp_keys(NULL, pk1), OP_LT, 0);
  1134. tt_int_op(crypto_pk_cmp_keys(NULL, NULL), OP_EQ, 0);
  1135. tt_int_op(crypto_pk_cmp_keys(pk1, NULL), OP_GT, 0);
  1136. tt_int_op(128,OP_EQ, crypto_pk_keysize(pk1));
  1137. tt_int_op(1024,OP_EQ, crypto_pk_num_bits(pk1));
  1138. tt_int_op(128,OP_EQ, crypto_pk_keysize(pk2));
  1139. tt_int_op(1024,OP_EQ, crypto_pk_num_bits(pk2));
  1140. tt_int_op(128,OP_EQ, crypto_pk_public_encrypt(pk2, data1, sizeof(data1),
  1141. "Hello whirled.", 15,
  1142. PK_PKCS1_OAEP_PADDING));
  1143. tt_int_op(128,OP_EQ, crypto_pk_public_encrypt(pk1, data2, sizeof(data1),
  1144. "Hello whirled.", 15,
  1145. PK_PKCS1_OAEP_PADDING));
  1146. /* oaep padding should make encryption not match */
  1147. tt_mem_op(data1,OP_NE, data2, 128);
  1148. tt_int_op(15,OP_EQ,
  1149. crypto_pk_private_decrypt(pk1, data3, sizeof(data3), data1, 128,
  1150. PK_PKCS1_OAEP_PADDING,1));
  1151. tt_str_op(data3,OP_EQ, "Hello whirled.");
  1152. memset(data3, 0, 1024);
  1153. tt_int_op(15,OP_EQ,
  1154. crypto_pk_private_decrypt(pk1, data3, sizeof(data3), data2, 128,
  1155. PK_PKCS1_OAEP_PADDING,1));
  1156. tt_str_op(data3,OP_EQ, "Hello whirled.");
  1157. /* Can't decrypt with public key. */
  1158. tt_int_op(-1,OP_EQ,
  1159. crypto_pk_private_decrypt(pk2, data3, sizeof(data3), data2, 128,
  1160. PK_PKCS1_OAEP_PADDING,1));
  1161. /* Try again with bad padding */
  1162. memcpy(data2+1, "XYZZY", 5); /* This has fails ~ once-in-2^40 */
  1163. tt_int_op(-1,OP_EQ,
  1164. crypto_pk_private_decrypt(pk1, data3, sizeof(data3), data2, 128,
  1165. PK_PKCS1_OAEP_PADDING,1));
  1166. /* File operations: save and load private key */
  1167. tt_assert(! crypto_pk_write_private_key_to_filename(pk1,
  1168. get_fname("pkey1")));
  1169. /* failing case for read: can't read. */
  1170. tt_int_op(crypto_pk_read_private_key_from_filename(pk2, get_fname("xyzzy")),
  1171. OP_LT, 0);
  1172. write_str_to_file(get_fname("xyzzy"), "foobar", 6);
  1173. /* Failing case for read: no key. */
  1174. tt_int_op(crypto_pk_read_private_key_from_filename(pk2, get_fname("xyzzy")),
  1175. OP_LT, 0);
  1176. tt_assert(! crypto_pk_read_private_key_from_filename(pk2,
  1177. get_fname("pkey1")));
  1178. tt_int_op(15,OP_EQ,
  1179. crypto_pk_private_decrypt(pk2, data3, sizeof(data3), data1, 128,
  1180. PK_PKCS1_OAEP_PADDING,1));
  1181. /* Now try signing. */
  1182. strlcpy(data1, "Ossifrage", 1024);
  1183. tt_int_op(128,OP_EQ,
  1184. crypto_pk_private_sign(pk1, data2, sizeof(data2), data1, 10));
  1185. tt_int_op(10,OP_EQ,
  1186. crypto_pk_public_checksig(pk1, data3, sizeof(data3), data2, 128));
  1187. tt_str_op(data3,OP_EQ, "Ossifrage");
  1188. /* Try signing digests. */
  1189. tt_int_op(128,OP_EQ, crypto_pk_private_sign_digest(pk1, data2, sizeof(data2),
  1190. data1, 10));
  1191. tt_int_op(20,OP_EQ,
  1192. crypto_pk_public_checksig(pk1, data3, sizeof(data3), data2, 128));
  1193. tt_int_op(0,OP_EQ,
  1194. crypto_pk_public_checksig_digest(pk1, data1, 10, data2, 128));
  1195. tt_int_op(-1,OP_EQ,
  1196. crypto_pk_public_checksig_digest(pk1, data1, 11, data2, 128));
  1197. /*XXXX test failed signing*/
  1198. /* Try encoding */
  1199. crypto_pk_free(pk2);
  1200. pk2 = NULL;
  1201. i = crypto_pk_asn1_encode(pk1, data1, 1024);
  1202. tt_int_op(i, OP_GT, 0);
  1203. pk2 = crypto_pk_asn1_decode(data1, i);
  1204. tt_int_op(crypto_pk_cmp_keys(pk1, pk2), OP_EQ, 0);
  1205. /* Try with hybrid encryption wrappers. */
  1206. crypto_rand(data1, 1024);
  1207. for (i = 85; i < 140; ++i) {
  1208. memset(data2,0,1024);
  1209. memset(data3,0,1024);
  1210. len = crypto_pk_obsolete_public_hybrid_encrypt(pk1,data2,sizeof(data2),
  1211. data1,i,PK_PKCS1_OAEP_PADDING,0);
  1212. tt_int_op(len, OP_GE, 0);
  1213. len = crypto_pk_obsolete_private_hybrid_decrypt(pk1,data3,sizeof(data3),
  1214. data2,len,PK_PKCS1_OAEP_PADDING,1);
  1215. tt_int_op(len,OP_EQ, i);
  1216. tt_mem_op(data1,OP_EQ, data3,i);
  1217. }
  1218. /* Try copy_full */
  1219. crypto_pk_free(pk2);
  1220. pk2 = crypto_pk_copy_full(pk1);
  1221. tt_ptr_op(pk2, OP_NE, NULL);
  1222. tt_ptr_op(pk1, OP_NE, pk2);
  1223. tt_int_op(crypto_pk_cmp_keys(pk1, pk2), OP_EQ, 0);
  1224. done:
  1225. if (pk1)
  1226. crypto_pk_free(pk1);
  1227. if (pk2)
  1228. crypto_pk_free(pk2);
  1229. tor_free(encoded);
  1230. }
  1231. static void
  1232. test_crypto_pk_fingerprints(void *arg)
  1233. {
  1234. crypto_pk_t *pk = NULL;
  1235. char encoded[512];
  1236. char d[DIGEST_LEN], d2[DIGEST_LEN];
  1237. char fingerprint[FINGERPRINT_LEN+1];
  1238. int n;
  1239. unsigned i;
  1240. char *mem_op_hex_tmp=NULL;
  1241. (void)arg;
  1242. pk = pk_generate(1);
  1243. tt_assert(pk);
  1244. n = crypto_pk_asn1_encode(pk, encoded, sizeof(encoded));
  1245. tt_int_op(n, OP_GT, 0);
  1246. tt_int_op(n, OP_GT, 128);
  1247. tt_int_op(n, OP_LT, 256);
  1248. /* Is digest as expected? */
  1249. crypto_digest(d, encoded, n);
  1250. tt_int_op(0, OP_EQ, crypto_pk_get_digest(pk, d2));
  1251. tt_mem_op(d,OP_EQ, d2, DIGEST_LEN);
  1252. /* Is fingerprint right? */
  1253. tt_int_op(0, OP_EQ, crypto_pk_get_fingerprint(pk, fingerprint, 0));
  1254. tt_int_op(strlen(fingerprint), OP_EQ, DIGEST_LEN * 2);
  1255. test_memeq_hex(d, fingerprint);
  1256. /* Are spaces right? */
  1257. tt_int_op(0, OP_EQ, crypto_pk_get_fingerprint(pk, fingerprint, 1));
  1258. for (i = 4; i < strlen(fingerprint); i += 5) {
  1259. tt_int_op(fingerprint[i], OP_EQ, ' ');
  1260. }
  1261. tor_strstrip(fingerprint, " ");
  1262. tt_int_op(strlen(fingerprint), OP_EQ, DIGEST_LEN * 2);
  1263. test_memeq_hex(d, fingerprint);
  1264. /* Now hash again and check crypto_pk_get_hashed_fingerprint. */
  1265. crypto_digest(d2, d, sizeof(d));
  1266. tt_int_op(0, OP_EQ, crypto_pk_get_hashed_fingerprint(pk, fingerprint));
  1267. tt_int_op(strlen(fingerprint), OP_EQ, DIGEST_LEN * 2);
  1268. test_memeq_hex(d2, fingerprint);
  1269. done:
  1270. crypto_pk_free(pk);
  1271. tor_free(mem_op_hex_tmp);
  1272. }
  1273. static void
  1274. test_crypto_pk_base64(void *arg)
  1275. {
  1276. crypto_pk_t *pk1 = NULL;
  1277. crypto_pk_t *pk2 = NULL;
  1278. char *encoded = NULL;
  1279. (void)arg;
  1280. /* Test Base64 encoding a key. */
  1281. pk1 = pk_generate(0);
  1282. tt_assert(pk1);
  1283. tt_int_op(0, OP_EQ, crypto_pk_base64_encode_private(pk1, &encoded));
  1284. tt_assert(encoded);
  1285. /* Test decoding a valid key. */
  1286. pk2 = crypto_pk_base64_decode_private(encoded, strlen(encoded));
  1287. tt_assert(pk2);
  1288. tt_int_op(crypto_pk_cmp_keys(pk1, pk2), OP_EQ, 0);
  1289. crypto_pk_free(pk2);
  1290. /* Test decoding a invalid key (not Base64). */
  1291. static const char *invalid_b64 = "The key is in another castle!";
  1292. pk2 = crypto_pk_base64_decode_private(invalid_b64, strlen(invalid_b64));
  1293. tt_ptr_op(pk2, OP_EQ, NULL);
  1294. /* Test decoding a truncated Base64 blob. */
  1295. pk2 = crypto_pk_base64_decode_private(encoded, strlen(encoded)/2);
  1296. tt_ptr_op(pk2, OP_EQ, NULL);
  1297. done:
  1298. crypto_pk_free(pk1);
  1299. crypto_pk_free(pk2);
  1300. tor_free(encoded);
  1301. }
  1302. static void
  1303. test_crypto_pk_pem_encrypted(void *arg)
  1304. {
  1305. crypto_pk_t *pk = NULL;
  1306. (void)arg;
  1307. pk = crypto_pk_new();
  1308. /* we need to make sure that we won't stall if somebody gives us a key
  1309. that's encrypted with a password. */
  1310. {
  1311. const char *s =
  1312. "-----BEGIN RSA PRIVATE KEY-----\n"
  1313. "Proc-Type: 4,ENCRYPTED\n"
  1314. "DEK-Info: AES-128-CBC,EFA86BB9D2AB11E80B4E3DCD97782B16\n"
  1315. "\n"
  1316. "Z2Je4m0cFepc6coQkVbGcvNCHxTf941N2XYEVE6kn0CqWqoUH4tlwV6for5D91np\n"
  1317. "5NiEFTkWj31EhrvrYcuiJtQ/iEbABxZULFWFeJ058rb+1izBz5rScqnEacIS/3Go\n"
  1318. "YntnROBDwiKmUnue6PJVYg==\n"
  1319. "-----END RSA PRIVATE KEY-----\n";
  1320. tt_int_op(-1, OP_EQ,
  1321. crypto_pk_read_private_key_from_string(pk, s, strlen(s)));
  1322. }
  1323. /* For fun, make sure we aren't hit by OpenSSL issue
  1324. https://github.com/openssl/openssl/issues/6347 , where we get in trouble
  1325. if a cipher doesn't use an IV.
  1326. */
  1327. {
  1328. const char *s =
  1329. "-----BEGIN RSA PUBLIC KEY-----\n"
  1330. "Proc-Type:4,ENCRYPTED\n"
  1331. "DEK-Info:des-ede -\n"
  1332. "\n"
  1333. "iRqK\n"
  1334. "-----END RSA PUBLIC KEY-----\n";
  1335. tt_int_op(-1, OP_EQ,
  1336. crypto_pk_read_public_key_from_string(pk, s, strlen(s)));
  1337. }
  1338. done:
  1339. crypto_pk_free(pk);
  1340. }
  1341. static void
  1342. test_crypto_pk_invalid_private_key(void *arg)
  1343. {
  1344. (void)arg;
  1345. /* Here is a simple invalid private key: it was produced by making
  1346. * a regular private key, and then adding 2 to the modulus. */
  1347. const char pem[] =
  1348. "-----BEGIN RSA PRIVATE KEY-----\n"
  1349. "MIIEpQIBAAKCAQEAskRyZrs+YAukvBmZlgo6/rCxyKF2xyUk073ap+2CgRUnSfGG\n"
  1350. "mflHlzqVq7tpH50DafpS+fFAbaEaNV/ac20QG0rUZi38HTB4qURWOu6n0Bws6E4l\n"
  1351. "UX/AkvDlWnuYH0pHHi2c3DGNFjwoJpjKuUTk+cRffVR8X3Kjr62SUDUaBNW0Kecz\n"
  1352. "3SYLbmgmZI16dFZ+g9sNM3znXZbhvb33WwPqpZSSPs37cPgF7eS6mAw/gUMx6zfE\n"
  1353. "HRmUnOQSzUdS05rvc/hsiCLhiIZ8hgfkD07XnTT1Ds8DwE55k7BUWY2wvwWCNLsH\n"
  1354. "qtqAxTr615XdkMxVkYgImpqPybarpfNYhFqkOwIDAQABAoIBACPC3VxEdbfYvhxJ\n"
  1355. "2mih9sG++nswAN7kUaX0cRe86rAwaShJPmJHApiQ1ROVTfpciiHJaLnhLraPWe2Z\n"
  1356. "I/6Bw3hmI4O399p3Lc1u+wlpdNqnvE6B1rSptx0DHE9xecvVH70rE0uM2Su7t6Y+\n"
  1357. "gnR2IKUGQs2mlCilm7aTUEWs0WJkkl4CG1dyxItuOSdNBjOEzXimJyiB10jEBFsp\n"
  1358. "SZeCF2FZ7AJbck5CVC42+oTsiDbZrHTHOn7v26rFGdONeHD1wOI1v7JwHFpCB923\n"
  1359. "aEHBzsPbMeq7DWG1rjzCYpcXHhTDBDBWSia4SEhyr2Nl7m7qxWWWwR+x4dqAj3rD\n"
  1360. "HeTmos0CgYEA6uf1CLpjPpOs5IaW1DQI8dJA/xFEAC/6GVgq4nFOGHZrm8G3L5o+\n"
  1361. "qvtQNMpDs2naWuZpqROFqv24o01DykHygR72GlPIY6uvmmf5tvJLoGnbFUay33L4\n"
  1362. "7b9dkNhuEIBNPzVDie0pgS77WgaPbYkVv5fnDwgPuVnkqfakEt7Pz2MCgYEAwkZ5\n"
  1363. "R1wLuTQEA2Poo6Gf4L8Bg6yNYI46LHDqDIs818iYLjtcnEEvbPfaoKNpOn7s7s4O\n"
  1364. "Pc+4HnT1aIQs0IKVLRTp+5a/9wfOkPZnobWOUHZk9UzBL3Hc1uy/qhp93iE3tSzx\n"
  1365. "v0O1pvR+hr3guTCZx8wZnDvaMgG3hlyPnVlHdrMCgYEAzQQxGbMC1ySv6quEjCP2\n"
  1366. "AogMbhE1lixJTUFj/EoDbNo9xKznIkauly/Lqqc1OysRhfA/G2+MY9YZBX1zwtyX\n"
  1367. "uBW7mPKynDrFgi9pBECnvJNmwET57Ic9ttIj6Tzbos83nAjyrzgr1zGX8dRz7ZeN\n"
  1368. "QbBj2vygLJbGOYinXkjUeh0CgYEAhN5aF9n2EqZmkEMGWtMxWy6HRJ0A3Cap1rcq\n"
  1369. "+4VHCXWhzwy+XAeg/e/N0MuyLlWcif7XcqLcE8h+BwtO8xQ8HmcNWApUJAls12wO\n"
  1370. "mGRpftJaXgIupdpD5aJpu1b++qrRRNIGTH9sf1D8L/8w8LcylZkbcuTkaAsQj45C\n"
  1371. "kqT64U0CgYEAq47IKS6xc3CDc17BqExR6t+1yRe+4ml+z1zcVbfUKony4pGvl1yo\n"
  1372. "rk0IYDN5Vd8h5xtXrkPdX9h+ywmohnelDKsayEuE+opyqEpSU4/96Bb22RZUoucb\n"
  1373. "LWkV5gZx5hFnDFtEd4vadMIiY4jVv/3JqiZDKwMVBJKlHRXJEEmIEBk=\n"
  1374. "-----END RSA PRIVATE KEY-----\n";
  1375. crypto_pk_t *pk = NULL;
  1376. pk = crypto_pk_new();
  1377. setup_capture_of_logs(LOG_WARN);
  1378. tt_int_op(-1, OP_EQ,
  1379. crypto_pk_read_private_key_from_string(pk, pem, strlen(pem)));
  1380. #ifdef ENABLE_NSS
  1381. expect_single_log_msg_containing("received bad data");
  1382. #else
  1383. expect_single_log_msg_containing("while checking RSA key");
  1384. #endif
  1385. done:
  1386. teardown_capture_of_logs();
  1387. crypto_pk_free(pk);
  1388. }
  1389. #ifdef HAVE_TRUNCATE
  1390. #define do_truncate truncate
  1391. #else
  1392. static int
  1393. do_truncate(const char *fname, size_t len)
  1394. {
  1395. struct stat st;
  1396. char *bytes;
  1397. bytes = read_file_to_str(fname, RFTS_BIN, &st);
  1398. if (!bytes)
  1399. return -1;
  1400. /* This cast isn't so great, but it should be safe given the actual files
  1401. * and lengths we're using. */
  1402. if (st.st_size < (off_t)len)
  1403. len = MIN(len, (size_t)st.st_size);
  1404. int r = write_bytes_to_file(fname, bytes, len, 1);
  1405. tor_free(bytes);
  1406. return r;
  1407. }
  1408. #endif /* defined(HAVE_TRUNCATE) */
  1409. /** Sanity check for crypto pk digests */
  1410. static void
  1411. test_crypto_digests(void *arg)
  1412. {
  1413. crypto_pk_t *k = NULL;
  1414. ssize_t r;
  1415. common_digests_t pkey_digests;
  1416. char digest[DIGEST_LEN];
  1417. (void)arg;
  1418. k = crypto_pk_new();
  1419. tt_assert(k);
  1420. r = crypto_pk_read_private_key_from_string(k, AUTHORITY_SIGNKEY_3,
  1421. strlen(AUTHORITY_SIGNKEY_3));
  1422. tt_assert(!r);
  1423. r = crypto_pk_get_digest(k, digest);
  1424. tt_assert(r == 0);
  1425. tt_mem_op(hex_str(digest, DIGEST_LEN),OP_EQ,
  1426. AUTHORITY_SIGNKEY_A_DIGEST, HEX_DIGEST_LEN);
  1427. r = crypto_pk_get_common_digests(k, &pkey_digests);
  1428. tt_int_op(r, OP_EQ, 0);
  1429. tt_mem_op(hex_str(pkey_digests.d[DIGEST_SHA1], DIGEST_LEN),OP_EQ,
  1430. AUTHORITY_SIGNKEY_A_DIGEST, HEX_DIGEST_LEN);
  1431. tt_mem_op(hex_str(pkey_digests.d[DIGEST_SHA256], DIGEST256_LEN),OP_EQ,
  1432. AUTHORITY_SIGNKEY_A_DIGEST256, HEX_DIGEST256_LEN);
  1433. done:
  1434. crypto_pk_free(k);
  1435. }
  1436. static void
  1437. test_crypto_digest_names(void *arg)
  1438. {
  1439. static const struct {
  1440. int a; const char *n;
  1441. } names[] = {
  1442. { DIGEST_SHA1, "sha1" },
  1443. { DIGEST_SHA256, "sha256" },
  1444. { DIGEST_SHA512, "sha512" },
  1445. { DIGEST_SHA3_256, "sha3-256" },
  1446. { DIGEST_SHA3_512, "sha3-512" },
  1447. { -1, NULL }
  1448. };
  1449. (void)arg;
  1450. int i;
  1451. for (i = 0; names[i].n; ++i) {
  1452. tt_str_op(names[i].n, OP_EQ,crypto_digest_algorithm_get_name(names[i].a));
  1453. tt_int_op(names[i].a,
  1454. OP_EQ,crypto_digest_algorithm_parse_name(names[i].n));
  1455. }
  1456. tt_int_op(-1, OP_EQ,
  1457. crypto_digest_algorithm_parse_name("TimeCubeHash-4444"));
  1458. done:
  1459. ;
  1460. }
  1461. /** Run unit tests for misc crypto formatting functionality (base64, base32,
  1462. * fingerprints, etc) */
  1463. static void
  1464. test_crypto_formats(void *arg)
  1465. {
  1466. char *data1 = NULL, *data2 = NULL, *data3 = NULL;
  1467. int i, j, idx;
  1468. (void)arg;
  1469. data1 = tor_malloc(1024);
  1470. data2 = tor_malloc(1024);
  1471. data3 = tor_malloc(1024);
  1472. tt_assert(data1 && data2 && data3);
  1473. /* Base64 tests */
  1474. memset(data1, 6, 1024);
  1475. for (idx = 0; idx < 10; ++idx) {
  1476. i = base64_encode(data2, 1024, data1, idx, 0);
  1477. tt_int_op(i, OP_GE, 0);
  1478. tt_int_op(i, OP_EQ, strlen(data2));
  1479. j = base64_decode(data3, 1024, data2, i);
  1480. tt_int_op(j,OP_EQ, idx);
  1481. tt_mem_op(data3,OP_EQ, data1, idx);
  1482. i = base64_encode_nopad(data2, 1024, (uint8_t*)data1, idx);
  1483. tt_int_op(i, OP_GE, 0);
  1484. tt_int_op(i, OP_EQ, strlen(data2));
  1485. tt_assert(! strchr(data2, '='));
  1486. j = base64_decode(data3, 1024, data2, i);
  1487. tt_int_op(j, OP_EQ, idx);
  1488. tt_mem_op(data3,OP_EQ, data1, idx);
  1489. }
  1490. strlcpy(data1, "Test string that contains 35 chars.", 1024);
  1491. strlcat(data1, " 2nd string that contains 35 chars.", 1024);
  1492. i = base64_encode(data2, 1024, data1, 71, 0);
  1493. tt_int_op(i, OP_GE, 0);
  1494. j = base64_decode(data3, 1024, data2, i);
  1495. tt_int_op(j,OP_EQ, 71);
  1496. tt_str_op(data3,OP_EQ, data1);
  1497. tt_int_op(data2[i], OP_EQ, '\0');
  1498. crypto_rand(data1, DIGEST_LEN);
  1499. memset(data2, 100, 1024);
  1500. digest_to_base64(data2, data1);
  1501. tt_int_op(BASE64_DIGEST_LEN,OP_EQ, strlen(data2));
  1502. tt_int_op(100,OP_EQ, data2[BASE64_DIGEST_LEN+2]);
  1503. memset(data3, 99, 1024);
  1504. tt_int_op(digest_from_base64(data3, data2),OP_EQ, 0);
  1505. tt_mem_op(data1,OP_EQ, data3, DIGEST_LEN);
  1506. tt_int_op(99,OP_EQ, data3[DIGEST_LEN+1]);
  1507. tt_int_op(digest_from_base64(data3, "###"), OP_LT, 0);
  1508. /* Encoding SHA256 */
  1509. crypto_rand(data2, DIGEST256_LEN);
  1510. memset(data2, 100, 1024);
  1511. digest256_to_base64(data2, data1);
  1512. tt_int_op(BASE64_DIGEST256_LEN,OP_EQ, strlen(data2));
  1513. tt_int_op(100,OP_EQ, data2[BASE64_DIGEST256_LEN+2]);
  1514. memset(data3, 99, 1024);
  1515. tt_int_op(digest256_from_base64(data3, data2),OP_EQ, 0);
  1516. tt_mem_op(data1,OP_EQ, data3, DIGEST256_LEN);
  1517. tt_int_op(99,OP_EQ, data3[DIGEST256_LEN+1]);
  1518. /* Base32 tests */
  1519. strlcpy(data1, "5chrs", 1024);
  1520. /* bit pattern is: [35 63 68 72 73] ->
  1521. * [00110101 01100011 01101000 01110010 01110011]
  1522. * By 5s: [00110 10101 10001 10110 10000 11100 10011 10011]
  1523. */
  1524. base32_encode(data2, 9, data1, 5);
  1525. tt_str_op(data2,OP_EQ, "gvrwq4tt");
  1526. strlcpy(data1, "\xFF\xF5\x6D\x44\xAE\x0D\x5C\xC9\x62\xC4", 1024);
  1527. base32_encode(data2, 30, data1, 10);
  1528. tt_str_op(data2,OP_EQ, "772w2rfobvomsywe");
  1529. /* Base16 tests */
  1530. strlcpy(data1, "6chrs\xff", 1024);
  1531. base16_encode(data2, 13, data1, 6);
  1532. tt_str_op(data2,OP_EQ, "3663687273FF");
  1533. strlcpy(data1, "f0d678affc000100", 1024);
  1534. i = base16_decode(data2, 8, data1, 16);
  1535. tt_int_op(i,OP_EQ, 8);
  1536. tt_mem_op(data2,OP_EQ, "\xf0\xd6\x78\xaf\xfc\x00\x01\x00",8);
  1537. /* now try some failing base16 decodes */
  1538. tt_int_op(-1,OP_EQ, base16_decode(data2, 8, data1, 15)); /* odd input len */
  1539. tt_int_op(-1,OP_EQ, base16_decode(data2, 7, data1, 16)); /* dest too short */
  1540. strlcpy(data1, "f0dz!8affc000100", 1024);
  1541. tt_int_op(-1,OP_EQ, base16_decode(data2, 8, data1, 16));
  1542. tor_free(data1);
  1543. tor_free(data2);
  1544. tor_free(data3);
  1545. /* Add spaces to fingerprint */
  1546. {
  1547. data1 = tor_strdup("ABCD1234ABCD56780000ABCD1234ABCD56780000");
  1548. tt_int_op(strlen(data1),OP_EQ, 40);
  1549. data2 = tor_malloc(FINGERPRINT_LEN+1);
  1550. crypto_add_spaces_to_fp(data2, FINGERPRINT_LEN+1, data1);
  1551. tt_str_op(data2, OP_EQ,
  1552. "ABCD 1234 ABCD 5678 0000 ABCD 1234 ABCD 5678 0000");
  1553. tor_free(data1);
  1554. tor_free(data2);
  1555. }
  1556. done:
  1557. tor_free(data1);
  1558. tor_free(data2);
  1559. tor_free(data3);
  1560. }
  1561. /** Test AES-CTR encryption and decryption with IV. */
  1562. static void
  1563. test_crypto_aes_iv(void *arg)
  1564. {
  1565. char *plain, *encrypted1, *encrypted2, *decrypted1, *decrypted2;
  1566. char plain_1[1], plain_15[15], plain_16[16], plain_17[17];
  1567. char key1[16], key2[16];
  1568. ssize_t encrypted_size, decrypted_size;
  1569. int use_evp = !strcmp(arg,"evp");
  1570. evaluate_evp_for_aes(use_evp);
  1571. plain = tor_malloc(4095);
  1572. encrypted1 = tor_malloc(4095 + 1 + 16);
  1573. encrypted2 = tor_malloc(4095 + 1 + 16);
  1574. decrypted1 = tor_malloc(4095 + 1);
  1575. decrypted2 = tor_malloc(4095 + 1);
  1576. crypto_rand(plain, 4095);
  1577. crypto_rand(key1, 16);
  1578. crypto_rand(key2, 16);
  1579. crypto_rand(plain_1, 1);
  1580. crypto_rand(plain_15, 15);
  1581. crypto_rand(plain_16, 16);
  1582. crypto_rand(plain_17, 17);
  1583. key1[0] = key2[0] + 128; /* Make sure that contents are different. */
  1584. /* Encrypt and decrypt with the same key. */
  1585. encrypted_size = crypto_cipher_encrypt_with_iv(key1, encrypted1, 16 + 4095,
  1586. plain, 4095);
  1587. tt_int_op(encrypted_size,OP_EQ, 16 + 4095);
  1588. tt_assert(encrypted_size > 0); /* This is obviously true, since 4111 is
  1589. * greater than 0, but its truth is not
  1590. * obvious to all analysis tools. */
  1591. decrypted_size = crypto_cipher_decrypt_with_iv(key1, decrypted1, 4095,
  1592. encrypted1, encrypted_size);
  1593. tt_int_op(decrypted_size,OP_EQ, 4095);
  1594. tt_assert(decrypted_size > 0);
  1595. tt_mem_op(plain,OP_EQ, decrypted1, 4095);
  1596. /* Encrypt a second time (with a new random initialization vector). */
  1597. encrypted_size = crypto_cipher_encrypt_with_iv(key1, encrypted2, 16 + 4095,
  1598. plain, 4095);
  1599. tt_int_op(encrypted_size,OP_EQ, 16 + 4095);
  1600. tt_assert(encrypted_size > 0);
  1601. decrypted_size = crypto_cipher_decrypt_with_iv(key1, decrypted2, 4095,
  1602. encrypted2, encrypted_size);
  1603. tt_int_op(decrypted_size,OP_EQ, 4095);
  1604. tt_assert(decrypted_size > 0);
  1605. tt_mem_op(plain,OP_EQ, decrypted2, 4095);
  1606. tt_mem_op(encrypted1,OP_NE, encrypted2, encrypted_size);
  1607. /* Decrypt with the wrong key. */
  1608. decrypted_size = crypto_cipher_decrypt_with_iv(key2, decrypted2, 4095,
  1609. encrypted1, encrypted_size);
  1610. tt_int_op(decrypted_size,OP_EQ, 4095);
  1611. tt_mem_op(plain,OP_NE, decrypted2, decrypted_size);
  1612. /* Alter the initialization vector. */
  1613. encrypted1[0] += 42;
  1614. decrypted_size = crypto_cipher_decrypt_with_iv(key1, decrypted1, 4095,
  1615. encrypted1, encrypted_size);
  1616. tt_int_op(decrypted_size,OP_EQ, 4095);
  1617. tt_mem_op(plain,OP_NE, decrypted2, 4095);
  1618. /* Special length case: 1. */
  1619. encrypted_size = crypto_cipher_encrypt_with_iv(key1, encrypted1, 16 + 1,
  1620. plain_1, 1);
  1621. tt_int_op(encrypted_size,OP_EQ, 16 + 1);
  1622. tt_assert(encrypted_size > 0);
  1623. decrypted_size = crypto_cipher_decrypt_with_iv(key1, decrypted1, 1,
  1624. encrypted1, encrypted_size);
  1625. tt_int_op(decrypted_size,OP_EQ, 1);
  1626. tt_assert(decrypted_size > 0);
  1627. tt_mem_op(plain_1,OP_EQ, decrypted1, 1);
  1628. /* Special length case: 15. */
  1629. encrypted_size = crypto_cipher_encrypt_with_iv(key1, encrypted1, 16 + 15,
  1630. plain_15, 15);
  1631. tt_int_op(encrypted_size,OP_EQ, 16 + 15);
  1632. tt_assert(encrypted_size > 0);
  1633. decrypted_size = crypto_cipher_decrypt_with_iv(key1, decrypted1, 15,
  1634. encrypted1, encrypted_size);
  1635. tt_int_op(decrypted_size,OP_EQ, 15);
  1636. tt_assert(decrypted_size > 0);
  1637. tt_mem_op(plain_15,OP_EQ, decrypted1, 15);
  1638. /* Special length case: 16. */
  1639. encrypted_size = crypto_cipher_encrypt_with_iv(key1, encrypted1, 16 + 16,
  1640. plain_16, 16);
  1641. tt_int_op(encrypted_size,OP_EQ, 16 + 16);
  1642. tt_assert(encrypted_size > 0);
  1643. decrypted_size = crypto_cipher_decrypt_with_iv(key1, decrypted1, 16,
  1644. encrypted1, encrypted_size);
  1645. tt_int_op(decrypted_size,OP_EQ, 16);
  1646. tt_assert(decrypted_size > 0);
  1647. tt_mem_op(plain_16,OP_EQ, decrypted1, 16);
  1648. /* Special length case: 17. */
  1649. encrypted_size = crypto_cipher_encrypt_with_iv(key1, encrypted1, 16 + 17,
  1650. plain_17, 17);
  1651. tt_int_op(encrypted_size,OP_EQ, 16 + 17);
  1652. tt_assert(encrypted_size > 0);
  1653. decrypted_size = crypto_cipher_decrypt_with_iv(key1, decrypted1, 17,
  1654. encrypted1, encrypted_size);
  1655. tt_int_op(decrypted_size,OP_EQ, 17);
  1656. tt_assert(decrypted_size > 0);
  1657. tt_mem_op(plain_17,OP_EQ, decrypted1, 17);
  1658. done:
  1659. /* Free memory. */
  1660. tor_free(plain);
  1661. tor_free(encrypted1);
  1662. tor_free(encrypted2);
  1663. tor_free(decrypted1);
  1664. tor_free(decrypted2);
  1665. }
  1666. /** Test base32 decoding. */
  1667. static void
  1668. test_crypto_base32_decode(void *arg)
  1669. {
  1670. char plain[60], encoded[96 + 1], decoded[60];
  1671. int res;
  1672. (void)arg;
  1673. crypto_rand(plain, 60);
  1674. /* Encode and decode a random string. */
  1675. base32_encode(encoded, 96 + 1, plain, 60);
  1676. res = base32_decode(decoded, 60, encoded, 96);
  1677. tt_int_op(res,OP_EQ, 0);
  1678. tt_mem_op(plain,OP_EQ, decoded, 60);
  1679. /* Encode, uppercase, and decode a random string. */
  1680. base32_encode(encoded, 96 + 1, plain, 60);
  1681. tor_strupper(encoded);
  1682. res = base32_decode(decoded, 60, encoded, 96);
  1683. tt_int_op(res,OP_EQ, 0);
  1684. tt_mem_op(plain,OP_EQ, decoded, 60);
  1685. /* Change encoded string and decode. */
  1686. if (encoded[0] == 'A' || encoded[0] == 'a')
  1687. encoded[0] = 'B';
  1688. else
  1689. encoded[0] = 'A';
  1690. res = base32_decode(decoded, 60, encoded, 96);
  1691. tt_int_op(res,OP_EQ, 0);
  1692. tt_mem_op(plain,OP_NE, decoded, 60);
  1693. /* Bad encodings. */
  1694. encoded[0] = '!';
  1695. res = base32_decode(decoded, 60, encoded, 96);
  1696. tt_int_op(0, OP_GT, res);
  1697. done:
  1698. ;
  1699. }
  1700. static void
  1701. test_crypto_kdf_TAP(void *arg)
  1702. {
  1703. uint8_t key_material[100];
  1704. int r;
  1705. char *mem_op_hex_tmp = NULL;
  1706. (void)arg;
  1707. #define EXPAND(s) \
  1708. r = crypto_expand_key_material_TAP( \
  1709. (const uint8_t*)(s), strlen(s), \
  1710. key_material, 100)
  1711. /* Test vectors generated with a little python script; feel free to write
  1712. * your own. */
  1713. memset(key_material, 0, sizeof(key_material));
  1714. EXPAND("");
  1715. tt_int_op(r, OP_EQ, 0);
  1716. test_memeq_hex(key_material,
  1717. "5ba93c9db0cff93f52b521d7420e43f6eda2784fbf8b4530d8"
  1718. "d246dd74ac53a13471bba17941dff7c4ea21bb365bbeeaf5f2"
  1719. "c654883e56d11e43c44e9842926af7ca0a8cca12604f945414"
  1720. "f07b01e13da42c6cf1de3abfdea9b95f34687cbbe92b9a7383");
  1721. EXPAND("Tor");
  1722. tt_int_op(r, OP_EQ, 0);
  1723. test_memeq_hex(key_material,
  1724. "776c6214fc647aaa5f683c737ee66ec44f03d0372e1cce6922"
  1725. "7950f236ddf1e329a7ce7c227903303f525a8c6662426e8034"
  1726. "870642a6dabbd41b5d97ec9bf2312ea729992f48f8ea2d0ba8"
  1727. "3f45dfda1a80bdc8b80de01b23e3e0ffae099b3e4ccf28dc28");
  1728. EXPAND("AN ALARMING ITEM TO FIND ON A MONTHLY AUTO-DEBIT NOTICE");
  1729. tt_int_op(r, OP_EQ, 0);
  1730. test_memeq_hex(key_material,
  1731. "a340b5d126086c3ab29c2af4179196dbf95e1c72431419d331"
  1732. "4844bf8f6afb6098db952b95581fb6c33625709d6f4400b8e7"
  1733. "ace18a70579fad83c0982ef73f89395bcc39493ad53a685854"
  1734. "daf2ba9b78733b805d9a6824c907ee1dba5ac27a1e466d4d10");
  1735. done:
  1736. tor_free(mem_op_hex_tmp);
  1737. #undef EXPAND
  1738. }
  1739. static void
  1740. test_crypto_hkdf_sha256(void *arg)
  1741. {
  1742. uint8_t key_material[100];
  1743. const uint8_t salt[] = "ntor-curve25519-sha256-1:key_extract";
  1744. const size_t salt_len = strlen((char*)salt);
  1745. const uint8_t m_expand[] = "ntor-curve25519-sha256-1:key_expand";
  1746. const size_t m_expand_len = strlen((char*)m_expand);
  1747. int r;
  1748. char *mem_op_hex_tmp = NULL;
  1749. (void)arg;
  1750. #define EXPAND(s) \
  1751. r = crypto_expand_key_material_rfc5869_sha256( \
  1752. (const uint8_t*)(s), strlen(s), \
  1753. salt, salt_len, \
  1754. m_expand, m_expand_len, \
  1755. key_material, 100)
  1756. /* Test vectors generated with ntor_ref.py */
  1757. EXPAND("Tor");
  1758. tt_int_op(r, OP_EQ, 0);
  1759. test_memeq_hex(key_material,
  1760. "5521492a85139a8d9107a2d5c0d9c91610d0f95989975ebee6"
  1761. "c02a4f8d622a6cfdf9b7c7edd3832e2760ded1eac309b76f8d"
  1762. "66c4a3c4d6225429b3a016e3c3d45911152fc87bc2de9630c3"
  1763. "961be9fdb9f93197ea8e5977180801926d3321fa21513e59ac");
  1764. EXPAND("AN ALARMING ITEM TO FIND ON YOUR CREDIT-RATING STATEMENT");
  1765. tt_int_op(r, OP_EQ, 0);
  1766. test_memeq_hex(key_material,
  1767. "a2aa9b50da7e481d30463adb8f233ff06e9571a0ca6ab6df0f"
  1768. "b206fa34e5bc78d063fc291501beec53b36e5a0e434561200c"
  1769. "5f8bd13e0f88b3459600b4dc21d69363e2895321c06184879d"
  1770. "94b18f078411be70b767c7fc40679a9440a0c95ea83a23efbf");
  1771. done:
  1772. tor_free(mem_op_hex_tmp);
  1773. #undef EXPAND
  1774. }
  1775. static void
  1776. test_crypto_hkdf_sha256_testvecs(void *arg)
  1777. {
  1778. (void) arg;
  1779. /* Test vectors from RFC5869, sections A.1 through A.3 */
  1780. const struct {
  1781. const char *ikm16, *salt16, *info16;
  1782. int L;
  1783. const char *okm16;
  1784. } vecs[] = {
  1785. { /* from A.1 */
  1786. "0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b",
  1787. "000102030405060708090a0b0c",
  1788. "f0f1f2f3f4f5f6f7f8f9",
  1789. 42,
  1790. "3cb25f25faacd57a90434f64d0362f2a2d2d0a90cf1a5a4c5db02d56ecc4c5bf"
  1791. "34007208d5b887185865"
  1792. },
  1793. { /* from A.2 */
  1794. "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f"
  1795. "202122232425262728292a2b2c2d2e2f303132333435363738393a3b3c3d3e3f"
  1796. "404142434445464748494a4b4c4d4e4f",
  1797. "606162636465666768696a6b6c6d6e6f707172737475767778797a7b7c7d7e7f"
  1798. "808182838485868788898a8b8c8d8e8f909192939495969798999a9b9c9d9e9f"
  1799. "a0a1a2a3a4a5a6a7a8a9aaabacadaeaf",
  1800. "b0b1b2b3b4b5b6b7b8b9babbbcbdbebfc0c1c2c3c4c5c6c7c8c9cacbcccdcecf"
  1801. "d0d1d2d3d4d5d6d7d8d9dadbdcdddedfe0e1e2e3e4e5e6e7e8e9eaebecedeeef"
  1802. "f0f1f2f3f4f5f6f7f8f9fafbfcfdfeff",
  1803. 82,
  1804. "b11e398dc80327a1c8e7f78c596a49344f012eda2d4efad8a050cc4c19afa97c"
  1805. "59045a99cac7827271cb41c65e590e09da3275600c2f09b8367793a9aca3db71"
  1806. "cc30c58179ec3e87c14c01d5c1f3434f1d87"
  1807. },
  1808. { /* from A.3 */
  1809. "0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b",
  1810. "",
  1811. "",
  1812. 42,
  1813. "8da4e775a563c18f715f802a063c5a31b8a11f5c5ee1879ec3454e5f3c738d2d"
  1814. "9d201395faa4b61a96c8",
  1815. },
  1816. { NULL, NULL, NULL, -1, NULL }
  1817. };
  1818. int i;
  1819. char *ikm = NULL;
  1820. char *salt = NULL;
  1821. char *info = NULL;
  1822. char *okm = NULL;
  1823. char *mem_op_hex_tmp = NULL;
  1824. for (i = 0; vecs[i].ikm16; ++i) {
  1825. size_t ikm_len = strlen(vecs[i].ikm16)/2;
  1826. size_t salt_len = strlen(vecs[i].salt16)/2;
  1827. size_t info_len = strlen(vecs[i].info16)/2;
  1828. size_t okm_len = vecs[i].L;
  1829. ikm = tor_malloc(ikm_len);
  1830. salt = tor_malloc(salt_len);
  1831. info = tor_malloc(info_len);
  1832. okm = tor_malloc(okm_len);
  1833. base16_decode(ikm, ikm_len, vecs[i].ikm16, strlen(vecs[i].ikm16));
  1834. base16_decode(salt, salt_len, vecs[i].salt16, strlen(vecs[i].salt16));
  1835. base16_decode(info, info_len, vecs[i].info16, strlen(vecs[i].info16));
  1836. int r = crypto_expand_key_material_rfc5869_sha256(
  1837. (const uint8_t*)ikm, ikm_len,
  1838. (const uint8_t*)salt, salt_len,
  1839. (const uint8_t*)info, info_len,
  1840. (uint8_t*)okm, okm_len);
  1841. tt_int_op(r, OP_EQ, 0);
  1842. test_memeq_hex(okm, vecs[i].okm16);
  1843. tor_free(ikm);
  1844. tor_free(salt);
  1845. tor_free(info);
  1846. tor_free(okm);
  1847. }
  1848. done:
  1849. tor_free(ikm);
  1850. tor_free(salt);
  1851. tor_free(info);
  1852. tor_free(okm);
  1853. tor_free(mem_op_hex_tmp);
  1854. }
  1855. static void
  1856. test_crypto_curve25519_impl(void *arg)
  1857. {
  1858. /* adapted from curve25519_donna, which adapted it from test-curve25519
  1859. version 20050915, by D. J. Bernstein, Public domain. */
  1860. const int randomize_high_bit = (arg != NULL);
  1861. #ifdef SLOW_CURVE25519_TEST
  1862. const int loop_max=10000;
  1863. const char e1_expected[] = "4faf81190869fd742a33691b0e0824d5"
  1864. "7e0329f4dd2819f5f32d130f1296b500";
  1865. const char e2k_expected[] = "05aec13f92286f3a781ccae98995a3b9"
  1866. "e0544770bc7de853b38f9100489e3e79";
  1867. const char e1e2k_expected[] = "cd6e8269104eb5aaee886bd2071fba88"
  1868. "bd13861475516bc2cd2b6e005e805064";
  1869. #else /* !(defined(SLOW_CURVE25519_TEST)) */
  1870. const int loop_max=200;
  1871. const char e1_expected[] = "bc7112cde03f97ef7008cad1bdc56be3"
  1872. "c6a1037d74cceb3712e9206871dcf654";
  1873. const char e2k_expected[] = "dd8fa254fb60bdb5142fe05b1f5de44d"
  1874. "8e3ee1a63c7d14274ea5d4c67f065467";
  1875. const char e1e2k_expected[] = "7ddb98bd89025d2347776b33901b3e7e"
  1876. "c0ee98cb2257a4545c0cfb2ca3e1812b";
  1877. #endif /* defined(SLOW_CURVE25519_TEST) */
  1878. unsigned char e1k[32];
  1879. unsigned char e2k[32];
  1880. unsigned char e1e2k[32];
  1881. unsigned char e2e1k[32];
  1882. unsigned char e1[32] = {3};
  1883. unsigned char e2[32] = {5};
  1884. unsigned char k[32] = {9};
  1885. int loop, i;
  1886. char *mem_op_hex_tmp = NULL;
  1887. for (loop = 0; loop < loop_max; ++loop) {
  1888. curve25519_impl(e1k,e1,k);
  1889. curve25519_impl(e2e1k,e2,e1k);
  1890. curve25519_impl(e2k,e2,k);
  1891. if (randomize_high_bit) {
  1892. /* We require that the high bit of the public key be ignored. So if
  1893. * we're doing this variant test, we randomize the high bit of e2k, and
  1894. * make sure that the handshake still works out the same as it would
  1895. * otherwise. */
  1896. uint8_t byte;
  1897. crypto_rand((char*)&byte, 1);
  1898. e2k[31] |= (byte & 0x80);
  1899. }
  1900. curve25519_impl(e1e2k,e1,e2k);
  1901. tt_mem_op(e1e2k,OP_EQ, e2e1k, 32);
  1902. if (loop == loop_max-1) {
  1903. break;
  1904. }
  1905. for (i = 0;i < 32;++i) e1[i] ^= e2k[i];
  1906. for (i = 0;i < 32;++i) e2[i] ^= e1k[i];
  1907. for (i = 0;i < 32;++i) k[i] ^= e1e2k[i];
  1908. }
  1909. test_memeq_hex(e1, e1_expected);
  1910. test_memeq_hex(e2k, e2k_expected);
  1911. test_memeq_hex(e1e2k, e1e2k_expected);
  1912. done:
  1913. tor_free(mem_op_hex_tmp);
  1914. }
  1915. static void
  1916. test_crypto_curve25519_basepoint(void *arg)
  1917. {
  1918. uint8_t secret[32];
  1919. uint8_t public1[32];
  1920. uint8_t public2[32];
  1921. const int iters = 2048;
  1922. int i;
  1923. (void) arg;
  1924. for (i = 0; i < iters; ++i) {
  1925. crypto_rand((char*)secret, 32);
  1926. curve25519_set_impl_params(1); /* Use optimization */
  1927. curve25519_basepoint_impl(public1, secret);
  1928. curve25519_set_impl_params(0); /* Disable optimization */
  1929. curve25519_basepoint_impl(public2, secret);
  1930. tt_mem_op(public1, OP_EQ, public2, 32);
  1931. }
  1932. done:
  1933. ;
  1934. }
  1935. static void
  1936. test_crypto_curve25519_testvec(void *arg)
  1937. {
  1938. (void)arg;
  1939. char *mem_op_hex_tmp = NULL;
  1940. /* From RFC 7748, section 6.1 */
  1941. /* Alice's private key, a: */
  1942. const char a16[] =
  1943. "77076d0a7318a57d3c16c17251b26645df4c2f87ebc0992ab177fba51db92c2a";
  1944. /* Alice's public key, X25519(a, 9): */
  1945. const char a_pub16[] =
  1946. "8520f0098930a754748b7ddcb43ef75a0dbf3a0d26381af4eba4a98eaa9b4e6a";
  1947. /* Bob's private key, b: */
  1948. const char b16[] =
  1949. "5dab087e624a8a4b79e17f8b83800ee66f3bb1292618b6fd1c2f8b27ff88e0eb";
  1950. /* Bob's public key, X25519(b, 9): */
  1951. const char b_pub16[] =
  1952. "de9edb7d7b7dc1b4d35b61c2ece435373f8343c85b78674dadfc7e146f882b4f";
  1953. /* Their shared secret, K: */
  1954. const char k16[] =
  1955. "4a5d9d5ba4ce2de1728e3bf480350f25e07e21c947d19e3376f09b3c1e161742";
  1956. uint8_t a[32], b[32], a_pub[32], b_pub[32], k1[32], k2[32];
  1957. base16_decode((char*)a, sizeof(a), a16, strlen(a16));
  1958. base16_decode((char*)b, sizeof(b), b16, strlen(b16));
  1959. curve25519_basepoint_impl(a_pub, a);
  1960. curve25519_basepoint_impl(b_pub, b);
  1961. curve25519_impl(k1, a, b_pub);
  1962. curve25519_impl(k2, b, a_pub);
  1963. test_memeq_hex(a, a16);
  1964. test_memeq_hex(b, b16);
  1965. test_memeq_hex(a_pub, a_pub16);
  1966. test_memeq_hex(b_pub, b_pub16);
  1967. test_memeq_hex(k1, k16);
  1968. test_memeq_hex(k2, k16);
  1969. done:
  1970. tor_free(mem_op_hex_tmp);
  1971. }
  1972. static void
  1973. test_crypto_curve25519_wrappers(void *arg)
  1974. {
  1975. curve25519_public_key_t pubkey1, pubkey2;
  1976. curve25519_secret_key_t seckey1, seckey2;
  1977. uint8_t output1[CURVE25519_OUTPUT_LEN];
  1978. uint8_t output2[CURVE25519_OUTPUT_LEN];
  1979. (void)arg;
  1980. /* Test a simple handshake, serializing and deserializing some stuff. */
  1981. curve25519_secret_key_generate(&seckey1, 0);
  1982. curve25519_secret_key_generate(&seckey2, 1);
  1983. curve25519_public_key_generate(&pubkey1, &seckey1);
  1984. curve25519_public_key_generate(&pubkey2, &seckey2);
  1985. tt_assert(curve25519_public_key_is_ok(&pubkey1));
  1986. tt_assert(curve25519_public_key_is_ok(&pubkey2));
  1987. curve25519_handshake(output1, &seckey1, &pubkey2);
  1988. curve25519_handshake(output2, &seckey2, &pubkey1);
  1989. tt_mem_op(output1,OP_EQ, output2, sizeof(output1));
  1990. done:
  1991. ;
  1992. }
  1993. static void
  1994. test_crypto_curve25519_encode(void *arg)
  1995. {
  1996. curve25519_secret_key_t seckey;
  1997. curve25519_public_key_t key1, key2, key3;
  1998. char buf[64];
  1999. (void)arg;
  2000. curve25519_secret_key_generate(&seckey, 0);
  2001. curve25519_public_key_generate(&key1, &seckey);
  2002. tt_int_op(0, OP_EQ, curve25519_public_to_base64(buf, &key1));
  2003. tt_int_op(CURVE25519_BASE64_PADDED_LEN, OP_EQ, strlen(buf));
  2004. tt_int_op(0, OP_EQ, curve25519_public_from_base64(&key2, buf));
  2005. tt_mem_op(key1.public_key,OP_EQ, key2.public_key, CURVE25519_PUBKEY_LEN);
  2006. buf[CURVE25519_BASE64_PADDED_LEN - 1] = '\0';
  2007. tt_int_op(CURVE25519_BASE64_PADDED_LEN-1, OP_EQ, strlen(buf));
  2008. tt_int_op(0, OP_EQ, curve25519_public_from_base64(&key3, buf));
  2009. tt_mem_op(key1.public_key,OP_EQ, key3.public_key, CURVE25519_PUBKEY_LEN);
  2010. /* Now try bogus parses. */
  2011. strlcpy(buf, "$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$=", sizeof(buf));
  2012. tt_int_op(-1, OP_EQ, curve25519_public_from_base64(&key3, buf));
  2013. strlcpy(buf, "$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$", sizeof(buf));
  2014. tt_int_op(-1, OP_EQ, curve25519_public_from_base64(&key3, buf));
  2015. strlcpy(buf, "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx", sizeof(buf));
  2016. tt_int_op(-1, OP_EQ, curve25519_public_from_base64(&key3, buf));
  2017. done:
  2018. ;
  2019. }
  2020. static void
  2021. test_crypto_curve25519_persist(void *arg)
  2022. {
  2023. curve25519_keypair_t keypair, keypair2;
  2024. char *fname = tor_strdup(get_fname("curve25519_keypair"));
  2025. char *tag = NULL;
  2026. char *content = NULL;
  2027. const char *cp;
  2028. struct stat st;
  2029. size_t taglen;
  2030. (void)arg;
  2031. tt_int_op(0,OP_EQ,curve25519_keypair_generate(&keypair, 0));
  2032. tt_int_op(0,OP_EQ,
  2033. curve25519_keypair_write_to_file(&keypair, fname, "testing"));
  2034. tt_int_op(0,OP_EQ,curve25519_keypair_read_from_file(&keypair2, &tag, fname));
  2035. tt_str_op(tag,OP_EQ,"testing");
  2036. tor_free(tag);
  2037. tt_mem_op(keypair.pubkey.public_key,OP_EQ,
  2038. keypair2.pubkey.public_key,
  2039. CURVE25519_PUBKEY_LEN);
  2040. tt_mem_op(keypair.seckey.secret_key,OP_EQ,
  2041. keypair2.seckey.secret_key,
  2042. CURVE25519_SECKEY_LEN);
  2043. content = read_file_to_str(fname, RFTS_BIN, &st);
  2044. tt_assert(content);
  2045. taglen = strlen("== c25519v1: testing ==");
  2046. tt_u64_op((uint64_t)st.st_size, OP_EQ,
  2047. 32+CURVE25519_PUBKEY_LEN+CURVE25519_SECKEY_LEN);
  2048. tt_assert(fast_memeq(content, "== c25519v1: testing ==", taglen));
  2049. tt_assert(tor_mem_is_zero(content+taglen, 32-taglen));
  2050. cp = content + 32;
  2051. tt_mem_op(keypair.seckey.secret_key,OP_EQ,
  2052. cp,
  2053. CURVE25519_SECKEY_LEN);
  2054. cp += CURVE25519_SECKEY_LEN;
  2055. tt_mem_op(keypair.pubkey.public_key,OP_EQ,
  2056. cp,
  2057. CURVE25519_SECKEY_LEN);
  2058. tor_free(fname);
  2059. fname = tor_strdup(get_fname("bogus_keypair"));
  2060. tt_int_op(-1, OP_EQ,
  2061. curve25519_keypair_read_from_file(&keypair2, &tag, fname));
  2062. tor_free(tag);
  2063. content[69] ^= 0xff;
  2064. tt_int_op(0, OP_EQ,
  2065. write_bytes_to_file(fname, content, (size_t)st.st_size, 1));
  2066. tt_int_op(-1, OP_EQ,
  2067. curve25519_keypair_read_from_file(&keypair2, &tag, fname));
  2068. done:
  2069. tor_free(fname);
  2070. tor_free(content);
  2071. tor_free(tag);
  2072. }
  2073. static void
  2074. test_crypto_ed25519_simple(void *arg)
  2075. {
  2076. ed25519_keypair_t kp1, kp2;
  2077. ed25519_public_key_t pub1, pub2;
  2078. ed25519_secret_key_t sec1, sec2;
  2079. ed25519_signature_t sig1, sig2;
  2080. const uint8_t msg[] =
  2081. "GNU will be able to run Unix programs, "
  2082. "but will not be identical to Unix.";
  2083. const uint8_t msg2[] =
  2084. "Microsoft Windows extends the features of the DOS operating system, "
  2085. "yet is compatible with most existing applications that run under DOS.";
  2086. size_t msg_len = strlen((const char*)msg);
  2087. size_t msg2_len = strlen((const char*)msg2);
  2088. (void)arg;
  2089. tt_int_op(0, OP_EQ, ed25519_secret_key_generate(&sec1, 0));
  2090. tt_int_op(0, OP_EQ, ed25519_secret_key_generate(&sec2, 1));
  2091. tt_int_op(0, OP_EQ, ed25519_public_key_generate(&pub1, &sec1));
  2092. tt_int_op(0, OP_EQ, ed25519_public_key_generate(&pub2, &sec1));
  2093. tt_int_op(ed25519_validate_pubkey(&pub1), OP_EQ, 0);
  2094. tt_int_op(ed25519_validate_pubkey(&pub2), OP_EQ, 0);
  2095. tt_mem_op(pub1.pubkey, OP_EQ, pub2.pubkey, sizeof(pub1.pubkey));
  2096. tt_assert(ed25519_pubkey_eq(&pub1, &pub2));
  2097. tt_assert(ed25519_pubkey_eq(&pub1, &pub1));
  2098. memcpy(&kp1.pubkey, &pub1, sizeof(pub1));
  2099. memcpy(&kp1.seckey, &sec1, sizeof(sec1));
  2100. tt_int_op(0, OP_EQ, ed25519_sign(&sig1, msg, msg_len, &kp1));
  2101. tt_int_op(0, OP_EQ, ed25519_sign(&sig2, msg, msg_len, &kp1));
  2102. /* Ed25519 signatures are deterministic */
  2103. tt_mem_op(sig1.sig, OP_EQ, sig2.sig, sizeof(sig1.sig));
  2104. /* Basic signature is valid. */
  2105. tt_int_op(0, OP_EQ, ed25519_checksig(&sig1, msg, msg_len, &pub1));
  2106. /* Altered signature doesn't work. */
  2107. sig1.sig[0] ^= 3;
  2108. tt_int_op(-1, OP_EQ, ed25519_checksig(&sig1, msg, msg_len, &pub1));
  2109. /* Wrong public key doesn't work. */
  2110. tt_int_op(0, OP_EQ, ed25519_public_key_generate(&pub2, &sec2));
  2111. tt_int_op(-1, OP_EQ, ed25519_checksig(&sig2, msg, msg_len, &pub2));
  2112. tt_assert(! ed25519_pubkey_eq(&pub1, &pub2));
  2113. /* Wrong message doesn't work. */
  2114. tt_int_op(0, OP_EQ, ed25519_checksig(&sig2, msg, msg_len, &pub1));
  2115. tt_int_op(-1, OP_EQ, ed25519_checksig(&sig2, msg, msg_len-1, &pub1));
  2116. tt_int_op(-1, OP_EQ, ed25519_checksig(&sig2, msg2, msg2_len, &pub1));
  2117. /* Batch signature checking works with some bad. */
  2118. tt_int_op(0, OP_EQ, ed25519_keypair_generate(&kp2, 0));
  2119. tt_int_op(0, OP_EQ, ed25519_sign(&sig1, msg, msg_len, &kp2));
  2120. {
  2121. ed25519_checkable_t ch[] = {
  2122. { &pub1, sig2, msg, msg_len }, /*ok*/
  2123. { &pub1, sig2, msg, msg_len-1 }, /*bad*/
  2124. { &kp2.pubkey, sig2, msg2, msg2_len }, /*bad*/
  2125. { &kp2.pubkey, sig1, msg, msg_len }, /*ok*/
  2126. };
  2127. int okay[4];
  2128. tt_int_op(-2, OP_EQ, ed25519_checksig_batch(okay, ch, 4));
  2129. tt_int_op(okay[0], OP_EQ, 1);
  2130. tt_int_op(okay[1], OP_EQ, 0);
  2131. tt_int_op(okay[2], OP_EQ, 0);
  2132. tt_int_op(okay[3], OP_EQ, 1);
  2133. tt_int_op(-2, OP_EQ, ed25519_checksig_batch(NULL, ch, 4));
  2134. }
  2135. /* Batch signature checking works with all good. */
  2136. {
  2137. ed25519_checkable_t ch[] = {
  2138. { &pub1, sig2, msg, msg_len }, /*ok*/
  2139. { &kp2.pubkey, sig1, msg, msg_len }, /*ok*/
  2140. };
  2141. int okay[2];
  2142. tt_int_op(0, OP_EQ, ed25519_checksig_batch(okay, ch, 2));
  2143. tt_int_op(okay[0], OP_EQ, 1);
  2144. tt_int_op(okay[1], OP_EQ, 1);
  2145. tt_int_op(0, OP_EQ, ed25519_checksig_batch(NULL, ch, 2));
  2146. }
  2147. /* Test the string-prefixed sign/checksig functions */
  2148. {
  2149. ed25519_signature_t manual_sig;
  2150. char *prefixed_msg;
  2151. /* Generate a signature with a prefixed msg. */
  2152. tt_int_op(0, OP_EQ, ed25519_sign_prefixed(&sig1, msg, msg_len,
  2153. "always in the mood",
  2154. &kp1));
  2155. /* First, check that ed25519_sign_prefixed() returns the exact same sig as
  2156. if we had manually prefixed the msg ourselves. */
  2157. tor_asprintf(&prefixed_msg, "%s%s", "always in the mood", msg);
  2158. tt_int_op(0, OP_EQ, ed25519_sign(&manual_sig, (uint8_t *)prefixed_msg,
  2159. strlen(prefixed_msg), &kp1));
  2160. tor_free(prefixed_msg);
  2161. tt_assert(fast_memeq(sig1.sig, manual_sig.sig, sizeof(sig1.sig)));
  2162. /* Test that prefixed checksig verifies it properly. */
  2163. tt_int_op(0, OP_EQ, ed25519_checksig_prefixed(&sig1, msg, msg_len,
  2164. "always in the mood",
  2165. &pub1));
  2166. /* Test that checksig with wrong prefix fails. */
  2167. tt_int_op(-1, OP_EQ, ed25519_checksig_prefixed(&sig1, msg, msg_len,
  2168. "always in the moo",
  2169. &pub1));
  2170. tt_int_op(-1, OP_EQ, ed25519_checksig_prefixed(&sig1, msg, msg_len,
  2171. "always in the moon",
  2172. &pub1));
  2173. tt_int_op(-1, OP_EQ, ed25519_checksig_prefixed(&sig1, msg, msg_len,
  2174. "always in the mood!",
  2175. &pub1));
  2176. }
  2177. done:
  2178. ;
  2179. }
  2180. static void
  2181. test_crypto_ed25519_test_vectors(void *arg)
  2182. {
  2183. char *mem_op_hex_tmp=NULL;
  2184. int i;
  2185. struct {
  2186. const char *sk;
  2187. const char *pk;
  2188. const char *sig;
  2189. const char *msg;
  2190. } items[] = {
  2191. /* These test vectors were generated with the "ref" implementation of
  2192. * ed25519 from SUPERCOP-20130419 */
  2193. { "4c6574277320686f706520746865726520617265206e6f206275677320696e20",
  2194. "f3e0e493b30f56e501aeb868fc912fe0c8b76621efca47a78f6d75875193dd87",
  2195. "b5d7fd6fd3adf643647ce1fe87a2931dedd1a4e38e6c662bedd35cdd80bfac51"
  2196. "1b2c7d1ee6bd929ac213014e1a8dc5373854c7b25dbe15ec96bf6c94196fae06",
  2197. "506c6561736520657863757365206d7920667269656e642e2048652069736e2774"
  2198. "204e554c2d7465726d696e617465642e"
  2199. },
  2200. { "74686520696d706c656d656e746174696f6e20776869636820617265206e6f74",
  2201. "407f0025a1e1351a4cb68e92f5c0ebaf66e7aaf93a4006a4d1a66e3ede1cfeac",
  2202. "02884fde1c3c5944d0ecf2d133726fc820c303aae695adceabf3a1e01e95bf28"
  2203. "da88c0966f5265e9c6f8edc77b3b96b5c91baec3ca993ccd21a3f64203600601",
  2204. "506c6561736520657863757365206d7920667269656e642e2048652069736e2774"
  2205. "204e554c2d7465726d696e617465642e"
  2206. },
  2207. { "6578706f73656420627920456e676c697368207465787420617320696e707574",
  2208. "61681cb5fbd69f9bc5a462a21a7ab319011237b940bc781cdc47fcbe327e7706",
  2209. "6a127d0414de7510125d4bc214994ffb9b8857a46330832d05d1355e882344ad"
  2210. "f4137e3ca1f13eb9cc75c887ef2309b98c57528b4acd9f6376c6898889603209",
  2211. "506c6561736520657863757365206d7920667269656e642e2048652069736e2774"
  2212. "204e554c2d7465726d696e617465642e"
  2213. },
  2214. /* These come from "sign.input" in ed25519's page */
  2215. { "5b5a619f8ce1c66d7ce26e5a2ae7b0c04febcd346d286c929e19d0d5973bfef9",
  2216. "6fe83693d011d111131c4f3fbaaa40a9d3d76b30012ff73bb0e39ec27ab18257",
  2217. "0f9ad9793033a2fa06614b277d37381e6d94f65ac2a5a94558d09ed6ce922258"
  2218. "c1a567952e863ac94297aec3c0d0c8ddf71084e504860bb6ba27449b55adc40e",
  2219. "5a8d9d0a22357e6655f9c785"
  2220. },
  2221. { "940c89fe40a81dafbdb2416d14ae469119869744410c3303bfaa0241dac57800",
  2222. "a2eb8c0501e30bae0cf842d2bde8dec7386f6b7fc3981b8c57c9792bb94cf2dd",
  2223. "d8bb64aad8c9955a115a793addd24f7f2b077648714f49c4694ec995b330d09d"
  2224. "640df310f447fd7b6cb5c14f9fe9f490bcf8cfadbfd2169c8ac20d3b8af49a0c",
  2225. "b87d3813e03f58cf19fd0b6395"
  2226. },
  2227. { "9acad959d216212d789a119252ebfe0c96512a23c73bd9f3b202292d6916a738",
  2228. "cf3af898467a5b7a52d33d53bc037e2642a8da996903fc252217e9c033e2f291",
  2229. "6ee3fe81e23c60eb2312b2006b3b25e6838e02106623f844c44edb8dafd66ab0"
  2230. "671087fd195df5b8f58a1d6e52af42908053d55c7321010092748795ef94cf06",
  2231. "55c7fa434f5ed8cdec2b7aeac173",
  2232. },
  2233. { "d5aeee41eeb0e9d1bf8337f939587ebe296161e6bf5209f591ec939e1440c300",
  2234. "fd2a565723163e29f53c9de3d5e8fbe36a7ab66e1439ec4eae9c0a604af291a5",
  2235. "f68d04847e5b249737899c014d31c805c5007a62c0a10d50bb1538c5f3550395"
  2236. "1fbc1e08682f2cc0c92efe8f4985dec61dcbd54d4b94a22547d24451271c8b00",
  2237. "0a688e79be24f866286d4646b5d81c"
  2238. },
  2239. /* These come from draft-irtf-cfrg-eddsa-05 section 7.1 */
  2240. {
  2241. "9d61b19deffd5a60ba844af492ec2cc44449c5697b326919703bac031cae7f60",
  2242. "d75a980182b10ab7d54bfed3c964073a0ee172f3daa62325af021a68f707511a",
  2243. "e5564300c360ac729086e2cc806e828a84877f1eb8e5d974d873e06522490155"
  2244. "5fb8821590a33bacc61e39701cf9b46bd25bf5f0595bbe24655141438e7a100b",
  2245. ""
  2246. },
  2247. {
  2248. "4ccd089b28ff96da9db6c346ec114e0f5b8a319f35aba624da8cf6ed4fb8a6fb",
  2249. "3d4017c3e843895a92b70aa74d1b7ebc9c982ccf2ec4968cc0cd55f12af4660c",
  2250. "92a009a9f0d4cab8720e820b5f642540a2b27b5416503f8fb3762223ebdb69da"
  2251. "085ac1e43e15996e458f3613d0f11d8c387b2eaeb4302aeeb00d291612bb0c00",
  2252. "72"
  2253. },
  2254. {
  2255. "f5e5767cf153319517630f226876b86c8160cc583bc013744c6bf255f5cc0ee5",
  2256. "278117fc144c72340f67d0f2316e8386ceffbf2b2428c9c51fef7c597f1d426e",
  2257. "0aab4c900501b3e24d7cdf4663326a3a87df5e4843b2cbdb67cbf6e460fec350"
  2258. "aa5371b1508f9f4528ecea23c436d94b5e8fcd4f681e30a6ac00a9704a188a03",
  2259. "08b8b2b733424243760fe426a4b54908632110a66c2f6591eabd3345e3e4eb98"
  2260. "fa6e264bf09efe12ee50f8f54e9f77b1e355f6c50544e23fb1433ddf73be84d8"
  2261. "79de7c0046dc4996d9e773f4bc9efe5738829adb26c81b37c93a1b270b20329d"
  2262. "658675fc6ea534e0810a4432826bf58c941efb65d57a338bbd2e26640f89ffbc"
  2263. "1a858efcb8550ee3a5e1998bd177e93a7363c344fe6b199ee5d02e82d522c4fe"
  2264. "ba15452f80288a821a579116ec6dad2b3b310da903401aa62100ab5d1a36553e"
  2265. "06203b33890cc9b832f79ef80560ccb9a39ce767967ed628c6ad573cb116dbef"
  2266. "efd75499da96bd68a8a97b928a8bbc103b6621fcde2beca1231d206be6cd9ec7"
  2267. "aff6f6c94fcd7204ed3455c68c83f4a41da4af2b74ef5c53f1d8ac70bdcb7ed1"
  2268. "85ce81bd84359d44254d95629e9855a94a7c1958d1f8ada5d0532ed8a5aa3fb2"
  2269. "d17ba70eb6248e594e1a2297acbbb39d502f1a8c6eb6f1ce22b3de1a1f40cc24"
  2270. "554119a831a9aad6079cad88425de6bde1a9187ebb6092cf67bf2b13fd65f270"
  2271. "88d78b7e883c8759d2c4f5c65adb7553878ad575f9fad878e80a0c9ba63bcbcc"
  2272. "2732e69485bbc9c90bfbd62481d9089beccf80cfe2df16a2cf65bd92dd597b07"
  2273. "07e0917af48bbb75fed413d238f5555a7a569d80c3414a8d0859dc65a46128ba"
  2274. "b27af87a71314f318c782b23ebfe808b82b0ce26401d2e22f04d83d1255dc51a"
  2275. "ddd3b75a2b1ae0784504df543af8969be3ea7082ff7fc9888c144da2af58429e"
  2276. "c96031dbcad3dad9af0dcbaaaf268cb8fcffead94f3c7ca495e056a9b47acdb7"
  2277. "51fb73e666c6c655ade8297297d07ad1ba5e43f1bca32301651339e22904cc8c"
  2278. "42f58c30c04aafdb038dda0847dd988dcda6f3bfd15c4b4c4525004aa06eeff8"
  2279. "ca61783aacec57fb3d1f92b0fe2fd1a85f6724517b65e614ad6808d6f6ee34df"
  2280. "f7310fdc82aebfd904b01e1dc54b2927094b2db68d6f903b68401adebf5a7e08"
  2281. "d78ff4ef5d63653a65040cf9bfd4aca7984a74d37145986780fc0b16ac451649"
  2282. "de6188a7dbdf191f64b5fc5e2ab47b57f7f7276cd419c17a3ca8e1b939ae49e4"
  2283. "88acba6b965610b5480109c8b17b80e1b7b750dfc7598d5d5011fd2dcc5600a3"
  2284. "2ef5b52a1ecc820e308aa342721aac0943bf6686b64b2579376504ccc493d97e"
  2285. "6aed3fb0f9cd71a43dd497f01f17c0e2cb3797aa2a2f256656168e6c496afc5f"
  2286. "b93246f6b1116398a346f1a641f3b041e989f7914f90cc2c7fff357876e506b5"
  2287. "0d334ba77c225bc307ba537152f3f1610e4eafe595f6d9d90d11faa933a15ef1"
  2288. "369546868a7f3a45a96768d40fd9d03412c091c6315cf4fde7cb68606937380d"
  2289. "b2eaaa707b4c4185c32eddcdd306705e4dc1ffc872eeee475a64dfac86aba41c"
  2290. "0618983f8741c5ef68d3a101e8a3b8cac60c905c15fc910840b94c00a0b9d0"
  2291. },
  2292. {
  2293. "833fe62409237b9d62ec77587520911e9a759cec1d19755b7da901b96dca3d42",
  2294. "ec172b93ad5e563bf4932c70e1245034c35467ef2efd4d64ebf819683467e2bf",
  2295. "dc2a4459e7369633a52b1bf277839a00201009a3efbf3ecb69bea2186c26b589"
  2296. "09351fc9ac90b3ecfdfbc7c66431e0303dca179c138ac17ad9bef1177331a704",
  2297. "ddaf35a193617abacc417349ae20413112e6fa4e89a97ea20a9eeee64b55d39a"
  2298. "2192992a274fc1a836ba3c23a3feebbd454d4423643ce80e2a9ac94fa54ca49f"
  2299. },
  2300. { NULL, NULL, NULL, NULL}
  2301. };
  2302. (void)arg;
  2303. for (i = 0; items[i].pk; ++i) {
  2304. ed25519_keypair_t kp;
  2305. ed25519_signature_t sig;
  2306. uint8_t sk_seed[32];
  2307. uint8_t *msg;
  2308. size_t msg_len;
  2309. base16_decode((char*)sk_seed, sizeof(sk_seed),
  2310. items[i].sk, 64);
  2311. ed25519_secret_key_from_seed(&kp.seckey, sk_seed);
  2312. tt_int_op(0, OP_EQ, ed25519_public_key_generate(&kp.pubkey, &kp.seckey));
  2313. test_memeq_hex(kp.pubkey.pubkey, items[i].pk);
  2314. msg_len = strlen(items[i].msg) / 2;
  2315. msg = tor_malloc(msg_len);
  2316. base16_decode((char*)msg, msg_len, items[i].msg, strlen(items[i].msg));
  2317. tt_int_op(0, OP_EQ, ed25519_sign(&sig, msg, msg_len, &kp));
  2318. test_memeq_hex(sig.sig, items[i].sig);
  2319. tor_free(msg);
  2320. }
  2321. done:
  2322. tor_free(mem_op_hex_tmp);
  2323. }
  2324. static void
  2325. test_crypto_ed25519_encode(void *arg)
  2326. {
  2327. char buf[ED25519_SIG_BASE64_LEN+1];
  2328. ed25519_keypair_t kp;
  2329. ed25519_public_key_t pk;
  2330. ed25519_signature_t sig1, sig2;
  2331. char *mem_op_hex_tmp = NULL;
  2332. (void) arg;
  2333. /* Test roundtrip. */
  2334. tt_int_op(0, OP_EQ, ed25519_keypair_generate(&kp, 0));
  2335. tt_int_op(0, OP_EQ, ed25519_public_to_base64(buf, &kp.pubkey));
  2336. tt_int_op(ED25519_BASE64_LEN, OP_EQ, strlen(buf));
  2337. tt_int_op(0, OP_EQ, ed25519_public_from_base64(&pk, buf));
  2338. tt_mem_op(kp.pubkey.pubkey, OP_EQ, pk.pubkey, ED25519_PUBKEY_LEN);
  2339. tt_int_op(0, OP_EQ, ed25519_sign(&sig1, (const uint8_t*)"ABC", 3, &kp));
  2340. tt_int_op(0, OP_EQ, ed25519_signature_to_base64(buf, &sig1));
  2341. tt_int_op(0, OP_EQ, ed25519_signature_from_base64(&sig2, buf));
  2342. tt_mem_op(sig1.sig, OP_EQ, sig2.sig, ED25519_SIG_LEN);
  2343. /* Test known value. */
  2344. tt_int_op(0, OP_EQ, ed25519_public_from_base64(&pk,
  2345. "lVIuIctLjbGZGU5wKMNXxXlSE3cW4kaqkqm04u6pxvM"));
  2346. test_memeq_hex(pk.pubkey,
  2347. "95522e21cb4b8db199194e7028c357c57952137716e246aa92a9b4e2eea9c6f3");
  2348. done:
  2349. tor_free(mem_op_hex_tmp);
  2350. }
  2351. static void
  2352. test_crypto_ed25519_convert(void *arg)
  2353. {
  2354. const uint8_t msg[] =
  2355. "The eyes are not here / There are no eyes here.";
  2356. const int N = 30;
  2357. int i;
  2358. (void)arg;
  2359. for (i = 0; i < N; ++i) {
  2360. curve25519_keypair_t curve25519_keypair;
  2361. ed25519_keypair_t ed25519_keypair;
  2362. ed25519_public_key_t ed25519_pubkey;
  2363. int bit=0;
  2364. ed25519_signature_t sig;
  2365. tt_int_op(0,OP_EQ,curve25519_keypair_generate(&curve25519_keypair, i&1));
  2366. tt_int_op(0,OP_EQ,ed25519_keypair_from_curve25519_keypair(
  2367. &ed25519_keypair, &bit, &curve25519_keypair));
  2368. tt_int_op(0,OP_EQ,ed25519_public_key_from_curve25519_public_key(
  2369. &ed25519_pubkey, &curve25519_keypair.pubkey, bit));
  2370. tt_mem_op(ed25519_pubkey.pubkey, OP_EQ, ed25519_keypair.pubkey.pubkey, 32);
  2371. tt_int_op(0,OP_EQ,ed25519_sign(&sig, msg, sizeof(msg), &ed25519_keypair));
  2372. tt_int_op(0,OP_EQ,ed25519_checksig(&sig, msg, sizeof(msg),
  2373. &ed25519_pubkey));
  2374. tt_int_op(-1,OP_EQ,ed25519_checksig(&sig, msg, sizeof(msg)-1,
  2375. &ed25519_pubkey));
  2376. sig.sig[0] ^= 15;
  2377. tt_int_op(-1,OP_EQ,ed25519_checksig(&sig, msg, sizeof(msg),
  2378. &ed25519_pubkey));
  2379. }
  2380. done:
  2381. ;
  2382. }
  2383. static void
  2384. test_crypto_ed25519_blinding(void *arg)
  2385. {
  2386. const uint8_t msg[] =
  2387. "Eyes I dare not meet in dreams / In death's dream kingdom";
  2388. const int N = 30;
  2389. int i;
  2390. (void)arg;
  2391. for (i = 0; i < N; ++i) {
  2392. uint8_t blinding[32];
  2393. ed25519_keypair_t ed25519_keypair;
  2394. ed25519_keypair_t ed25519_keypair_blinded;
  2395. ed25519_public_key_t ed25519_pubkey_blinded;
  2396. ed25519_signature_t sig;
  2397. crypto_rand((char*) blinding, sizeof(blinding));
  2398. tt_int_op(0,OP_EQ,ed25519_keypair_generate(&ed25519_keypair, 0));
  2399. tt_int_op(0,OP_EQ,ed25519_keypair_blind(&ed25519_keypair_blinded,
  2400. &ed25519_keypair, blinding));
  2401. tt_int_op(0,OP_EQ,ed25519_public_blind(&ed25519_pubkey_blinded,
  2402. &ed25519_keypair.pubkey, blinding));
  2403. tt_mem_op(ed25519_pubkey_blinded.pubkey, OP_EQ,
  2404. ed25519_keypair_blinded.pubkey.pubkey, 32);
  2405. tt_int_op(0,OP_EQ,ed25519_sign(&sig, msg, sizeof(msg),
  2406. &ed25519_keypair_blinded));
  2407. tt_int_op(0,OP_EQ,ed25519_checksig(&sig, msg, sizeof(msg),
  2408. &ed25519_pubkey_blinded));
  2409. tt_int_op(-1,OP_EQ,ed25519_checksig(&sig, msg, sizeof(msg)-1,
  2410. &ed25519_pubkey_blinded));
  2411. sig.sig[0] ^= 15;
  2412. tt_int_op(-1,OP_EQ,ed25519_checksig(&sig, msg, sizeof(msg),
  2413. &ed25519_pubkey_blinded));
  2414. }
  2415. done:
  2416. ;
  2417. }
  2418. /** Test that our blinding functions will fail if we pass them bad pubkeys */
  2419. static void
  2420. test_crypto_ed25519_blinding_fail(void *arg)
  2421. {
  2422. int retval;
  2423. uint8_t param[32] = {2};
  2424. ed25519_public_key_t pub;
  2425. ed25519_public_key_t pub_blinded;
  2426. (void)arg;
  2427. /* This point is not on the curve: the blind routines should fail */
  2428. const char badkey[] =
  2429. "e19c65de75c68cf3b7643ea732ba9eb1a3d20d6d57ba223c2ece1df66feb5af0";
  2430. retval = base16_decode((char*)pub.pubkey, sizeof(pub.pubkey),
  2431. badkey, strlen(badkey));
  2432. tt_int_op(retval, OP_EQ, sizeof(pub.pubkey));
  2433. retval = ed25519_public_blind(&pub_blinded, &pub, param);
  2434. tt_int_op(retval, OP_EQ, -1);
  2435. /* This point is legit: blind routines should be happy */
  2436. const char goodkey[] =
  2437. "4ba2e44760dff4c559ef3c38768c1c14a8a54740c782c8d70803e9d6e3ad8794";
  2438. retval = base16_decode((char*)pub.pubkey, sizeof(pub.pubkey),
  2439. goodkey, strlen(goodkey));
  2440. tt_int_op(retval, OP_EQ, sizeof(pub.pubkey));
  2441. retval = ed25519_public_blind(&pub_blinded, &pub, param);
  2442. tt_int_op(retval, OP_EQ, 0);
  2443. done:
  2444. ;
  2445. }
  2446. static void
  2447. test_crypto_ed25519_testvectors(void *arg)
  2448. {
  2449. unsigned i;
  2450. char *mem_op_hex_tmp = NULL;
  2451. (void)arg;
  2452. for (i = 0; i < ARRAY_LENGTH(ED25519_SECRET_KEYS); ++i) {
  2453. uint8_t sk[32];
  2454. ed25519_secret_key_t esk;
  2455. ed25519_public_key_t pk, blind_pk, pkfromcurve;
  2456. ed25519_keypair_t keypair, blind_keypair;
  2457. curve25519_keypair_t curvekp;
  2458. uint8_t blinding_param[32];
  2459. ed25519_signature_t sig;
  2460. int sign;
  2461. memset(&curvekp, 0xd0, sizeof(curvekp));
  2462. #define DECODE(p,s) base16_decode((char*)(p),sizeof(p),(s),strlen(s))
  2463. #define EQ(a,h) test_memeq_hex((const char*)(a), (h))
  2464. tt_int_op(sizeof(sk), OP_EQ, DECODE(sk, ED25519_SECRET_KEYS[i]));
  2465. tt_int_op(sizeof(blinding_param), OP_EQ, DECODE(blinding_param,
  2466. ED25519_BLINDING_PARAMS[i]));
  2467. tt_int_op(0, OP_EQ, ed25519_secret_key_from_seed(&esk, sk));
  2468. EQ(esk.seckey, ED25519_EXPANDED_SECRET_KEYS[i]);
  2469. tt_int_op(0, OP_EQ, ed25519_public_key_generate(&pk, &esk));
  2470. EQ(pk.pubkey, ED25519_PUBLIC_KEYS[i]);
  2471. memcpy(&curvekp.seckey.secret_key, esk.seckey, 32);
  2472. curve25519_public_key_generate(&curvekp.pubkey, &curvekp.seckey);
  2473. tt_int_op(0, OP_EQ,
  2474. ed25519_keypair_from_curve25519_keypair(&keypair, &sign, &curvekp));
  2475. tt_int_op(0, OP_EQ, ed25519_public_key_from_curve25519_public_key(
  2476. &pkfromcurve, &curvekp.pubkey, sign));
  2477. tt_mem_op(keypair.pubkey.pubkey, OP_EQ, pkfromcurve.pubkey, 32);
  2478. EQ(curvekp.pubkey.public_key, ED25519_CURVE25519_PUBLIC_KEYS[i]);
  2479. /* Self-signing */
  2480. memcpy(&keypair.seckey, &esk, sizeof(esk));
  2481. memcpy(&keypair.pubkey, &pk, sizeof(pk));
  2482. tt_int_op(0, OP_EQ, ed25519_sign(&sig, pk.pubkey, 32, &keypair));
  2483. EQ(sig.sig, ED25519_SELF_SIGNATURES[i]);
  2484. /* Blinding */
  2485. tt_int_op(0, OP_EQ,
  2486. ed25519_keypair_blind(&blind_keypair, &keypair, blinding_param));
  2487. tt_int_op(0, OP_EQ,
  2488. ed25519_public_blind(&blind_pk, &pk, blinding_param));
  2489. EQ(blind_keypair.seckey.seckey, ED25519_BLINDED_SECRET_KEYS[i]);
  2490. EQ(blind_pk.pubkey, ED25519_BLINDED_PUBLIC_KEYS[i]);
  2491. tt_mem_op(blind_pk.pubkey, OP_EQ, blind_keypair.pubkey.pubkey, 32);
  2492. #undef DECODE
  2493. #undef EQ
  2494. }
  2495. done:
  2496. tor_free(mem_op_hex_tmp);
  2497. }
  2498. static void
  2499. test_crypto_ed25519_storage(void *arg)
  2500. {
  2501. (void)arg;
  2502. ed25519_keypair_t *keypair = NULL;
  2503. ed25519_public_key_t pub;
  2504. ed25519_secret_key_t sec;
  2505. char *fname_1 = tor_strdup(get_fname("ed_seckey_1"));
  2506. char *fname_2 = tor_strdup(get_fname("ed_pubkey_2"));
  2507. char *contents = NULL;
  2508. char *tag = NULL;
  2509. keypair = tor_malloc_zero(sizeof(ed25519_keypair_t));
  2510. tt_int_op(0,OP_EQ,ed25519_keypair_generate(keypair, 0));
  2511. tt_int_op(0,OP_EQ,
  2512. ed25519_seckey_write_to_file(&keypair->seckey, fname_1, "foo"));
  2513. tt_int_op(0,OP_EQ,
  2514. ed25519_pubkey_write_to_file(&keypair->pubkey, fname_2, "bar"));
  2515. tt_int_op(-1, OP_EQ, ed25519_pubkey_read_from_file(&pub, &tag, fname_1));
  2516. tt_ptr_op(tag, OP_EQ, NULL);
  2517. tt_int_op(-1, OP_EQ, ed25519_seckey_read_from_file(&sec, &tag, fname_2));
  2518. tt_ptr_op(tag, OP_EQ, NULL);
  2519. tt_int_op(0, OP_EQ, ed25519_pubkey_read_from_file(&pub, &tag, fname_2));
  2520. tt_str_op(tag, OP_EQ, "bar");
  2521. tor_free(tag);
  2522. tt_int_op(0, OP_EQ, ed25519_seckey_read_from_file(&sec, &tag, fname_1));
  2523. tt_str_op(tag, OP_EQ, "foo");
  2524. tor_free(tag);
  2525. /* whitebox test: truncated keys. */
  2526. tt_int_op(0, OP_EQ, do_truncate(fname_1, 40));
  2527. tt_int_op(0, OP_EQ, do_truncate(fname_2, 40));
  2528. tt_int_op(-1, OP_EQ, ed25519_pubkey_read_from_file(&pub, &tag, fname_2));
  2529. tt_ptr_op(tag, OP_EQ, NULL);
  2530. tor_free(tag);
  2531. tt_int_op(-1, OP_EQ, ed25519_seckey_read_from_file(&sec, &tag, fname_1));
  2532. tt_ptr_op(tag, OP_EQ, NULL);
  2533. done:
  2534. tor_free(fname_1);
  2535. tor_free(fname_2);
  2536. tor_free(contents);
  2537. tor_free(tag);
  2538. ed25519_keypair_free(keypair);
  2539. }
  2540. static void
  2541. test_crypto_siphash(void *arg)
  2542. {
  2543. /* From the reference implementation, taking
  2544. k = 00 01 02 ... 0f
  2545. and in = 00; 00 01; 00 01 02; ...
  2546. */
  2547. const uint8_t VECTORS[64][8] =
  2548. {
  2549. { 0x31, 0x0e, 0x0e, 0xdd, 0x47, 0xdb, 0x6f, 0x72, },
  2550. { 0xfd, 0x67, 0xdc, 0x93, 0xc5, 0x39, 0xf8, 0x74, },
  2551. { 0x5a, 0x4f, 0xa9, 0xd9, 0x09, 0x80, 0x6c, 0x0d, },
  2552. { 0x2d, 0x7e, 0xfb, 0xd7, 0x96, 0x66, 0x67, 0x85, },
  2553. { 0xb7, 0x87, 0x71, 0x27, 0xe0, 0x94, 0x27, 0xcf, },
  2554. { 0x8d, 0xa6, 0x99, 0xcd, 0x64, 0x55, 0x76, 0x18, },
  2555. { 0xce, 0xe3, 0xfe, 0x58, 0x6e, 0x46, 0xc9, 0xcb, },
  2556. { 0x37, 0xd1, 0x01, 0x8b, 0xf5, 0x00, 0x02, 0xab, },
  2557. { 0x62, 0x24, 0x93, 0x9a, 0x79, 0xf5, 0xf5, 0x93, },
  2558. { 0xb0, 0xe4, 0xa9, 0x0b, 0xdf, 0x82, 0x00, 0x9e, },
  2559. { 0xf3, 0xb9, 0xdd, 0x94, 0xc5, 0xbb, 0x5d, 0x7a, },
  2560. { 0xa7, 0xad, 0x6b, 0x22, 0x46, 0x2f, 0xb3, 0xf4, },
  2561. { 0xfb, 0xe5, 0x0e, 0x86, 0xbc, 0x8f, 0x1e, 0x75, },
  2562. { 0x90, 0x3d, 0x84, 0xc0, 0x27, 0x56, 0xea, 0x14, },
  2563. { 0xee, 0xf2, 0x7a, 0x8e, 0x90, 0xca, 0x23, 0xf7, },
  2564. { 0xe5, 0x45, 0xbe, 0x49, 0x61, 0xca, 0x29, 0xa1, },
  2565. { 0xdb, 0x9b, 0xc2, 0x57, 0x7f, 0xcc, 0x2a, 0x3f, },
  2566. { 0x94, 0x47, 0xbe, 0x2c, 0xf5, 0xe9, 0x9a, 0x69, },
  2567. { 0x9c, 0xd3, 0x8d, 0x96, 0xf0, 0xb3, 0xc1, 0x4b, },
  2568. { 0xbd, 0x61, 0x79, 0xa7, 0x1d, 0xc9, 0x6d, 0xbb, },
  2569. { 0x98, 0xee, 0xa2, 0x1a, 0xf2, 0x5c, 0xd6, 0xbe, },
  2570. { 0xc7, 0x67, 0x3b, 0x2e, 0xb0, 0xcb, 0xf2, 0xd0, },
  2571. { 0x88, 0x3e, 0xa3, 0xe3, 0x95, 0x67, 0x53, 0x93, },
  2572. { 0xc8, 0xce, 0x5c, 0xcd, 0x8c, 0x03, 0x0c, 0xa8, },
  2573. { 0x94, 0xaf, 0x49, 0xf6, 0xc6, 0x50, 0xad, 0xb8, },
  2574. { 0xea, 0xb8, 0x85, 0x8a, 0xde, 0x92, 0xe1, 0xbc, },
  2575. { 0xf3, 0x15, 0xbb, 0x5b, 0xb8, 0x35, 0xd8, 0x17, },
  2576. { 0xad, 0xcf, 0x6b, 0x07, 0x63, 0x61, 0x2e, 0x2f, },
  2577. { 0xa5, 0xc9, 0x1d, 0xa7, 0xac, 0xaa, 0x4d, 0xde, },
  2578. { 0x71, 0x65, 0x95, 0x87, 0x66, 0x50, 0xa2, 0xa6, },
  2579. { 0x28, 0xef, 0x49, 0x5c, 0x53, 0xa3, 0x87, 0xad, },
  2580. { 0x42, 0xc3, 0x41, 0xd8, 0xfa, 0x92, 0xd8, 0x32, },
  2581. { 0xce, 0x7c, 0xf2, 0x72, 0x2f, 0x51, 0x27, 0x71, },
  2582. { 0xe3, 0x78, 0x59, 0xf9, 0x46, 0x23, 0xf3, 0xa7, },
  2583. { 0x38, 0x12, 0x05, 0xbb, 0x1a, 0xb0, 0xe0, 0x12, },
  2584. { 0xae, 0x97, 0xa1, 0x0f, 0xd4, 0x34, 0xe0, 0x15, },
  2585. { 0xb4, 0xa3, 0x15, 0x08, 0xbe, 0xff, 0x4d, 0x31, },
  2586. { 0x81, 0x39, 0x62, 0x29, 0xf0, 0x90, 0x79, 0x02, },
  2587. { 0x4d, 0x0c, 0xf4, 0x9e, 0xe5, 0xd4, 0xdc, 0xca, },
  2588. { 0x5c, 0x73, 0x33, 0x6a, 0x76, 0xd8, 0xbf, 0x9a, },
  2589. { 0xd0, 0xa7, 0x04, 0x53, 0x6b, 0xa9, 0x3e, 0x0e, },
  2590. { 0x92, 0x59, 0x58, 0xfc, 0xd6, 0x42, 0x0c, 0xad, },
  2591. { 0xa9, 0x15, 0xc2, 0x9b, 0xc8, 0x06, 0x73, 0x18, },
  2592. { 0x95, 0x2b, 0x79, 0xf3, 0xbc, 0x0a, 0xa6, 0xd4, },
  2593. { 0xf2, 0x1d, 0xf2, 0xe4, 0x1d, 0x45, 0x35, 0xf9, },
  2594. { 0x87, 0x57, 0x75, 0x19, 0x04, 0x8f, 0x53, 0xa9, },
  2595. { 0x10, 0xa5, 0x6c, 0xf5, 0xdf, 0xcd, 0x9a, 0xdb, },
  2596. { 0xeb, 0x75, 0x09, 0x5c, 0xcd, 0x98, 0x6c, 0xd0, },
  2597. { 0x51, 0xa9, 0xcb, 0x9e, 0xcb, 0xa3, 0x12, 0xe6, },
  2598. { 0x96, 0xaf, 0xad, 0xfc, 0x2c, 0xe6, 0x66, 0xc7, },
  2599. { 0x72, 0xfe, 0x52, 0x97, 0x5a, 0x43, 0x64, 0xee, },
  2600. { 0x5a, 0x16, 0x45, 0xb2, 0x76, 0xd5, 0x92, 0xa1, },
  2601. { 0xb2, 0x74, 0xcb, 0x8e, 0xbf, 0x87, 0x87, 0x0a, },
  2602. { 0x6f, 0x9b, 0xb4, 0x20, 0x3d, 0xe7, 0xb3, 0x81, },
  2603. { 0xea, 0xec, 0xb2, 0xa3, 0x0b, 0x22, 0xa8, 0x7f, },
  2604. { 0x99, 0x24, 0xa4, 0x3c, 0xc1, 0x31, 0x57, 0x24, },
  2605. { 0xbd, 0x83, 0x8d, 0x3a, 0xaf, 0xbf, 0x8d, 0xb7, },
  2606. { 0x0b, 0x1a, 0x2a, 0x32, 0x65, 0xd5, 0x1a, 0xea, },
  2607. { 0x13, 0x50, 0x79, 0xa3, 0x23, 0x1c, 0xe6, 0x60, },
  2608. { 0x93, 0x2b, 0x28, 0x46, 0xe4, 0xd7, 0x06, 0x66, },
  2609. { 0xe1, 0x91, 0x5f, 0x5c, 0xb1, 0xec, 0xa4, 0x6c, },
  2610. { 0xf3, 0x25, 0x96, 0x5c, 0xa1, 0x6d, 0x62, 0x9f, },
  2611. { 0x57, 0x5f, 0xf2, 0x8e, 0x60, 0x38, 0x1b, 0xe5, },
  2612. { 0x72, 0x45, 0x06, 0xeb, 0x4c, 0x32, 0x8a, 0x95, }
  2613. };
  2614. const struct sipkey K = { UINT64_C(0x0706050403020100),
  2615. UINT64_C(0x0f0e0d0c0b0a0908) };
  2616. uint8_t input[64];
  2617. int i, j;
  2618. (void)arg;
  2619. for (i = 0; i < 64; ++i)
  2620. input[i] = i;
  2621. for (i = 0; i < 64; ++i) {
  2622. uint64_t r = siphash24(input, i, &K);
  2623. for (j = 0; j < 8; ++j) {
  2624. tt_int_op( (r >> (j*8)) & 0xff, OP_EQ, VECTORS[i][j]);
  2625. }
  2626. }
  2627. done:
  2628. ;
  2629. }
  2630. /* We want the likelihood that the random buffer exhibits any regular pattern
  2631. * to be far less than the memory bit error rate in the int return value.
  2632. * Using 2048 bits provides a failure rate of 1/(3 * 10^616), and we call
  2633. * 3 functions, leading to an overall error rate of 1/10^616.
  2634. * This is comparable with the 1/10^603 failure rate of test_crypto_rng_range.
  2635. */
  2636. #define FAILURE_MODE_BUFFER_SIZE (2048/8)
  2637. /** Check crypto_rand for a failure mode where it does nothing to the buffer,
  2638. * or it sets the buffer to all zeroes. Return 0 when the check passes,
  2639. * or -1 when it fails. */
  2640. static int
  2641. crypto_rand_check_failure_mode_zero(void)
  2642. {
  2643. char buf[FAILURE_MODE_BUFFER_SIZE];
  2644. memset(buf, 0, FAILURE_MODE_BUFFER_SIZE);
  2645. crypto_rand(buf, FAILURE_MODE_BUFFER_SIZE);
  2646. for (size_t i = 0; i < FAILURE_MODE_BUFFER_SIZE; i++) {
  2647. if (buf[i] != 0) {
  2648. return 0;
  2649. }
  2650. }
  2651. return -1;
  2652. }
  2653. /** Check crypto_rand for a failure mode where every int64_t in the buffer is
  2654. * the same. Return 0 when the check passes, or -1 when it fails. */
  2655. static int
  2656. crypto_rand_check_failure_mode_identical(void)
  2657. {
  2658. /* just in case the buffer size isn't a multiple of sizeof(int64_t) */
  2659. #define FAILURE_MODE_BUFFER_SIZE_I64 \
  2660. (FAILURE_MODE_BUFFER_SIZE/8)
  2661. #define FAILURE_MODE_BUFFER_SIZE_I64_BYTES \
  2662. (FAILURE_MODE_BUFFER_SIZE_I64*8)
  2663. #if FAILURE_MODE_BUFFER_SIZE_I64 < 2
  2664. #error FAILURE_MODE_BUFFER_SIZE needs to be at least 2*8
  2665. #endif
  2666. int64_t buf[FAILURE_MODE_BUFFER_SIZE_I64];
  2667. memset(buf, 0, FAILURE_MODE_BUFFER_SIZE_I64_BYTES);
  2668. crypto_rand((char *)buf, FAILURE_MODE_BUFFER_SIZE_I64_BYTES);
  2669. for (size_t i = 1; i < FAILURE_MODE_BUFFER_SIZE_I64; i++) {
  2670. if (buf[i] != buf[i-1]) {
  2671. return 0;
  2672. }
  2673. }
  2674. return -1;
  2675. }
  2676. /** Check crypto_rand for a failure mode where it increments the "random"
  2677. * value by 1 for every byte in the buffer. (This is OpenSSL's PREDICT mode.)
  2678. * Return 0 when the check passes, or -1 when it fails. */
  2679. static int
  2680. crypto_rand_check_failure_mode_predict(void)
  2681. {
  2682. unsigned char buf[FAILURE_MODE_BUFFER_SIZE];
  2683. memset(buf, 0, FAILURE_MODE_BUFFER_SIZE);
  2684. crypto_rand((char *)buf, FAILURE_MODE_BUFFER_SIZE);
  2685. for (size_t i = 1; i < FAILURE_MODE_BUFFER_SIZE; i++) {
  2686. /* check if the last byte was incremented by 1, including integer
  2687. * wrapping */
  2688. if (buf[i] - buf[i-1] != 1 && buf[i-1] - buf[i] != 255) {
  2689. return 0;
  2690. }
  2691. }
  2692. return -1;
  2693. }
  2694. #undef FAILURE_MODE_BUFFER_SIZE
  2695. /** Test that our ed25519 validation function rejects evil public keys and
  2696. * accepts good ones. */
  2697. static void
  2698. test_crypto_ed25519_validation(void *arg)
  2699. {
  2700. (void) arg;
  2701. int retval;
  2702. ed25519_public_key_t pub1;
  2703. /* See https://lists.torproject.org/pipermail/tor-dev/2017-April/012230.html
  2704. for a list of points with torsion components in ed25519. */
  2705. { /* Point with torsion component (order 8l) */
  2706. const char badkey[] =
  2707. "300ef2e64e588e1df55b48e4da0416ffb64cc85d5b00af6463d5cc6c2b1c185e";
  2708. retval = base16_decode((char*)pub1.pubkey, sizeof(pub1.pubkey),
  2709. badkey, strlen(badkey));
  2710. tt_int_op(retval, OP_EQ, sizeof(pub1.pubkey));
  2711. tt_int_op(ed25519_validate_pubkey(&pub1), OP_EQ, -1);
  2712. }
  2713. { /* Point with torsion component (order 4l) */
  2714. const char badkey[] =
  2715. "f43e3a046db8749164c6e69b193f1e942c7452e7d888736f40b98093d814d5e7";
  2716. retval = base16_decode((char*)pub1.pubkey, sizeof(pub1.pubkey),
  2717. badkey, strlen(badkey));
  2718. tt_int_op(retval, OP_EQ, sizeof(pub1.pubkey));
  2719. tt_int_op(ed25519_validate_pubkey(&pub1), OP_EQ, -1);
  2720. }
  2721. { /* Point with torsion component (order 2l) */
  2722. const char badkey[] =
  2723. "c9fff3af0471c28e33e98c2043e44f779d0427b1e37c521a6bddc011ed1869af";
  2724. retval = base16_decode((char*)pub1.pubkey, sizeof(pub1.pubkey),
  2725. badkey, strlen(badkey));
  2726. tt_int_op(retval, OP_EQ, sizeof(pub1.pubkey));
  2727. tt_int_op(ed25519_validate_pubkey(&pub1), OP_EQ, -1);
  2728. }
  2729. { /* This point is not even on the curve */
  2730. const char badkey[] =
  2731. "e19c65de75c68cf3b7643ea732ba9eb1a3d20d6d57ba223c2ece1df66feb5af0";
  2732. retval = base16_decode((char*)pub1.pubkey, sizeof(pub1.pubkey),
  2733. badkey, strlen(badkey));
  2734. tt_int_op(retval, OP_EQ, sizeof(pub1.pubkey));
  2735. tt_int_op(ed25519_validate_pubkey(&pub1), OP_EQ, -1);
  2736. }
  2737. { /* This one is a good key */
  2738. const char goodkey[] =
  2739. "4ba2e44760dff4c559ef3c38768c1c14a8a54740c782c8d70803e9d6e3ad8794";
  2740. retval = base16_decode((char*)pub1.pubkey, sizeof(pub1.pubkey),
  2741. goodkey, strlen(goodkey));
  2742. tt_int_op(retval, OP_EQ, sizeof(pub1.pubkey));
  2743. tt_int_op(ed25519_validate_pubkey(&pub1), OP_EQ, 0);
  2744. }
  2745. done: ;
  2746. }
  2747. static void
  2748. test_crypto_failure_modes(void *arg)
  2749. {
  2750. int rv = 0;
  2751. (void)arg;
  2752. rv = crypto_early_init();
  2753. tt_int_op(rv, OP_EQ, 0);
  2754. /* Check random works */
  2755. rv = crypto_rand_check_failure_mode_zero();
  2756. tt_int_op(rv, OP_EQ, 0);
  2757. rv = crypto_rand_check_failure_mode_identical();
  2758. tt_int_op(rv, OP_EQ, 0);
  2759. rv = crypto_rand_check_failure_mode_predict();
  2760. tt_int_op(rv, OP_EQ, 0);
  2761. done:
  2762. ;
  2763. }
  2764. #define CRYPTO_LEGACY(name) \
  2765. { #name, test_crypto_ ## name , 0, NULL, NULL }
  2766. #define ED25519_TEST_ONE(name, fl, which) \
  2767. { #name "/ed25519_" which, test_crypto_ed25519_ ## name, (fl), \
  2768. &ed25519_test_setup, (void*)which }
  2769. #define ED25519_TEST(name, fl) \
  2770. ED25519_TEST_ONE(name, (fl), "donna"), \
  2771. ED25519_TEST_ONE(name, (fl), "ref10")
  2772. struct testcase_t crypto_tests[] = {
  2773. CRYPTO_LEGACY(formats),
  2774. CRYPTO_LEGACY(rng),
  2775. { "rng_range", test_crypto_rng_range, 0, NULL, NULL },
  2776. { "rng_strongest", test_crypto_rng_strongest, TT_FORK, NULL, NULL },
  2777. { "rng_strongest_nosyscall", test_crypto_rng_strongest, TT_FORK,
  2778. &passthrough_setup, (void*)"nosyscall" },
  2779. { "rng_strongest_nofallback", test_crypto_rng_strongest, TT_FORK,
  2780. &passthrough_setup, (void*)"nofallback" },
  2781. { "rng_strongest_broken", test_crypto_rng_strongest, TT_FORK,
  2782. &passthrough_setup, (void*)"broken" },
  2783. { "openssl_version", test_crypto_openssl_version, TT_FORK, NULL, NULL },
  2784. { "aes_AES", test_crypto_aes128, TT_FORK, &passthrough_setup, (void*)"aes" },
  2785. { "aes_EVP", test_crypto_aes128, TT_FORK, &passthrough_setup, (void*)"evp" },
  2786. { "aes128_ctr_testvec", test_crypto_aes_ctr_testvec, 0,
  2787. &passthrough_setup, (void*)"128" },
  2788. { "aes192_ctr_testvec", test_crypto_aes_ctr_testvec, 0,
  2789. &passthrough_setup, (void*)"192" },
  2790. { "aes256_ctr_testvec", test_crypto_aes_ctr_testvec, 0,
  2791. &passthrough_setup, (void*)"256" },
  2792. CRYPTO_LEGACY(sha),
  2793. CRYPTO_LEGACY(pk),
  2794. { "pk_fingerprints", test_crypto_pk_fingerprints, TT_FORK, NULL, NULL },
  2795. { "pk_base64", test_crypto_pk_base64, TT_FORK, NULL, NULL },
  2796. { "pk_pem_encrypted", test_crypto_pk_pem_encrypted, TT_FORK, NULL, NULL },
  2797. { "pk_invalid_private_key", test_crypto_pk_invalid_private_key, 0,
  2798. NULL, NULL },
  2799. CRYPTO_LEGACY(digests),
  2800. { "digest_names", test_crypto_digest_names, 0, NULL, NULL },
  2801. { "sha3", test_crypto_sha3, TT_FORK, NULL, NULL},
  2802. { "sha3_xof", test_crypto_sha3_xof, TT_FORK, NULL, NULL},
  2803. { "mac_sha3", test_crypto_mac_sha3, TT_FORK, NULL, NULL},
  2804. CRYPTO_LEGACY(dh),
  2805. { "aes_iv_AES", test_crypto_aes_iv, TT_FORK, &passthrough_setup,
  2806. (void*)"aes" },
  2807. { "aes_iv_EVP", test_crypto_aes_iv, TT_FORK, &passthrough_setup,
  2808. (void*)"evp" },
  2809. CRYPTO_LEGACY(base32_decode),
  2810. { "kdf_TAP", test_crypto_kdf_TAP, 0, NULL, NULL },
  2811. { "hkdf_sha256", test_crypto_hkdf_sha256, 0, NULL, NULL },
  2812. { "hkdf_sha256_testvecs", test_crypto_hkdf_sha256_testvecs, 0, NULL, NULL },
  2813. { "curve25519_impl", test_crypto_curve25519_impl, 0, NULL, NULL },
  2814. { "curve25519_impl_hibit", test_crypto_curve25519_impl, 0, NULL, (void*)"y"},
  2815. { "curve25516_testvec", test_crypto_curve25519_testvec, 0, NULL, NULL },
  2816. { "curve25519_basepoint",
  2817. test_crypto_curve25519_basepoint, TT_FORK, NULL, NULL },
  2818. { "curve25519_wrappers", test_crypto_curve25519_wrappers, 0, NULL, NULL },
  2819. { "curve25519_encode", test_crypto_curve25519_encode, 0, NULL, NULL },
  2820. { "curve25519_persist", test_crypto_curve25519_persist, 0, NULL, NULL },
  2821. ED25519_TEST(simple, 0),
  2822. ED25519_TEST(test_vectors, 0),
  2823. ED25519_TEST(encode, 0),
  2824. ED25519_TEST(convert, 0),
  2825. ED25519_TEST(blinding, 0),
  2826. ED25519_TEST(blinding_fail, 0),
  2827. ED25519_TEST(testvectors, 0),
  2828. ED25519_TEST(validation, 0),
  2829. { "ed25519_storage", test_crypto_ed25519_storage, 0, NULL, NULL },
  2830. { "siphash", test_crypto_siphash, 0, NULL, NULL },
  2831. { "failure_modes", test_crypto_failure_modes, TT_FORK, NULL, NULL },
  2832. END_OF_TESTCASES
  2833. };