+1 -1

bench/dune

reviewed

··· 1 1 (executables 2 2 (names speed) 3 3 - (libraries crypto crypto-rng crypto-rng.unix crypto-pk crypto-ec)) 3 3 + (libraries nox-crypto nox-crypto-rng nox-crypto-rng.unix nox-crypto-pk nox-crypto-ec))

+1 -1

crypto-ec.opam nox-crypto-ec.opam

reviewed

··· 17 17 "dune-configurator" 18 18 "eqaf" {>= "0.7"} 19 19 "fmt" 20 20 - "crypto-rng" {= version} 20 20 + "nox-crypto-rng" {= version} 21 21 "digestif" {>= "1.2.0"} 22 22 "alcotest" {with-test & >= "0.8.1"} 23 23 "asn1-combinators" {with-test & >= "0.3.1"}

+2 -2

crypto-pk.opam nox-crypto-pk.opam

reviewed

··· 18 18 "ounit2" {with-test} 19 19 "randomconv" {with-test & >= "0.2.0"} 20 20 "ohex" {with-test & >= "0.2.0"} 21 21 - "crypto" {= version} 22 22 - "crypto-rng" {= version} 21 21 + "nox-crypto" {= version} 22 22 + "nox-crypto-rng" {= version} 23 23 "digestif" {>= "1.2.0"} 24 24 "zarith" {>= "1.13"} 25 25 "mdx" {with-test}

+1 -1

crypto-rng.opam nox-crypto-rng.opam

reviewed

··· 17 17 "dune-configurator" {>= "2.0.0"} 18 18 "logs" 19 19 "fmt" 20 20 - "crypto" {= version} 20 20 + "nox-crypto" {= version} 21 21 "digestif" {>= "1.1.4"} 22 22 "ounit2" {with-test} 23 23 "randomconv" {with-test & >= "0.2.0"}

crypto.opam nox-crypto.opam

reviewed

crypto.opam.template nox-crypto.opam.template

reviewed

+1 -1

dune

reviewed

··· 4 4 5 5 (mdx 6 6 (files README.md) 7 7 - (libraries crypto crypto.c crypto-ec crypto-pk crypto-rng crypto-rng.unix)) 7 7 + (libraries nox-crypto nox-crypto.c nox-crypto-ec nox-crypto-pk nox-crypto-rng nox-crypto-rng.unix))

+9 -9

dune-project

reviewed

