CryptTool.js 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238
  1. 'use strict';
  2. require('../common');
  3. describe('CryptTool', function () {
  4. describe('cipher & decipher', function () {
  5. this.timeout(30000);
  6. it('can en- and decrypt any message', function () {
  7. jsc.check(jsc.forall(
  8. 'string',
  9. 'string',
  10. 'string',
  11. function (key, password, message) {
  12. return message === $.PrivateBin.CryptTool.decipher(
  13. key,
  14. password,
  15. $.PrivateBin.CryptTool.cipher(key, password, message)
  16. );
  17. }
  18. ),
  19. // reducing amount of checks as running 100 takes about 5 minutes
  20. {tests: 5, quiet: true});
  21. });
  22. it('can decrypt a particular message (#260)', function () {
  23. var message = `
  24. 1 subgoal
  25. inv : Assert
  26. expr : Expr
  27. sBody : Instr
  28. deduction : (|- [|inv /\ assertOfExpr expr|] sBody [|inv|])%assert
  29. IHdeduction : (|= [|inv /\ assertOfExpr expr |] sBody [|inv|])%assert
  30. mem : Mem
  31. preInMem : inv mem
  32. m : Mem
  33. n : nat
  34. interpRel : interp (nth_iterate sBody n) (MemElem mem) = CpoElem Mem m
  35. lastIter : interp (nth_iterate sBody n) (MemElem mem) |=e expr_neg expr
  36. notLastIter : forall p : nat,
  37. p < n -> interp (nth_iterate sBody p) (MemElem mem) |=e expr
  38. isWhile : interp (while expr sBody) (MemElem mem) =
  39. interp (nth_iterate sBody n) (MemElem mem)
  40. ======================== ( 1 / 1 )
  41. conseq_or_bottom inv (interp (nth_iterate sBody n) (MemElem mem))
  42. `;
  43. if (message !== $.PrivateBin.CryptTool.decipher(
  44. 'y+4So8y7GYliFc+LcyFhXYSyMW/v1CdGqnSND+MPtNw=',
  45. '', // no password
  46. '{"iv":"LwfPcuKXYo2f6gjrtVRbcg==","v":1,"iter":1000,"ks":256,"ts":128,"mode":"gcm","adata":"","cipher":"aes","salt":"gw7Pe+7WGGI=","ct":"Mk6jTCNQjJUTnOQtFGtNqxTtzwnbDEWNmPd0teSJn5PW2IczTcE5aSvevONSOEpP476aNUA0JfPuK8v8zLqK2rmk8ESmm9wqkEdWWdMY2kvzU8mxo1yp6DBs5aXmy9y585GvB4kaCyh6nH2YFDQczUDZ4AQlGC8T11YMPO4sHM\/SOewS8vCnZ3tTiSuLjV0LC6k+xZ3jTg\/yH+V2cH5vfvj2eQMhUaMOyzjSQF34Ab7+pApuVVHXZ\/0lo86btt7iWo7yOHV59Te9AjpxzWgBI2gzTBBsk\/4WeYYVK3l2lTLy08GS9D8D1AbSsTrp5tSH84StAr+kMnEIsiR6FIbJ\/AP+6v9MQ2ryyUXGOj5HQLUZDsle3QQvtB7F6mqPDUvKtx\/Pxx0OHgNW5ttA581Hn1XWreUF6KzoWfcA6XdDEH4eylNiFrAFX+H1Mxfnxwz3aVOiRlP4+zrtmNcR\/XV87nzuDz2fqScrjFsPQ+FV\/784qe\/ZYs3Kp0Q+kVAnXm31vVwc6GU0b\/1bTZfknts0fKoIjCcH1gLivQfrj87QlTUa4l6TVzqgLLapB4EgW4CxcZ4PBhyexSuw+ZmUw\/kqyXZWP3R\/IzElI5Lt9GyLIzpyI9EvWLpVTn8iN8XOFZuEhHfTGb7Wdl+\/\/la4gsvhEvAx+ADqjjPgX0h4lFbyMZXHU3yN0QJr1jiZhIdbWL0QEyUkuWk6PK6E0ziHu558+8+WEjeYkElPosZwKtCHE4Ogfk6taZJhcV3rQu8U\/icqd1gAzbBFXp0="}'
  47. )) {
  48. throw Error('a particular message (#260) could not be deciphered');
  49. }
  50. });
  51. // The below static unit tests are included to ensure deciphering of "classic"
  52. // SJCL based pastes still works
  53. it(
  54. 'supports PrivateBin v1 ciphertext (SJCL & Base64 2.1.9)',
  55. function () {
  56. // Of course you can easily decipher the following texts, if you like.
  57. // Bonus points for finding their sources and hidden meanings.
  58. var paste1 = $.PrivateBin.CryptTool.decipher(
  59. '6t2qsmLyfXIokNCL+3/yl15rfTUBQvm5SOnFPvNE7Q8=',
  60. // -- "That's amazing. I've got the same combination on my luggage."
  61. Array.apply(0, Array(6)).map(function(_,b) { return b + 1; }).join(''),
  62. '{"iv":"4HNFIl7eYbCh6HuShctTIA==","v":1,"iter":10000,"ks"' +
  63. ':256,"ts":128,"mode":"gcm","adata":"","cipher":"aes","sa' +
  64. 'lt":"u0lQvePq6L0=","ct":"fGPUVrDyaVr1ZDGb+kqQ3CPEW8x4YKG' +
  65. 'fzHDmA0Vjkh250aWNe7Cnigkps9aaFVMX9AaerrTp3yZbojJtNqVGMfL' +
  66. 'dUTu+53xmZHqRKxCCqSfDNSNoW4Oxk5OVgAtRyuG4bXHDsWTXDNz2xce' +
  67. 'qzVFqhkwTwlUchrV7uuFK/XUKTNjPFM744moivIcBbfM2FOeKlIFs8RY' +
  68. 'PYuvqQhp2rMLlNGwwKh//4kykQsHMQDeSDuJl8stMQzgWR/btUBZuwNZ' +
  69. 'EydkMH6IPpTdf5WTSrZ+wC2OK0GutCm4UaEe6txzaTMfu+WRVu4PN6q+' +
  70. 'N+2zljWJ1XdpVcN/i0Sv4QVMym0Xa6y0eccEhj/69o47PmExmMMeEwEx' +
  71. 'ImPalMNT9JUSiZdOZJ/GdzwrwoIuq1mdQR6vSH+XJ/8jXJQ7bjjJVJYX' +
  72. 'TcT0Di5jixArI2Kpp1GGlGVFbLgPugwU1wczg+byqeDOAECXRRnQcoge' +
  73. 'aJtVcRwXwfy4j3ORFcblYMilxyHqKBewcYPRVBGtBs50cVjSIkAfR84r' +
  74. 'nc1nfvnxK/Gmm+4VBNHI6ODWNpRolVMCzXjbKYnV3Are5AgSpsTqaGl4' +
  75. '1VJGpcco6cAwi4K0Bys1seKR+bLSdUgqRrkEqSRSdu3/VTu9HhEk8an0' +
  76. 'rjTE4CBB5/LMn16p0TGLoOb32odKFIEtpanVvLjeyiVMvSxcgYLNnTi/' +
  77. '5FiaAC4pJxRD+AZHedU1FICUeEXxIcac/4E5qjkHjX9SpQtLl80QLIVn' +
  78. 'jNliZm7QLB/nKu7W8Jb0+/CiTdV3Q9LhxlH4ciprnX+W0B00BKYFHnL9' +
  79. 'jRVzKdXhf1EHydbXMAfpCjHAXIVCkFakJinQBDIIw/SC6Yig0u0ddEID' +
  80. '2B7LYAP1iE4RZwzTrxCB+ke2jQr8c20Jj6u6ShFOPC9DCw9XupZ4HAal' +
  81. 'VG00kSgjus+b8zrVji3/LKEhb4EBzp1ctBJCFTeXwej8ZETLoXTylev5' +
  82. 'dlwZSYAbuBPPcbFR/xAIPx3uDabd1E1gTqUc68ICIGhd197Mb2eRWiSv' +
  83. 'Hr5SPsASerMxId6XA6+iQlRiI+NDR+TGVNmCnfxSlyPFMOHGTmslXOGI' +
  84. 'qGfBR8l4ft8YVZ70lCwmwTuViGc75ULSf9mM57/LmRzQFMYQtvI8IFK9' +
  85. 'JaQEMY5xz0HLtR4iyQUUdwR9e0ytBNdWF2a2WPDEnJuY/QJo4GzTlgv4' +
  86. 'QUxMXI5htsn2rf0HxCFu7Po8DNYLxTS+67hYjDIYWYaEIc8LXWMLyDm9' +
  87. 'C5fARPJ4F2BIWgzgzkNj+dVjusft2XnziamWdbS5u3kuRlVuz5LQj+R5' +
  88. 'imnqQAincdZTkTT1nYx+DatlOLllCYIHffpI="}'
  89. ),
  90. paste2 = $.PrivateBin.CryptTool.decipher(
  91. 's9pmKZKOBN7EVvHpTA8jjLFH3Xlz/0l8lB4+ONPACrM=',
  92. '', // no password
  93. '{"iv":"WA42mdxIVXUwBqZu7JYNiw==","v":1,"iter":10000,"ks"' +
  94. ':256,"ts":128,"mode":"gcm","adata":"","cipher":"aes","sa' +
  95. 'lt":"jN6CjbQMJCM=","ct":"kYYMo5DFG1+w0UHiYXT5pdV0IUuXxzO' +
  96. 'lslkW/c3DRCbGFROCVkAskHce7HoRczee1N9c5MhHjVMJUIZE02qIS8U' +
  97. 'yHdJ/GqcPVidTUcj9rnDNWsTXkjVv8jCwHS/cwmAjDTWpwp5ThECN+ov' +
  98. '/wNp/NdtTj8Qj7f/T3rfZIOCWfwLH9s4Des35UNcUidfPTNQ1l0Gm0X+' +
  99. 'r98CCUSYZjQxkZc6hRZBLPQ8EaNVooUwd5eP4GiYlmSDNA0wOSA+5isP' +
  100. 'YxomVCt+kFf58VBlNhpfNi7BLYAUTPpXT4SfH5drR9+C7NTeZ+tTCYjb' +
  101. 'U94PzYItOpu8vgnB1/a6BAM5h3m9w+giUb0df4hgTWeZnZxLjo5BN8WV' +
  102. '+kdTXMj3/Vv0gw0DQrDcCuX/cBAjpy3lQGwlAN1vXoOIyZJUjMpQRrOL' +
  103. 'dKvLB+zcmVNtGDbgnfP2IYBzk9NtodpUa27ne0T0ZpwOPlVwevsIVZO2' +
  104. '24WLa+iQmmHOWDFFpVDlS0t0fLfOk7Hcb2xFsTxiCIiyKMho/IME1Du3' +
  105. 'X4e6BVa3hobSSZv0rRtNgY1KcyYPrUPW2fxZ+oik3y9SgGvb7XpjVIta' +
  106. '8DWlDWRfZ9kzoweWEYqz9IA8Xd373RefpyuWI25zlHoX3nwljzsZU6dC' +
  107. '//h/Dt2DNr+IAvKO3+u23cWoB9kgcZJ2FJuqjLvVfCF+OWcig7zs2pTY' +
  108. 'JW6Rg6lqbBCxiUUlae6xJrjfv0pzD2VYCLY7v1bVTagppwKzNI3WaluC' +
  109. 'OrdDYUCxUSe56yd1oAoLPRVbYvomRboUO6cjQhEknERyvt45og2kORJO' +
  110. 'EJayHW+jZgR0Y0jM3Nk17ubpij2gHxNx9kiLDOiCGSV5mn9mV7qd3HHc' +
  111. 'OMSykiBgbyzjobi96LT2dIGLeDXTIdPOog8wyobO4jWq0GGs0vBB8oSY' +
  112. 'XhHvixZLcSjX2KQuHmEoWzmJcr3DavdoXZmAurGWLKjzEdJc5dSD/eNr' +
  113. '99gjHX7wphJ6umKMM+fn6PcbYJkhDh2GlJL5COXjXfm/5aj/vuyaRRWZ' +
  114. 'MZtmnYpGAtAPg7AUG"}'
  115. );
  116. if (!paste1.includes('securely packed in iron') || !paste2.includes('Sol is right')) {
  117. throw Error('v1 (SJCL based) pastes could not be deciphered');
  118. }
  119. }
  120. );
  121. it(
  122. 'supports ZeroBin ciphertext (SJCL & Base64 1.7)',
  123. function () {
  124. var newBase64 = global.Base64;
  125. global.Base64 = require('../base64-1.7').Base64;
  126. jsdom();
  127. delete require.cache[require.resolve('../privatebin')];
  128. require('../privatebin');
  129. // Of course you can easily decipher the following texts, if you like.
  130. // Bonus points for finding their sources and hidden meanings.
  131. var paste1 = $.PrivateBin.CryptTool.decipher(
  132. '6t2qsmLyfXIokNCL+3/yl15rfTUBQvm5SOnFPvNE7Q8=',
  133. // -- "That's amazing. I've got the same combination on my luggage."
  134. Array.apply(0, Array(6)).map(function(_,b) { return b + 1; }).join(''),
  135. '{"iv":"aTnR2qBL1CAmLX8FdWe3VA==","v":1,"iter":10000,"ks"' +
  136. ':256,"ts":128,"mode":"gcm","adata":"","cipher":"aes","sa' +
  137. 'lt":"u0lQvePq6L0=","ct":"A3nBTvICZtYy6xqbIJE0c8Veored5lM' +
  138. 'JUGgGUm4581wjrPFlU0Q0tUZSf+RUUoZj2jqDa4kiyyZ5YNMe30hNMV0' +
  139. 'oVSalNhRgD9svVMnPuF162IbyhVCwr7ULjT981CHxVlGNqGqmIU6L/Xi' +
  140. 'xgdArxAA8x1GCrfAkBWWGeq8Qw5vJPG/RCHpwR4Wy3azrluqeyERBzma' +
  141. 'OQjO/kM35TiI6IrLYFyYyL7upYlxAaxS0XBMZvN8QU8Lnerwvh5JVC6O' +
  142. 'kkKrhogajTJIKozCF79yI78c50LUh7tTuI3Yoh7+fXxhoODvQdYFmoiU' +
  143. 'lrutN7Y5ZMRdITvVu8fTYtX9c7Fiufmcq5icEimiHp2g1bvfpOaGOsFT' +
  144. '+XNFgC9215jcp5mpBdN852xs7bUtw+nDrf+LsDEX6iRpRZ+PYgLDN5xQ' +
  145. 'T1ByEtYbeP+tO38pnx72oZdIB3cj8UkOxnxdNiZM5YB5egn4jUj1fHot' +
  146. '1I69WoTiUJipZ5PIATv7ScymRB+AYzjxjurQ9lVfX9QtAbEH2dhdmoUo' +
  147. '3IDRSXpWNCe9RC1aUIyWfZO7oI7FEohNscHNTLEcT+wFnFUPByLlXmjN' +
  148. 'Z7FKeNpvUm3jTY4t4sbZH8o2dUl624PAw1INcJ6FKqWGWwoFT2j1MYC+' +
  149. 'YV/LkLTdjuWfayvwLMh27G/FfKCRbW36vqinegqpPDylsx9+3oFkEw3y' +
  150. '5Z8+44oN91rE/4Md7JhPJeRVlFC9TNCj4dA+EVhbbQqscvSnIH2uHkMw' +
  151. '7mNNo7xba/YT9KoPDaniqnYqb+q2pX1WNWE7dLS2wfroMAS3kh8P22DA' +
  152. 'V37AeiNoD2PcI6ZcHbRdPa+XRrRcJhSPPW7UQ0z4OvBfjdu/w390QxAx' +
  153. 'SxvZewoh49fKKB6hTsRnZb4tpHkjlww=="}'
  154. ),
  155. paste2 = $.PrivateBin.CryptTool.decipher(
  156. 's9pmKZKOBN7EVvHpTA8jjLFH3Xlz/0l8lB4+ONPACrM=',
  157. '', // no password
  158. '{"iv":"Z7lAZQbkrqGMvruxoSm6Pw==","v":1,"iter":10000,"ks"' +
  159. ':256,"ts":128,"mode":"gcm","adata":"","cipher":"aes","sa' +
  160. 'lt":"jN6CjbQMJCM=","ct":"PuOPWB3i2FPcreSrLYeQf84LdE8RHjs' +
  161. 'c+MGtiOr4b7doNyWKYtkNorbRadxaPnEee2/Utrp1MIIfY5juJSy8RGw' +
  162. 'EPX5ciWcYe6EzsXWznsnvhmpKNj9B7eIIrfSbxfy8E2e/g7xav1nive+' +
  163. 'ljToka3WT1DZ8ILQd/NbnJeHWaoSEOfvz8+d8QJPb1tNZvs7zEY95Dum' +
  164. 'QwbyOsIMKAvcZHJ9OJNpujXzdMyt6DpcFcqlldWBZ/8q5rAUTw0HNx/r' +
  165. 'CgbhAxRYfNoTLIcMM4L0cXbPSgCjwf5FuO3EdE13mgEDhcClW79m0Qvc' +
  166. 'nIh8xgzYoxLbp0+AwvC/MbZM8savN/0ieWr2EKkZ04ggiOIEyvfCUuNp' +
  167. 'rQBYO+y8kKduNEN6by0Yf4LRCPfmwN+GezDLuzTnZIMhPbGqUAdgV6Ex' +
  168. 'qK2ULEEIrQEMoOuQIxfoMhqLlzG79vXGt2O+BY+4IiYfvmuRLks4UXfy' +
  169. 'HqxPXTJg48IYbGs0j4TtJPUgp3523EyYLwEGyVTAuWhYAmVIwd/hoV7d' +
  170. '7tmfcF73w9dufDFI3LNca2KxzBnWNPYvIZKBwWbq8ncxkb191dP6mjEi' +
  171. '7NnhqVk5A6vIBbu4AC5PZf76l6yep4xsoy/QtdDxCMocCXeAML9MQ9uP' +
  172. 'QbuspOKrBvMfN5igA1kBqasnxI472KBNXsdZnaDddSVUuvhTcETM="}'
  173. );
  174. global.Base64 = newBase64;
  175. jsdom();
  176. delete require.cache[require.resolve('../privatebin')];
  177. require('../privatebin');
  178. if (!paste1.includes('securely packed in iron') || !paste2.includes('Sol is right')) {
  179. throw Error('v1 (SJCL based) pastes could not be deciphered');
  180. }
  181. }
  182. );
  183. });
  184. describe('isEntropyReady & addEntropySeedListener', function () {
  185. it(
  186. 'lets us know that enough entropy is collected or make us wait for it',
  187. function(done) {
  188. if ($.PrivateBin.CryptTool.isEntropyReady()) {
  189. done();
  190. } else {
  191. $.PrivateBin.CryptTool.addEntropySeedListener(function() {
  192. done();
  193. });
  194. }
  195. }
  196. );
  197. });
  198. describe('getSymmetricKey', function () {
  199. var keys = [];
  200. // the parameter is used to ensure the test is run more then one time
  201. jsc.property(
  202. 'returns random, non-empty keys',
  203. function() {
  204. var key = $.PrivateBin.CryptTool.getSymmetricKey(),
  205. result = (key !== '' && keys.indexOf(key) === -1);
  206. keys.push(key);
  207. return result;
  208. }
  209. );
  210. });
  211. describe('Base64.js vs SJCL.js vs abab.js', function () {
  212. jsc.property(
  213. 'these all return the same base64 string',
  214. 'string',
  215. function(string) {
  216. var base64 = Base64.toBase64(string),
  217. sjcl = global.sjcl.codec.base64.fromBits(global.sjcl.codec.utf8String.toBits(string)),
  218. abab = window.btoa(Base64.utob(string));
  219. return base64 === sjcl && sjcl === abab;
  220. }
  221. );
  222. });
  223. });