Ugly Alpha 1
evercrypt-sys:0.0.3-dev

total uncompressed bytes

82.0 MB

total files

4039

Fix

NewInclude { include: [ "src/**/*", "README.md", "wrapper.h", "hacl-star/*", "build.rs", "!**/*.png", "!**/doc/**/*", "!**/benchmark/**/*", "!**/test/**/*", "!**/*_test.*", "!**/tests/**/*", "!**/*_tests.*", "!**/specs/**/*", "!**/example/**/*", "!**/build/**/*", ], has_build_script: true, }

539 wasted files

total waste: 7.3 MB

  1. hacl-star/specs/ecdsap256/SigVer.rsp : 730.1 KB
  2. hacl-star/dist/test/c/Test.c : 727.6 KB
  3. hacl-star/specs/ecdsap256/SigGen.txt : 616.3 KB
  4. hacl-star/dist/test/c/Hacl_Test_ECDSA.c : 482.8 KB
  5. hacl-star/tests/ecdsap256_tv_w.h : 453.3 KB
  6. hacl-star/dist/test/c/Hacl_Test_HMAC_DRBG.c : 237.4 KB
  7. hacl-star/tests/ecdhp256_tv_w.h : 232.8 KB
  8. hacl-star/doc/diagram.png : 142.8 KB
  9. hacl-star/providers/test/vectors/Test.Vectors.Chacha20Poly1305.fst : 132.5 KB
  10. hacl-star/tests/rfc7748_src/table_ladder_x448.h : 108.0 KB
  11. hacl-star/tests/benchmark/libjc/src/crypto_scalarmult/curve25519/ref4/curve25519.s : 92.1 KB
  12. hacl-star/providers/test/vectors/Test.Vectors.Poly1305.fst : 78.5 KB
  13. hacl-star/specs/tests/Spec.Hash.Test.fst : 68.6 KB
  14. hacl-star/specs/ecdsap256/Spec.ECDSA.Test.Vectors.fst : 61.9 KB
  15. hacl-star/tests/rfc7748_src/fp25519_x64.c : 56.5 KB
  16. hacl-star/specs/tests/Spec.Blake2.Test.fst : 51.2 KB
  17. hacl-star/tests/benchmark/libcurve25519/curve25519-precomp.c : 46.0 KB
  18. hacl-star/dist/test/c/Hacl_Test_SHA2.c : 44.9 KB
  19. hacl-star/code/frodo/test/Hacl.Test.Frodo.fst : 42.8 KB
  20. hacl-star/tests/ecdhp256-tvs.h : 39.0 KB
  21. hacl-star/specs/tests/Spec.Frodo.Test.fst : 39.0 KB
  22. hacl-star/specs/frodo/test-64-cSHAKE/Spec.Frodo.Test.fst : 39.0 KB
  23. hacl-star/specs/frodo/test-64-AES/Spec.Frodo.Test.fst : 38.9 KB
  24. hacl-star/tests/benchmark/bench_aead.cpp : 37.7 KB
  25. hacl-star/specs/tests/Spec.HMAC.Test.fst : 37.1 KB
  26. hacl-star/tests/benchmark/libcurve25519/curve25519-hacl51.c : 36.2 KB
  27. hacl-star/tests/benchmark/libcurve25519/curve25519-amd64-asm.S : 33.4 KB
  28. hacl-star/dist/test/c/Hacl_Test_SHA3.c : 32.1 KB
  29. hacl-star/specs/tests/Spec.HPKE.Test.fst : 32.0 KB
  30. hacl-star/providers/test/vectors/aead_chacha20poly1305_test_vectors.json : 29.7 KB
  31. hacl-star/tests/rfc7748_src/table_ladder_x25519.h : 29.1 KB
  32. hacl-star/tests/benchmark/libjc/src/crypto_stream/chacha20/avx2/chacha20.s : 29.0 KB
  33. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/chacha20.s : 28.9 KB
  34. hacl-star/tests/rfc7748_src/fp448_x64.c : 28.9 KB
  35. hacl-star/vale/specs/hardware/Vale.X64.Machine_Semantics_s.fst : 28.2 KB
  36. hacl-star/specs/lemmas/Spec.Hash.Incremental.fst : 27.2 KB
  37. hacl-star/tests/benchmark/libjc/src/crypto_stream/chacha20/avx/chacha20.s : 26.9 KB
  38. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/chacha20.jazz : 26.9 KB
  39. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/chacha20.japp : 26.9 KB
  40. hacl-star/tests/benchmark/libjc/src/crypto_stream/chacha20/avx2/chacha20.jazz : 26.9 KB
  41. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/scalar_g/shake256.s : 26.8 KB
  42. hacl-star/providers/test/Test.fst : 26.4 KB
  43. hacl-star/providers/test/Test.Vectors.fst : 26.0 KB
  44. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/scalar/shake256.s : 25.2 KB
  45. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake128/scalar/shake128.s : 25.2 KB
  46. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3512/scalar/sha3512.s : 25.2 KB
  47. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3384/scalar/sha3384.s : 25.2 KB
  48. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3256/scalar/sha3256.s : 25.2 KB
  49. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3224/scalar/sha3224.s : 25.2 KB
  50. hacl-star/specs/drbg/Spec.HMAC_DRBG.Test.Vectors.fst : 24.6 KB
  51. hacl-star/tests/benchmark/libcurve25519/curve25519-vale-inline.h : 24.0 KB
  52. hacl-star/tests/tests-openssl/jasmin-poly-avx2/poly1305.japp : 23.9 KB
  53. hacl-star/tests/benchmark/bench_hash.cpp : 23.7 KB
  54. hacl-star/vale/specs/interop/Vale.Interop.X64.fsti : 23.3 KB
  55. hacl-star/specs/old/Spec.SHA2_512.fst : 22.7 KB
  56. hacl-star/specs/old/Spec.Ed25519.fst : 22.6 KB
  57. hacl-star/code/tests/Hacl.Test.SHA3.fst : 22.0 KB
  58. hacl-star/specs/ecdsap256/Spec.P256.Lemmas.fst : 21.6 KB
  59. hacl-star/tests/tests-openssl/jasmin-poly-avx2/poly1305.jazz : 20.6 KB
  60. hacl-star/tests/benchmark/libjc/src/crypto_onetimeauth/poly1305/avx2/poly1305.jazz : 20.6 KB
  61. hacl-star/tests/benchmark/libfiat-curve25519/ladderstep.c : 20.5 KB
  62. hacl-star/specs/ecdsap256/Spec.ECDSA.fst : 19.7 KB
  63. hacl-star/tests/benchmark/libcurve25519/curve25519-fiat64.c : 18.0 KB
  64. hacl-star/vale/specs/hardware/Vale.X64.Print_Inline_s.fst : 17.8 KB
  65. hacl-star/vale/specs/hardware/Vale.X64.Instructions_s.fsti : 17.4 KB
  66. hacl-star/specs/tests/Spec.SHA3.Test.fst : 17.3 KB
  67. hacl-star/tests/benchmark/libjc/src/crypto_onetimeauth/poly1305/avx/poly1305.jazz : 17.3 KB
  68. hacl-star/tests/benchmark/libjc/src/crypto_onetimeauth/poly1305/avx/poly1305.s : 17.2 KB
  69. hacl-star/tests/benchmark/libjc/src/crypto_stream/chacha20/avx/chacha20.jazz : 17.1 KB
  70. hacl-star/specs/old/Spec.Lib.fst : 16.7 KB
  71. hacl-star/specs/old/Seq.Create.fst : 16.7 KB
  72. hacl-star/tests/benchmark/libcurve25519/curve25519-evercrypt64.c : 16.2 KB
  73. hacl-star/tests/benchmark/libjc/src/crypto_onetimeauth/poly1305/avx2/poly1305.s : 15.6 KB
  74. hacl-star/tests/tests-openssl/jasmin-poly-avx2/poly1305.s : 15.6 KB
  75. hacl-star/specs/tests/Spec.Ed25519.Test.fst : 15.5 KB
  76. hacl-star/tests/benchmark/libjc/src/crypto_scalarmult/curve25519/ref4/curve25519.jazz : 15.5 KB
  77. hacl-star/specs/Spec.Blake2.fst : 15.2 KB
  78. hacl-star/vale/specs/interop/Vale.Interop.Base.fst : 14.9 KB
  79. hacl-star/specs/frodo/Spec.Matrix.fst : 14.5 KB
  80. hacl-star/specs/tests/Spec.AES.Test.fst : 14.3 KB
  81. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake128/avx2/shake128.s : 14.1 KB
  82. hacl-star/providers/test/vectors/poly1305_test_vectors.json : 14.1 KB
  83. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3224/avx2/sha3224.s : 14.1 KB
  84. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3256/avx2/sha3256.s : 14.1 KB
  85. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3384/avx2/sha3384.s : 14.0 KB
  86. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/avx2/shake256.s : 14.0 KB
  87. hacl-star/code/tests/Hacl.Test.ECDSA.fst : 13.9 KB
  88. hacl-star/providers/test/Test.NoHeap.fst : 13.8 KB
  89. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3512/avx2/sha3512.s : 13.7 KB
  90. hacl-star/specs/tests/Spec.SHA2.Test.fst : 13.6 KB
  91. hacl-star/specs/Spec.Agile.HPKE.fst : 13.5 KB
  92. hacl-star/code/tests/Hacl.Test.SHA2.fst : 13.2 KB
  93. hacl-star/providers/test/vectors/Test.Vectors.Curve25519.fst : 13.0 KB
  94. hacl-star/specs/Spec.AES.fst : 13.0 KB
  95. hacl-star/vale/specs/hardware/Vale.X64.Print_s.fst : 12.7 KB
  96. hacl-star/tests/benchmark/bench_merkle.cpp : 12.7 KB
  97. hacl-star/tests/benchmark/bench_cipher.cpp : 12.4 KB
  98. hacl-star/tests/benchmark/bench_mac.cpp : 12.2 KB
  99. hacl-star/providers/test/vectors/Test.Vectors.Aes128Gcm.fst : 12.1 KB
  100. hacl-star/specs/tests/Spec.HKDF.Test.fst : 12.1 KB
  101. hacl-star/specs/make_sha1_tests.sh : 12.1 KB
  102. hacl-star/tests/blake2_vectors.h : 12.0 KB
  103. hacl-star/tests/benchmark/benchmark.cpp : 12.0 KB
  104. hacl-star/tests/benchmark/libcurve25519/curve25519-donna64.c : 11.8 KB
  105. hacl-star/specs/lemmas/Spec.Hash.Incremental.Lemmas.fst : 11.7 KB
  106. hacl-star/specs/ecdsap256/Spec.P256.MontgomeryMultiplication.fst : 11.6 KB
  107. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/avx2/shake256.japp : 11.1 KB
  108. hacl-star/tests/benchmark/libjc/src/crypto_hash/keccak1600/avx2/keccak_1600.japp : 11.1 KB
  109. hacl-star/tests/benchmark/bench_curve25519.cpp : 10.6 KB
  110. hacl-star/tests/benchmark/libjc/src/crypto_scalarmult/curve25519/mulx/x25519_mul.jazz : 10.3 KB
  111. hacl-star/tests/benchmark/metaplots.plt : 10.2 KB
  112. hacl-star/tests/rfc7748_src/x25519_x64.c : 9.9 KB
  113. hacl-star/specs/Spec.Hash.Definitions.fst : 9.8 KB
  114. hacl-star/tests/benchmark/libfiat-curve25519/scalarmult.c : 9.2 KB
  115. hacl-star/.docker/build/build.sh : 9.1 KB
  116. hacl-star/specs/lemmas/Spec.SHA2.Lemmas.fst : 9.0 KB
  117. hacl-star/tests/rfc7748_src/x448_x64.c : 8.6 KB
  118. hacl-star/tests/benchmark/bench_ed25519.cpp : 8.3 KB
  119. hacl-star/tests/benchmark/libjc/src/crypto_stream/chacha20/ref/chacha20.s : 8.2 KB
  120. hacl-star/specs/Spec.MD5.fst : 8.1 KB
  121. hacl-star/specs/Spec.SHA3.fst : 8.1 KB
  122. hacl-star/tests/benchmark/libjc/src/crypto_hash/keccak1600/scalar_g/keccak_1600.japp : 8.1 KB
  123. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/scalar_g/shake256.japp : 7.7 KB
  124. hacl-star/tests/sha2_vectors.h : 7.5 KB
  125. hacl-star/specs/frodo/Spec.Frodo.Gen.fst : 7.5 KB
  126. hacl-star/tests/benchmark/libjc/src/crypto_stream/chacha20/ref/chacha20.jazz : 7.4 KB
  127. hacl-star/providers/test/Test.Lowstarize.fst : 7.3 KB
  128. hacl-star/providers/test/vectors/Test.Vectors.Aes128.fst : 7.3 KB
  129. hacl-star/bindings/ocaml/tests/nacl_test.ml : 7.3 KB
  130. hacl-star/tests/chacha20poly1305-test.c : 7.2 KB
  131. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/scalar/shake256.japp : 7.2 KB
  132. hacl-star/tests/benchmark/libjc/src/crypto_hash/keccak1600/scalar/keccak_1600.japp : 7.2 KB
  133. hacl-star/tests/benchmark/libcurve25519/curve25519-amd64.c : 7.0 KB
  134. hacl-star/specs/ecdsap256/Spec.P256.fst : 6.9 KB
  135. hacl-star/bindings/ocaml/tests/hash_test.ml : 6.9 KB
  136. hacl-star/tests/benchmark/libjc/src/crypto_hash/keccak1600/ref/keccak_1600.japp : 6.7 KB
  137. hacl-star/specs/Spec.SHA2.fst : 6.6 KB
  138. hacl-star/vale/specs/hardware/Vale.X64.Instructions_s.fst : 6.6 KB
  139. hacl-star/specs/Spec.Ed25519.fst : 6.6 KB
  140. hacl-star/tests/ecdhp256-test.c : 6.5 KB
  141. hacl-star/vale/specs/defs/Vale.Def.Types_s.fst : 6.3 KB
  142. hacl-star/specs/Spec.SHA1.fst : 6.3 KB
  143. hacl-star/specs/Spec.Hash.Lemmas.fst : 6.3 KB
  144. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/avx2_openssl/keccak_f1600.jazz : 6.2 KB
  145. hacl-star/tests/merkle_tree_test.c : 6.0 KB
  146. hacl-star/vale/specs/hardware/Vale.X64.Instruction_s.fsti : 6.0 KB
  147. hacl-star/doc/Obtaining.rst : 5.9 KB
  148. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/avx2/keccak_f1600.jazz : 5.9 KB
  149. hacl-star/specs/frodo/Spec.Frodo.Encode.fst : 5.9 KB
  150. hacl-star/specs/lemmas/Spec.Hash.Incremental.fsti : 5.8 KB
  151. hacl-star/bindings/ocaml/tests/aead_test.ml : 5.8 KB
  152. hacl-star/doc/Overview.rst : 5.8 KB
  153. hacl-star/specs/ecdsap256/Spec.P256.MontgomeryMultiplication.PointAdd.fst : 5.8 KB
  154. hacl-star/vale/specs/crypto/Vale.AES.AES_s.fst : 5.7 KB
  155. hacl-star/tests/benchmark/libjc/src/crypto_scalarmult/curve25519/mulx/x25519_mul_regs.jazz : 5.7 KB
  156. hacl-star/vale/code/test/Vale.Test.TestInline.fst : 5.7 KB
  157. hacl-star/providers/test/vectors/gen.ml : 5.5 KB
  158. hacl-star/specs/ecdsap256/cavp_parse.py : 5.4 KB
  159. hacl-star/code/meta/example/Example.fst : 5.4 KB
  160. hacl-star/tests/tests-openssl/chacha20-vec-test.c : 5.4 KB
  161. hacl-star/tests/benchmark/libjc/src/crypto_hash/keccak1600/scalar/keccak_1600.jazz : 5.4 KB
  162. hacl-star/tests/benchmark/benchmark.h : 5.3 KB
  163. hacl-star/specs/tests/Spec.Chacha20Poly1305.Test.fst : 5.3 KB
  164. hacl-star/tests/p256-test.c : 5.2 KB
  165. hacl-star/tests/benchmark/libjc/src/crypto_hash/keccak1600/avx2/keccak_1600.jazz : 5.2 KB
  166. hacl-star/specs/tests/Spec.Salsa20.Test.fst : 5.2 KB
  167. hacl-star/specs/Spec.Chacha20.fst : 5.1 KB
  168. hacl-star/tests/poly1305_vectors.h : 5.1 KB
  169. hacl-star/specs/Spec.SHA2.Constants.fst : 5.1 KB
  170. hacl-star/bindings/ocaml/tests/p256_test.ml : 5.0 KB
  171. hacl-star/specs/Spec.Salsa20.fst : 5.0 KB
  172. hacl-star/tests/benchmark/CMakeLists.txt : 5.0 KB
  173. hacl-star/specs/frodo/Spec.Frodo.KEM.Decaps.fst : 5.0 KB
  174. hacl-star/specs/old/Spec.Curve25519.fst : 4.9 KB
  175. hacl-star/bindings/ocaml/tests/hmac_test.ml : 4.9 KB
  176. hacl-star/specs/ecdsap256/Spec.P256.Definitions.fst : 4.8 KB
  177. hacl-star/tests/benchmark/libjc/src/crypto_scalarmult/curve25519/mulx/x25519_sqr_regs.jazz : 4.7 KB
  178. hacl-star/tests/benchmark/libcurve25519/test_vectors.h : 4.7 KB
  179. hacl-star/dist/test/c/Hacl_Test_CSHAKE.c : 4.7 KB
  180. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/ref/keccak_f1600.jazz : 4.7 KB
  181. hacl-star/vale/specs/hardware/Vale.X64.CPU_Features_s.fst : 4.7 KB
  182. hacl-star/tests/tests-openssl/poly1305-test.c : 4.6 KB
  183. hacl-star/code/tests/Hacl.Test.HMAC_DRBG.fst : 4.6 KB
  184. hacl-star/doc/EverCryptHash.rst : 4.5 KB
  185. hacl-star/tests/benchmark/libjc/src/crypto_hash/keccak1600/scalar_g/keccak_1600.jazz : 4.5 KB
  186. hacl-star/specs/Spec.Agile.AEAD.fsti : 4.5 KB
  187. hacl-star/vale/specs/hardware/Vale.X64.Leakage_s.fst : 4.5 KB
  188. hacl-star/specs/frodo/Spec.Frodo.KEM.Encaps.fst : 4.4 KB
  189. hacl-star/vale/specs/interop/Vale.Interop.Views.fsti : 4.4 KB
  190. hacl-star/tests/benchmark/libjc/src/crypto_hash/keccak1600/ref/keccak_1600.jazz : 4.3 KB
  191. hacl-star/tests/rfc7748_src/fp25519_x64.h : 4.3 KB
  192. hacl-star/specs/Spec.Agile.AEAD.fst : 4.3 KB
  193. hacl-star/tests/benchmark/libevercrypt/CMakeLists.txt : 4.2 KB
  194. hacl-star/vale/specs/interop/Vale.Interop.X64.fst : 4.1 KB
  195. hacl-star/vale/specs/hardware/Vale.Arch.MachineHeap_s.fst : 4.1 KB
  196. hacl-star/doc/General.rst : 4.1 KB
  197. hacl-star/specs/drbg/Spec.HMAC_DRBG.fst : 4.1 KB
  198. hacl-star/tests/benchmark/libjc/src/crypto_onetimeauth/poly1305/ref3/poly1305.jazz : 4.1 KB
  199. hacl-star/tests/sha2-test.c : 4.1 KB
  200. hacl-star/specs/frodo/Spec.Frodo.Pack.fst : 4.1 KB
  201. hacl-star/tests/blake2-test.c : 4.0 KB
  202. hacl-star/vale/specs/defs/Vale.Def.Words.Seq_s.fsti : 4.0 KB
  203. hacl-star/specs/ecdsap256/Spec.ECDSAP256.Definition.fst : 3.9 KB
  204. hacl-star/specs/tests/Spec.SecretBox.Test.fst : 3.9 KB
  205. hacl-star/vale/specs/math/Vale.Math.Poly2.Defs_s.fst : 3.9 KB
  206. hacl-star/vale/code/test/Vale.Test.X64.Args.vaf : 3.9 KB
  207. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/avx2_openssl/keccak_f1600_export.s : 3.9 KB
  208. hacl-star/vale/specs/crypto/Vale.AES.GCM_s.fst : 3.9 KB
  209. hacl-star/vale/specs/hardware/Vale.X64.Machine_s.fst : 3.9 KB
  210. hacl-star/doc/conf.py : 3.8 KB
  211. hacl-star/specs/Spec.Curve25519.fst : 3.8 KB
  212. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/avx2/keccak_f1600_export.s : 3.8 KB
  213. hacl-star/vale/specs/defs/Vale.Def.PossiblyMonad.fst : 3.8 KB
  214. hacl-star/specs/tests/Spec.Curve25519.Test.fst : 3.7 KB
  215. hacl-star/doc/HaclHash.rst : 3.7 KB
  216. hacl-star/specs/tests/Spec.Chacha20.Test.fst : 3.6 KB
  217. hacl-star/specs/Spec.GaloisField.fst : 3.6 KB
  218. hacl-star/specs/frodo/Spec.Frodo.Sample.fst : 3.6 KB
  219. hacl-star/vale/code/test/Vale.Test.X64.Memcpy.vaf : 3.5 KB
  220. hacl-star/doc/EverCryptAEAD.rst : 3.5 KB
  221. hacl-star/bindings/js/api_test.js : 3.5 KB
  222. hacl-star/specs/frodo/Spec.Frodo.Lemmas.fst : 3.5 KB
  223. hacl-star/tests/rfc7748_src/fp448_x64.h : 3.5 KB
  224. hacl-star/specs/old/Spec.GF128.fst : 3.5 KB
  225. hacl-star/tests/benchmark/benchmark-all.sh : 3.4 KB
  226. hacl-star/doc/HaclSig.rst : 3.4 KB
  227. hacl-star/tests/chacha20-vec-test.c : 3.3 KB
  228. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/avx2/shake256-m.c : 3.3 KB
  229. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake128/avx2/shake128-m.c : 3.3 KB
  230. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3256/avx2/sha3256-m.c : 3.3 KB
  231. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3224/avx2/sha3224-m.c : 3.3 KB
  232. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3512/avx2/sha3512-m.c : 3.3 KB
  233. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3384/avx2/sha3384-m.c : 3.3 KB
  234. hacl-star/tests/salsa20-test.c : 3.3 KB
  235. hacl-star/specs/old/Spec.CTR.fst : 3.3 KB
  236. hacl-star/specs/Spec.Agile.HPKE.fsti : 3.2 KB
  237. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/scalar_g/keccak_f1600.jazz : 3.2 KB
  238. hacl-star/doc/HaclAEAD.rst : 3.2 KB
  239. hacl-star/vale/specs/hardware/Vale.X64.CryptoInstructions_s.fst : 3.2 KB
  240. hacl-star/doc/HaclECDH.rst : 3.2 KB
  241. hacl-star/tests/poly1305-test.c : 3.1 KB
  242. hacl-star/tests/benchmark/runbenchmark.cpp : 3.1 KB
  243. hacl-star/vale/specs/crypto/Vale.AES.GCTR_s.fst : 3.0 KB
  244. hacl-star/specs/tests/Spec.Box.Test.fst : 3.0 KB
  245. hacl-star/specs/frodo/Makefile : 3.0 KB
  246. hacl-star/specs/Spec.Hash.Lemmas.fsti : 3.0 KB
  247. hacl-star/tests/naclbox-test.c : 3.0 KB
  248. hacl-star/doc/HaclNaCl.rst : 3.0 KB
  249. hacl-star/tests/blake2-arm-test.c : 3.0 KB
  250. hacl-star/specs/tests/Spec.HMAC_DRBG.Test.fst : 3.0 KB
  251. hacl-star/vale/specs/hardware/Vale.X64.Instruction_s.fst : 2.9 KB
  252. hacl-star/specs/Spec.Agile.Cipher.fsti : 2.8 KB
  253. hacl-star/specs/Spec.SecretBox.fst : 2.8 KB
  254. hacl-star/vale/specs/interop/Vale.Interop.Heap_s.fst : 2.7 KB
  255. hacl-star/doc/index.rst : 2.7 KB
  256. hacl-star/specs/ecdsap256/Spec.P256.MontgomeryMultiplication.fsti : 2.7 KB
  257. hacl-star/vale/specs/math/Vale.Math.Poly2_s.fsti : 2.7 KB
  258. hacl-star/specs/Spec.Chacha20Poly1305.fst : 2.7 KB
  259. hacl-star/specs/Spec.Box.fst : 2.7 KB
  260. hacl-star/specs/drbg/cavp_parse.py : 2.7 KB
  261. hacl-star/bindings/ocaml/tests/hkdf_test.ml : 2.7 KB
  262. hacl-star/vale/code/test/Vale.Test.X64.Vale_memcpy.vaf : 2.7 KB
  263. hacl-star/tests/benchmark/libfiat-curve25519/femul.c : 2.6 KB
  264. hacl-star/specs/old/Spec.GaloisField.fst : 2.5 KB
  265. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/scalar/keccak_f1600.jazz : 2.5 KB
  266. hacl-star/doc/EverCryptHKDF.rst : 2.5 KB
  267. hacl-star/tests/rfc7748_src/rfc7748_precomputed.h : 2.5 KB
  268. hacl-star/tests/chacha20poly1305_vectors.h : 2.4 KB
  269. hacl-star/specs/Spec.Hash.PadFinish.fst : 2.4 KB
  270. hacl-star/bindings/ocaml/tests/blake2_test.ml : 2.4 KB
  271. hacl-star/providers/test/vectors/curve25519_test_vectors.json : 2.4 KB
  272. hacl-star/doc/EverCryptCTR.rst : 2.4 KB
  273. hacl-star/tests/benchmark/libkremlib/CMakeLists.txt : 2.3 KB
  274. hacl-star/tests/benchmark/libjc/src/crypto_onetimeauth/poly1305/ref3/poly1305.s : 2.3 KB
  275. hacl-star/doc/Supported.rst : 2.3 KB
  276. hacl-star/specs/Spec.Cipher.Expansion.fst : 2.3 KB
  277. hacl-star/providers/test/Test.Hash.fst : 2.3 KB
  278. hacl-star/vale/specs/interop/Vale.Interop.Types.fst : 2.2 KB
  279. hacl-star/specs/Spec.Poly1305.fst : 2.2 KB
  280. hacl-star/bindings/ocaml/tests/curve25519_test.ml : 2.2 KB
  281. hacl-star/tests/naclbox_vectors.h : 2.2 KB
  282. hacl-star/tests/benchmark/libfiat-curve25519/fesquare.c : 2.2 KB
  283. hacl-star/tests/chacha20-arm-test.c : 2.2 KB
  284. hacl-star/bindings/ocaml/tests/ed25519_test.ml : 2.2 KB
  285. hacl-star/tests/benchmark/libjc/CMakeLists.txt : 2.1 KB
  286. hacl-star/code/tests/Hacl.Benchmark.Ed25519.c : 2.1 KB
  287. hacl-star/code/tests/Hacl.Test.CSHAKE.fst : 2.1 KB
  288. hacl-star/tests/benchmark/libjc/src/crypto_scalarmult/curve25519/mulx/x25519_reduce.jazz : 2.1 KB
  289. hacl-star/doc/API.rst : 2.1 KB
  290. hacl-star/specs/Spec.Agile.HKDF.fst : 2.1 KB
  291. hacl-star/tests/poly1305-arm-test.c : 2.1 KB
  292. hacl-star/specs/frodo/Spec.Frodo.KEM.KeyGen.fst : 2.0 KB
  293. hacl-star/specs/drbg/Spec.HMAC_DRBG.fsti : 2.0 KB
  294. hacl-star/vale/specs/defs/Vale.Def.Words.Four_s.fsti : 2.0 KB
  295. hacl-star/tests/chacha20_vectors.h : 2.0 KB
  296. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/scalar_g/keccak_f1600_export.s : 2.0 KB
  297. hacl-star/specs/Spec.Agile.Hash.fst : 2.0 KB
  298. hacl-star/tests/curve64-rfc.c : 1.9 KB
  299. hacl-star/vale/specs/math/Vale.Math.Poly2.Bits_s.fsti : 1.9 KB
  300. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3224/avx2/sha3224.jazz : 1.9 KB
  301. hacl-star/doc/HaclValeEverCrypt.rst : 1.9 KB
  302. hacl-star/tests/poly1305-test-streaming.c : 1.9 KB
  303. hacl-star/specs/tests/Spec.Poly1305.Test.fst : 1.9 KB
  304. hacl-star/tests/curve64-ours.c : 1.9 KB
  305. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake128/avx2/shake128.jazz : 1.9 KB
  306. hacl-star/dist/test/c/Hacl_Test_HMAC_DRBG.h : 1.8 KB
  307. hacl-star/doc/EverCryptHMAC.rst : 1.8 KB
  308. hacl-star/tests/benchmark/libfiat-curve25519/freeze.c : 1.8 KB
  309. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/avx2/shake256.jazz : 1.8 KB
  310. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3256/avx2/sha3256.jazz : 1.8 KB
  311. hacl-star/providers/test/Test.NoHeap.fsti : 1.8 KB
  312. hacl-star/dist/test/c/Hacl_Test_SHA2.h : 1.7 KB
  313. hacl-star/.docker/build/windows-nt/Dockerfile : 1.7 KB
  314. hacl-star/specs/Spec.Agile.DH.fst : 1.7 KB
  315. hacl-star/tests/curve51-ours.c : 1.7 KB
  316. hacl-star/specs/Spec.Cipher.Expansion.fsti : 1.6 KB
  317. hacl-star/vale/specs/defs/Vale.Def.Opaque_s.fsti : 1.6 KB
  318. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3384/avx2/sha3384.jazz : 1.6 KB
  319. hacl-star/tests/chacha20-test.c : 1.6 KB
  320. hacl-star/specs/frodo/Spec.Frodo.Params.fst : 1.6 KB
  321. hacl-star/vale/specs/interop/Vale.Interop.Views.fst : 1.6 KB
  322. hacl-star/tests/curve25519-arm-test.c : 1.6 KB
  323. hacl-star/specs/frodo/params-64-cSHAKE/Frodo.Params.fst : 1.6 KB
  324. hacl-star/specs/frodo/params-640-cSHAKE/Frodo.Params.fst : 1.6 KB
  325. hacl-star/specs/frodo/params-64-AES/Frodo.Params.fst : 1.6 KB
  326. hacl-star/tests/benchmark/libfiat-curve25519/CMakeLists.txt : 1.6 KB
  327. hacl-star/tests/sha2-test-streaming.c : 1.6 KB
  328. hacl-star/tests/curve25519_vectors.h : 1.5 KB
  329. hacl-star/specs/frodo/Spec.Frodo.Lemmas.fsti : 1.5 KB
  330. hacl-star/specs/frodo/params-640-AES/Frodo.Params.fst : 1.5 KB
  331. hacl-star/dist/test/c/Makefile.basic : 1.5 KB
  332. hacl-star/specs/frodo/params-976-cSHAKE/Frodo.Params.fst : 1.5 KB
  333. hacl-star/vale/specs/defs/Vale.Def.Words_s.fsti : 1.5 KB
  334. hacl-star/specs/Spec.Agile.Cipher.fst : 1.5 KB
  335. hacl-star/bindings/ocaml/tests/poly1305_test.ml : 1.5 KB
  336. hacl-star/providers/test/vectors/aead_aes128gcm_test_vectors.json : 1.5 KB
  337. hacl-star/vale/specs/hardware/Vale.X64.Bytes_Code_s.fst : 1.5 KB
  338. hacl-star/specs/Spec.SHA3.Constants.fst : 1.5 KB
  339. hacl-star/.docker/build/linux/Dockerfile : 1.4 KB
  340. hacl-star/specs/frodo/params-976-AES/Frodo.Params.fst : 1.4 KB
  341. hacl-star/tests/test_helpers.h : 1.4 KB
  342. hacl-star/tests/benchmark/libcurve25519/CMakeLists.txt : 1.4 KB
  343. hacl-star/dist/test/c/Hacl_Test_ECDSA.h : 1.4 KB
  344. hacl-star/specs/lemmas/Spec.Hash.Incremental.Lemmas.fsti : 1.4 KB
  345. hacl-star/doc/EverCryptNonAgile.rst : 1.4 KB
  346. hacl-star/tests/Makefile : 1.3 KB
  347. hacl-star/dist/test/c/Test.h : 1.3 KB
  348. hacl-star/dist/test/c/Hacl_Test_CSHAKE.h : 1.3 KB
  349. hacl-star/dist/test/c/Hacl_Test_SHA3.h : 1.3 KB
  350. hacl-star/vale/specs/defs/Vale.Def.Words.Two_s.fsti : 1.3 KB
  351. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3512/avx2/sha3512.jazz : 1.2 KB
  352. hacl-star/specs/Spec.Agile.HMAC.fst : 1.2 KB
  353. hacl-star/.docker/build/config.json : 1.2 KB
  354. hacl-star/specs/make_md5_tests.sh : 1.1 KB
  355. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake128/scalar/shake128-m.c : 1.1 KB
  356. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/scalar/shake256-m.c : 1.1 KB
  357. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3256/scalar/sha3256-m.c : 1.1 KB
  358. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3224/scalar/sha3224-m.c : 1.1 KB
  359. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3512/scalar/sha3512-m.c : 1.1 KB
  360. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3384/scalar/sha3384-m.c : 1.1 KB
  361. hacl-star/doc/EverCryptAutoConfig.rst : 1.1 KB
  362. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/scalar_g/keccak_f1600.jahh : 1.1 KB
  363. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/scalar/keccak_f1600.jahh : 1.1 KB
  364. hacl-star/specs/ecdsap256/Spec.DH.fst : 1.1 KB
  365. hacl-star/vale/specs/crypto/Vale.Poly1305.Spec_s.fst : 1.1 KB
  366. hacl-star/tests/benchmark/Makefile : 1.1 KB
  367. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/avx2_openssl/keccak_f1600_export.jazz : 1.0 KB
  368. hacl-star/providers/test/extract/Makefile : 1.0 KB
  369. hacl-star/vale/code/test/TestInline.c : 1.0 KB
  370. hacl-star/tests/benchmark/libjc/src/Makefile : 1.0 KB
  371. hacl-star/vale/specs/defs/Vale.Def.TypesNative_s.fst : 1.0 KB
  372. hacl-star/specs/old/Spec.SHA512.fsti : 1.0 KB
  373. hacl-star/doc/EverCryptDeprecated.rst : 998 B
  374. hacl-star/vale/specs/defs/Vale.Def.Words.Seq_s.fst : 953 B
  375. hacl-star/vale/specs/hardware/Vale.Arch.Heap.fsti : 951 B
  376. hacl-star/vale/specs/crypto/Vale.AES.GHash_s.fst : 933 B
  377. hacl-star/tests/benchmark/libcurve25519/libcurve25519.h : 885 B
  378. hacl-star/providers/test/vectors/aes128_test_vectors.json : 866 B
  379. hacl-star/specs/old/Spec.Curve25519.Lemmas.fst : 860 B
  380. hacl-star/tests/benchmark/librfc7748/CMakeLists.txt : 846 B
  381. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/chacha20_jazz.c : 844 B
  382. hacl-star/doc/Applications.rst : 812 B
  383. hacl-star/doc/Randomness.rst : 798 B
  384. hacl-star/specs/frodo/Spec.Frodo.KEM.fst : 796 B
  385. hacl-star/bindings/ocaml/tests/test_utils.ml : 793 B
  386. hacl-star/vale/doc/compilation.txt : 792 B
  387. hacl-star/tests/benchmark/libjc/jc.h : 784 B
  388. hacl-star/.docker/build/build_helper.sh : 768 B
  389. hacl-star/specs/lemmas/Spec.Curve25519.Lemmas.fst : 752 B
  390. hacl-star/specs/Spec.Agile.HKDF.fsti : 708 B
  391. hacl-star/specs/Spec.Hash.Lemmas0.fst : 699 B
  392. hacl-star/doc/EverCryptDRBG.rst : 683 B
  393. hacl-star/tests/benchmark/env.sh : 679 B
  394. hacl-star/vale/specs/math/Vale.Math.Poly2_s.fst : 675 B
  395. hacl-star/bindings/ocaml/tests/drbg_test.ml : 674 B
  396. hacl-star/specs/Makefile : 670 B
  397. hacl-star/doc/ci.sh : 670 B
  398. hacl-star/vale/specs/interop/Vale.Interop.Assumptions.fst : 668 B
  399. hacl-star/tests/tests-openssl/jasmin-poly-avx2/auth_jazz.c : 647 B
  400. hacl-star/specs/ecdsap256/Makefile : 645 B
  401. hacl-star/tests/FrodoKEM-64-test.c : 644 B
  402. hacl-star/dist/test/c/Makefile : 641 B
  403. hacl-star/specs/README.md : 637 B
  404. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/avx2/Makefile : 623 B
  405. hacl-star/vale/specs/defs/Vale.Lib.Set.fst : 612 B
  406. hacl-star/tests/README : 611 B
  407. hacl-star/doc/Makefile : 608 B
  408. hacl-star/code/meta/example/Client.fst : 608 B
  409. hacl-star/specs/Spec.Agile.CTR.fst : 585 B
  410. hacl-star/vale/specs/crypto/Vale.AES.GF128_s.fsti : 583 B
  411. hacl-star/specs/drbg/Makefile : 576 B
  412. hacl-star/specs/drbg/Spec.HMAC_DRBG.Test.Vectors.fstp : 562 B
  413. hacl-star/specs/lemmas/Spec.SHA2.Lemmas.fsti : 561 B
  414. hacl-star/vale/specs/defs/Vale.Lib.Set.fsti : 530 B
  415. hacl-star/specs/ecdsap256/Spec.ECDSA.Test.Vectors.fstp : 514 B
  416. hacl-star/specs/Spec.Agile.HMAC.fsti : 500 B
  417. hacl-star/tests/benchmark/libfiat-curve25519/ladderstep.h : 489 B
  418. hacl-star/bindings/ocaml/tests/dune : 484 B
  419. hacl-star/code/meta/example/Interface.fsti : 452 B
  420. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/avx2/keccak_f1600_export.jazz : 442 B
  421. hacl-star/specs/Spec.Agile.Hash.fsti : 438 B
  422. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/scalar_g/shake256-m.c : 428 B
  423. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/ref/shake256-m.c : 422 B
  424. hacl-star/vale/specs/defs/Vale.Def.Words_s.fst : 406 B
  425. hacl-star/vale/specs/defs/Vale.Def.Prop_s.fst : 399 B
  426. hacl-star/vale/specs/defs/Vale.Lib.Seqs_s.fst : 396 B
  427. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/scalar/keccak_f1600_export.jazz : 387 B
  428. hacl-star/tests/benchmark/libjc/src/crypto_scalarmult/curve25519/mulx/Makefile : 381 B
  429. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/scalar_g/keccak_f1600_export.jazz : 357 B
  430. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/ref/keccak_f1600_export.jazz : 348 B
  431. hacl-star/tests/benchmark/libjc/src/crypto_onetimeauth/poly1305/ref3/Makefile : 347 B
  432. hacl-star/tests/tests-openssl/jasmin-poly-avx2/verify_jazz.c : 333 B
  433. hacl-star/tests/benchmark/libjc/src/crypto_onetimeauth/poly1305/Makefile : 332 B
  434. hacl-star/doc/_templates/layout.html : 321 B
  435. hacl-star/specs/old/Spec.CTR.Lemmas.fst : 319 B
  436. hacl-star/vale/specs/math/Vale.Math.Poly2.Bits_s.fst : 307 B
  437. hacl-star/tests/benchmark/libfiat-curve25519/liblow/cmovznz.c : 306 B
  438. hacl-star/vale/specs/defs/Vale.Lib.Bv_s.fst : 304 B
  439. hacl-star/vale/specs/defs/Vale.Def.Opaque_s.fst : 304 B
  440. hacl-star/tests/benchmark/libjc/src/crypto_stream/chacha20/ref/Makefile : 302 B
  441. hacl-star/tests/benchmark/libjc/src/crypto_stream/chacha20/avx2/Makefile : 302 B
  442. hacl-star/tests/benchmark/libjc/src/crypto_stream/chacha20/avx/Makefile : 302 B
  443. hacl-star/tests/benchmark/libjc/src/crypto_scalarmult/curve25519/mulx/x25519_mul_export.jazz : 296 B
  444. hacl-star/specs/old/Spec.SHA512.fst : 296 B
  445. hacl-star/tests/benchmark/libjc/src/crypto_onetimeauth/poly1305/avx2/Makefile : 295 B
  446. hacl-star/tests/benchmark/libjc/src/crypto_onetimeauth/poly1305/avx/Makefile : 295 B
  447. hacl-star/tests/benchmark/bench_hash.h : 294 B
  448. hacl-star/vale/specs/hardware/Vale.Arch.HeapTypes_s.fst : 284 B
  449. hacl-star/vale/specs/hardware/Vale.X64.CryptoInstructions_s.fsti : 278 B
  450. hacl-star/tests/benchmark/libfiat-curve25519/femul.h : 271 B
  451. hacl-star/tests/benchmark/libfiat-curve25519/fiat-curve25519.h : 266 B
  452. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/scalar_g/Makefile : 263 B
  453. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/scalar/Makefile : 263 B
  454. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/ref/Makefile : 263 B
  455. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/avx2_openssl/Makefile : 263 B
  456. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/avx2/Makefile : 263 B
  457. hacl-star/tests/benchmark/libjc/README.md : 248 B
  458. hacl-star/specs/frodo/Spec.Frodo.Random.fst : 243 B
  459. hacl-star/tests/benchmark/libfiat-curve25519/README.md : 233 B
  460. hacl-star/tests/benchmark/libcurve25519/README.md : 232 B
  461. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/scalar_g/Makefile : 219 B
  462. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/scalar/Makefile : 219 B
  463. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/ref/Makefile : 219 B
  464. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake128/scalar/Makefile : 219 B
  465. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake128/avx2/Makefile : 219 B
  466. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3512/scalar/Makefile : 215 B
  467. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3512/avx2/Makefile : 215 B
  468. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3384/scalar/Makefile : 215 B
  469. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3384/avx2/Makefile : 215 B
  470. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3256/scalar/Makefile : 215 B
  471. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3256/avx2/Makefile : 215 B
  472. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3224/scalar/Makefile : 215 B
  473. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3224/avx2/Makefile : 215 B
  474. hacl-star/doc/EverCryptDoc.rst : 213 B
  475. hacl-star/doc/README.md : 210 B
  476. hacl-star/tests/benchmark/libcurve25519/curve25519-openssl.c : 208 B
  477. hacl-star/tests/benchmark/libfiat-curve25519/fesquare.h : 202 B
  478. hacl-star/tests/benchmark/libfiat-curve25519/freeze.h : 200 B
  479. hacl-star/tests/benchmark/libcurve25519/libcurve25519_inline.h : 200 B
  480. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/scalar/keccak_f1600_export.s : 197 B
  481. hacl-star/specs/Spec.SHA2.fsti : 187 B
  482. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/avx2/keccak_f1600.jahh : 171 B
  483. hacl-star/tests/benchmark/libjc/src/crypto_onetimeauth/poly1305/Makefile.common : 168 B
  484. hacl-star/tests/benchmark/libjc/src/Makefile.common : 168 B
  485. hacl-star/tests/benchmark/bench_curve25519.h : 151 B
  486. hacl-star/tests/benchmark/libjc/src/crypto_hash/keccak1600/scalar_g/Makefile : 150 B
  487. hacl-star/tests/benchmark/libjc/src/crypto_hash/keccak1600/scalar/Makefile : 150 B
  488. hacl-star/tests/benchmark/libjc/src/crypto_hash/keccak1600/ref/Makefile : 150 B
  489. hacl-star/tests/benchmark/libjc/src/crypto_hash/keccak1600/avx2/Makefile : 150 B
  490. hacl-star/tests/benchmark/libjc/src/crypto_onetimeauth/poly1305/ref3/poly1305_export.jazz : 147 B
  491. hacl-star/specs/Spec.SHA1.fsti : 143 B
  492. hacl-star/tests/benchmark/bench_ed25519.h : 142 B
  493. hacl-star/specs/Spec.MD5.fsti : 138 B
  494. hacl-star/tests/benchmark/libfiat-curve25519/liblow/liblow.h : 132 B
  495. hacl-star/tests/benchmark/libjc/src/crypto_core/keccakf160064bits/ref/keccak_f1600_export.s : 120 B
  496. hacl-star/tests/benchmark/bench_merkle.h : 113 B
  497. hacl-star/doc/HaclDoc.rst : 109 B
  498. hacl-star/providers/test/Test.fsti : 108 B
  499. hacl-star/tests/benchmark/bench_cipher.h : 107 B
  500. hacl-star/tests/benchmark/bench_aead.h : 107 B
  501. hacl-star/tests/benchmark/bench_mac.h : 98 B
  502. hacl-star/specs/frodo/AUTHORS.md : 98 B
  503. hacl-star/specs/old/README.md : 81 B
  504. hacl-star/dist/test/c/Makefile.include : 78 B
  505. hacl-star/tests/tests-openssl/jasmin-poly-avx2/Makefile : 77 B
  506. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/Makefile : 77 B
  507. hacl-star/specs/tests/Spec.Frodo.Test.fsti : 66 B
  508. hacl-star/specs/frodo/test-64-cSHAKE/Spec.Frodo.Test.fsti : 66 B
  509. hacl-star/specs/frodo/test-64-AES/Spec.Frodo.Test.fsti : 66 B
  510. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/scalar_g/shake256.jazz : 60 B
  511. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/scalar/shake256.jazz : 58 B
  512. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake128/scalar/shake128.jazz : 58 B
  513. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3512/scalar/sha3512.jazz : 58 B
  514. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3384/scalar/sha3384.jazz : 58 B
  515. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3256/scalar/sha3256.jazz : 58 B
  516. hacl-star/tests/benchmark/libjc/src/crypto_hash/sha3224/scalar/sha3224.jazz : 58 B
  517. hacl-star/vale/specs/hardware/Makefile : 56 B
  518. hacl-star/vale/specs/crypto/Makefile : 56 B
  519. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/api.h : 55 B
  520. hacl-star/tests/benchmark/libjc/src/crypto_hash/shake256/ref/shake256.jazz : 55 B
  521. hacl-star/specs/tests/Makefile : 53 B
  522. hacl-star/specs/lemmas/Makefile : 53 B
  523. hacl-star/providers/test/Makefile : 53 B
  524. hacl-star/code/tests/Makefile : 53 B
  525. hacl-star/tests/tests-openssl/jasmin-poly-avx2/api.h : 51 B
  526. hacl-star/vale/code/test/TestInlineMain.ml : 46 B
  527. hacl-star/vale/specs/defs/Vale.Def.Words.Four_s.fst : 44 B
  528. hacl-star/vale/specs/defs/Vale.Def.Words.Two_s.fst : 43 B
  529. hacl-star/vale/specs/crypto/Vale.AES.GF128_s.fst : 39 B
  530. hacl-star/tests/tests-openssl/jasmin-poly-avx2/impl.h : 36 B
  531. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/impl.h : 36 B
  532. hacl-star/specs/tests/Spec.HPKE.Test.fsti : 22 B
  533. hacl-star/bindings/js/doc/.gitignore : 21 B
  534. hacl-star/providers/test/vectors/.merlin : 15 B
  535. hacl-star/vale/doc/.gitattributes : 14 B
  536. hacl-star/tests/merkle_tree_test.h : 13 B
  537. .gitignore : 7 B
  538. hacl-star/tests/benchmark/bench_hash.plt : 0 B
  539. hacl-star/doc/_static/.gitignore : 0 B