··· 1 1 (lang dune 3.21) 2 2 (using mdx 0.4) 3 3 - (name crypto) 3 3 + (name nox-crypto) 4 4 (source (tangled gazagnaire.org/ocaml-crypto)) 5 5 (license ISC) 6 6 (authors ··· 11 11 (generate_opam_files true) 12 12 13 13 (package 14 14 - (name crypto) 14 14 + (name nox-crypto) 15 15 (synopsis "Simple symmetric cryptography (fork of mirage-crypto)") 16 16 (description 17 17 "WARNING: This is an experimental fork of mirage-crypto. Do not use in production. Use mirage-crypto instead: https://github.com/mirage/mirage-crypto. Crypto provides symmetric ciphers (DES, AES, RC4, ChaCha20/Poly1305).") ··· 30 30 (result (< 1.5)))) 31 31 32 32 (package 33 33 - (name crypto-pk) 33 33 + (name nox-crypto-pk) 34 34 (synopsis "Simple public-key cryptography (fork of mirage-crypto-pk)") 35 35 (description 36 36 "WARNING: This is an experimental fork of mirage-crypto-pk. Do not use in production. Use mirage-crypto-pk instead: https://github.com/mirage/mirage-crypto. Crypto-pk provides public-key cryptography (RSA, DSA, DH).") ··· 42 42 (ounit2 :with-test) 43 43 (randomconv (and :with-test (>= 0.2.0))) 44 44 (ohex (and :with-test (>= 0.2.0))) 45 45 - (crypto (= :version)) 46 46 - (crypto-rng (= :version)) 45 45 + (nox-crypto (= :version)) 46 46 + (nox-crypto-rng (= :version)) 47 47 (digestif (>= 1.2.0)) 48 48 (zarith (>= 1.13)) 49 49 (mdx :with-test) ··· 51 51 (conflicts ocaml-freestanding)) 52 52 53 53 (package 54 54 - (name crypto-rng) 54 54 + (name nox-crypto-rng) 55 55 (synopsis "A cryptographically secure PRNG (fork of mirage-crypto-rng)") 56 56 (description 57 57 "WARNING: This is an experimental fork of mirage-crypto-rng. Do not use in production. Use mirage-crypto-rng instead: https://github.com/mirage/mirage-crypto. Crypto-rng provides a random number generator interface, and implementations: Fortuna, HMAC-DRBG, getrandom/getentropy based (in the unix sublibrary).") ··· 62 62 (dune-configurator (>= 2.0.0)) 63 63 logs 64 64 fmt 65 65 - (crypto (= :version)) 65 65 + (nox-crypto (= :version)) 66 66 (digestif (>= 1.1.4)) 67 67 (ounit2 :with-test) 68 68 (randomconv (and :with-test (>= 0.2.0))) ··· 71 71 (conflicts (mirage-runtime (< 3.8.0)))) 72 72 73 73 (package 74 74 - (name crypto-ec) 74 74 + (name nox-crypto-ec) 75 75 (synopsis "Elliptic Curve Cryptography (fork of mirage-crypto-ec)") 76 76 (description 77 77 "WARNING: This is an experimental fork of mirage-crypto-ec. Do not use in production. Use mirage-crypto-ec instead: https://github.com/mirage/mirage-crypto. An implementation of key exchange (ECDH) and digital signature (ECDSA/EdDSA) algorithms using code from Fiat. The curves P256, P384, P521, and 25519 (X25519, Ed25519) are implemented.") ··· 82 82 dune-configurator 83 83 (eqaf (>= 0.7)) 84 84 fmt 85 85 - (crypto-rng (= :version)) 85 85 + (nox-crypto-rng (= :version)) 86 86 (digestif (>= 1.2.0)) 87 87 (alcotest (and :with-test (>= 0.8.1))) 88 88 (asn1-combinators (and :with-test (>= 0.3.1)))

+2 -2

ec/dune

reviewed

··· 1 1 (library 2 2 (name crypto_ec) 3 3 - (public_name crypto-ec) 4 4 - (libraries eqaf crypto-rng digestif fmt) 3 3 + (public_name nox-crypto-ec) 4 4 + (libraries eqaf nox-crypto-rng digestif fmt) 5 5 (foreign_stubs 6 6 (language c) 7 7 (names

+1 -1

ec/native/dune

reviewed

··· 1 1 (mdx 2 2 - (libraries crypto crypto.c crypto-ec crypto-pk crypto-rng crypto-rng.unix) 2 2 + (libraries nox-crypto nox-crypto.c nox-crypto-ec nox-crypto-pk nox-crypto-rng nox-crypto-rng.unix) 3 3 (files README.md))

+2 -2

fuzz/dune

reviewed

··· 1 1 - ; Crowbar fuzz testing for crypto 1 1 + ; Crowbar fuzz testing for nox-crypto 2 2 ; 3 3 ; Quick check: dune build @fuzz 4 4 ; With AFL: crow start --cpus=4 5 5 6 6 (executable 7 7 (name fuzz) 8 8 - (libraries crypto alcobar)) 8 8 + (libraries nox-crypto alcobar)) 9 9 10 10 (rule 11 11 (alias runtest)

+1 -1

lib/c/dune

reviewed

··· 1 1 (library 2 2 (name crypto_c) 3 3 - (public_name crypto.c) 3 3 + (public_name nox-crypto.c) 4 4 (implements crypto) 5 5 (foreign_stubs 6 6 (language c)

+2 -2

lib/dune

reviewed

··· 1 1 (library 2 2 (name crypto) 3 3 - (public_name crypto) 3 3 + (public_name nox-crypto) 4 4 (libraries eqaf fmt) 5 5 (virtual_modules native) 6 6 - (default_implementation crypto.c) 6 6 + (default_implementation nox-crypto.c) 7 7 (private_modules 8 8 aead 9 9 chacha20

+1 -1

lib/ocaml/dune

reviewed

··· 1 1 (library 2 2 (name crypto_ocaml) 3 3 - (public_name crypto.ocaml) 3 3 + (public_name nox-crypto.ocaml) 4 4 (implements crypto) 5 5 (private_modules aes_pure ghash_pure))

+2 -2

pk/dune

reviewed

··· 1 1 (library 2 2 (name crypto_pk) 3 3 - (public_name crypto-pk) 4 4 - (libraries zarith crypto crypto-rng eqaf) 3 3 + (public_name nox-crypto-pk) 4 4 + (libraries zarith nox-crypto nox-crypto-rng eqaf) 5 5 (private_modules common dh dsa rsa z_extra))

+2 -2

rng/dune

reviewed

··· 1 1 (library 2 2 (name crypto_rng) 3 3 - (public_name crypto-rng) 4 4 - (libraries crypto digestif logs fmt) 3 3 + (public_name nox-crypto-rng) 4 4 + (libraries nox-crypto digestif logs fmt) 5 5 (private_modules entropy fortuna hmac_drbg rng))

+2 -2

rng/unix/dune

reviewed

··· 15 15 16 16 (library 17 17 (name crypto_rng_unix) 18 18 - (public_name crypto-rng.unix) 18 18 + (public_name nox-crypto-rng.unix) 19 19 (modules crypto_rng_unix urandom getentropy) 20 20 - (libraries crypto-rng unix logs threads.posix) 20 20 + (libraries nox-crypto-rng unix logs threads.posix) 21 21 (foreign_stubs 22 22 (language c) 23 23 (include_dirs ../../lib/c)

+9 -9

test/dune

reviewed

··· 2 2 (name test) 3 3 (libraries 4 4 alcotest 5 5 - crypto 6 6 - crypto-ec 7 7 - crypto-rng 8 8 - crypto-rng.unix 5 5 + nox-crypto 6 6 + nox-crypto-ec 7 7 + nox-crypto-rng 8 8 + nox-crypto-rng.unix 9 9 ohex 10 10 fmt 11 11 test_common ··· 24 24 25 25 ; Differential testing: same test code, three backends: 26 26 ; 27 27 - ; - test_pure_c.exe -- crypto.c (C, AES-NI / BearSSL ct64) 28 28 - ; - test_pure.exe -- crypto.ocaml (pure OCaml, bitsliced) 29 29 - ; - test_pure.bc.js -- crypto.ocaml + JS (pure OCaml under Node.js) 27 27 + ; - test_pure_c.exe -- nox-crypto.c (C, AES-NI / BearSSL ct64) 28 28 + ; - test_pure.exe -- nox-crypto.ocaml (pure OCaml, bitsliced) 29 29 + ; - test_pure.bc.js -- nox-crypto.ocaml + JS (pure OCaml under Node.js) 30 30 ; 31 31 ; Each runs the same test code from test_pure.ml; the output is captured 32 32 ; and diffed. All three must agree byte-for-byte, otherwise the ··· 38 38 (name test_pure) 39 39 (modules test_pure) 40 40 (modes js exe) 41 41 - (libraries crypto crypto.ocaml)) 41 41 + (libraries nox-crypto nox-crypto.ocaml)) 42 42 43 43 (executable 44 44 (name test_pure_c) 45 45 (modules test_pure_c) 46 46 - (libraries crypto crypto.c)) 46 46 + (libraries nox-crypto nox-crypto.c)) 47 47 48 48 (rule 49 49 (copy test_pure.ml test_pure_c.ml))

+1 -1

test/ec/helpers/dune

reviewed

··· 1 1 (library 2 2 (name test_common) 3 3 - (libraries crypto ounit2 ohex fmt) 3 3 + (libraries nox-crypto ounit2 ohex fmt) 4 4 (optional))

+1 -1

test/ec/wycheproof/dune

reviewed

··· 1 1 (library 2 2 (name wycheproof) 3 3 - (libraries alcotest fmt json crypto-ec asn1-combinators digestif ohex) 3 3 + (libraries alcotest fmt json nox-crypto-ec asn1-combinators digestif ohex) 4 4 (optional))

+1 -1

test/pk/dune

reviewed

··· 1 1 (test 2 2 (name test) 3 3 - (libraries alcotest crypto-pk crypto-rng crypto-rng.unix ohex)) 3 3 + (libraries alcotest nox-crypto-pk nox-crypto-rng nox-crypto-rng.unix ohex))

+1 -1

test/rng/dune

reviewed

··· 1 1 (test 2 2 (name test) 3 3 - (libraries alcotest crypto-rng crypto-rng.unix digestif)) 3 3 + (libraries alcotest nox-crypto-rng nox-crypto-rng.unix digestif))

+1 -1

test/rng/unix/dune

reviewed

··· 1 1 (test 2 2 (name test) 3 3 - (libraries alcotest crypto-rng crypto-rng.unix)) 3 3 + (libraries alcotest nox-crypto-rng nox-crypto-rng.unix))

+4 -4

tests/dune

reviewed

··· 3 3 (libraries 4 4 alcotest 5 5 fmt 6 6 - crypto 7 7 - crypto-rng 8 8 - crypto-rng.unix 6 6 + nox-crypto 7 7 + nox-crypto-rng 8 8 + nox-crypto-rng.unix 9 9 random_selftests 10 10 ohex 11 11 - crypto-pk 11 11 + nox-crypto-pk 12 12 digestif))

+1 -1

tests/random_selftests/dune

reviewed

··· 1 1 (library 2 2 (name random_selftests) 3 3 - (libraries alcotest crypto crypto-rng randomconv) 3 3 + (libraries alcotest nox-crypto nox-crypto-rng randomconv) 4 4 (optional))