diff options
author | Raimo Niskanen <[email protected]> | 2018-09-13 14:34:19 +0200 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2018-09-13 14:34:19 +0200 |
commit | 510048b8efd0a72706f3232f0842ee9828c63f79 (patch) | |
tree | 5cb054451943b139d519ca2c5bbb2468eb44aa75 | |
parent | ae074a6d4ed9a056d6687b2736be28a9dcc0649d (diff) | |
download | otp-510048b8efd0a72706f3232f0842ee9828c63f79.tar.gz otp-510048b8efd0a72706f3232f0842ee9828c63f79.tar.bz2 otp-510048b8efd0a72706f3232f0842ee9828c63f79.zip |
Prototype crypto_aes PRNG
Conflicts:
lib/crypto/src/crypto.erl
-rw-r--r-- | lib/crypto/src/crypto.erl | 110 | ||||
-rw-r--r-- | lib/stdlib/test/rand_SUITE.erl | 9 |
2 files changed, 101 insertions, 18 deletions
diff --git a/lib/crypto/src/crypto.erl b/lib/crypto/src/crypto.erl index c64586897e..bbdc8c6fc6 100644 --- a/lib/crypto/src/crypto.erl +++ b/lib/crypto/src/crypto.erl @@ -34,6 +34,7 @@ -export([rand_seed/0, rand_seed_alg/1]). -export([rand_seed_s/0, rand_seed_alg_s/1]). -export([rand_plugin_next/1]). +-export([rand_plugin_aes_next/1, rand_plugin_aes_jump/1]). -export([rand_plugin_uniform/1]). -export([rand_plugin_uniform/2]). -export([rand_cache_plugin_next/1]). @@ -672,6 +673,8 @@ rand_seed_alg(Alg) -> rand:seed(rand_seed_alg_s(Alg)). -define(CRYPTO_CACHE_BITS, 56). +-define(CRYPTO_AES_BITS, 58). + -spec rand_seed_alg_s(Alg :: atom()) -> {rand:alg_handler(), atom() | rand_cache_seed()}. @@ -684,21 +687,35 @@ rand_seed_alg_s(?MODULE) -> no_seed}; rand_seed_alg_s(crypto_cache) -> CacheBits = ?CRYPTO_CACHE_BITS, - EnvCacheSize = - application:get_env( - crypto, rand_cache_size, CacheBits * 16), % Cache 16 * 8 words - Bytes = (CacheBits + 7) div 8, - CacheSize = - case ((EnvCacheSize + (Bytes - 1)) div Bytes) * Bytes of - Sz when is_integer(Sz), Bytes =< Sz -> - Sz; - _ -> - Bytes - end, + BytesPerWord = (CacheBits + 7) div 8, + GenBytes = + ((rand_cache_size() + (2*BytesPerWord - 1)) div BytesPerWord) + * BytesPerWord, {#{ type => crypto_cache, bits => CacheBits, next => fun ?MODULE:rand_cache_plugin_next/1}, - {CacheBits, CacheSize, <<>>}}. + {CacheBits, GenBytes, <<>>}}; +rand_seed_alg_s({crypto_aes,Seed}) -> + %% 16 byte words (128 bit crypto blocks) + GenWords = (rand_cache_size() + 31) div 16, + Key = crypto:hash(sha256, Seed), + NN = [0,0,0,0], + {#{ type => crypto_aes, + bits => ?CRYPTO_AES_BITS, + next => fun ?MODULE:rand_plugin_aes_next/1, + jump => fun ?MODULE:rand_plugin_aes_jump/1}, + {Key,GenWords,NN}}. + +rand_cache_size() -> + DefaultCacheSize = 1024, + CacheSize = + application:get_env(crypto, rand_cache_size, DefaultCacheSize), + if + is_integer(CacheSize), 0 =< CacheSize -> + CacheSize; + true -> + DefaultCacheSize + end. rand_plugin_next(Seed) -> {bytes_to_integer(strong_rand_range(1 bsl 64)), Seed}. @@ -709,12 +726,73 @@ rand_plugin_uniform(State) -> rand_plugin_uniform(Max, State) -> {bytes_to_integer(strong_rand_range(Max)) + 1, State}. -rand_cache_plugin_next({CacheBits, CacheSize, <<>>}) -> + +rand_cache_plugin_next({CacheBits, GenBytes, <<>>}) -> rand_cache_plugin_next( - {CacheBits, CacheSize, strong_rand_bytes(CacheSize)}); -rand_cache_plugin_next({CacheBits, CacheSize, Cache}) -> + {CacheBits, GenBytes, strong_rand_bytes(GenBytes)}); +rand_cache_plugin_next({CacheBits, GenBytes, Cache}) -> <<I:CacheBits, NewCache/binary>> = Cache, - {I, {CacheBits, CacheSize, NewCache}}. + {I, {CacheBits, GenBytes, NewCache}}. + + +%% Encrypt 128 bit counter values and use the 58 lowest +%% encrypted bits as random numbers. +%% +%% The 128 bit counter is handled as 4 32 bit words +%% to avoid bignums. Generate a bunch of numbers +%% at the time and cache them. +%% +-dialyzer({no_improper_lists, rand_plugin_aes_next/1}). +rand_plugin_aes_next([V|Cache]) -> + {V,Cache}; +rand_plugin_aes_next({Key,GenWords,NN}) -> + {Cleartext,NewNN} = aes_cleartext(<<>>, NN, GenWords), + Encrypted = crypto:block_encrypt(aes_ecb, Key, Cleartext), + [V|Cache] = aes_cache(Encrypted, {Key,GenWords,NewNN}), + {V,Cache}. + +%% A jump advances the counter 2^64 steps; the the number +%% of cached random values has to be subtracted +%% for the jump to be correct. +-dialyzer({no_improper_lists, rand_plugin_aes_jump/1}). +rand_plugin_aes_jump({#{type := crypto_aes} = Alg, Cache}) -> + rand_plugin_aes_jump(Alg, Cache, 0). +%% Count cached words and subtract their number from jump +-dialyzer({no_improper_lists, rand_plugin_aes_jump/3}). +rand_plugin_aes_jump(Alg, [_|Cache], J) -> + rand_plugin_aes_jump(Alg, Cache, J + 1); +rand_plugin_aes_jump(Alg, {Key,GenWords,NN}, J) -> + {Alg, {Key,GenWords,long32_add(NN, (1 bsl 64) - J)}}. + + +long32_add([], _) -> []; +long32_add([X|N], Cy) -> + Y = X + Cy, + if + Y < 0; 1 bsl 32 =< Y -> + [(Y band ((1 bsl 32) - 1))|long32_add(N, Y bsr 32)]; + true -> + [Y|N] + end. + +%% Build binary with counter values to cache +aes_cleartext(Cleartext, NN, 0) -> + {Cleartext,NN}; +aes_cleartext(Cleartext, [A,B,C,D] = NN, GenWords) -> + aes_cleartext( + <<Cleartext/binary, D:32, C:32, B:32, A:32>>, + long32_add(NN, 1), + GenWords - 1). + +%% Parse and cache encrypted counter values aka random numbers +-dialyzer({no_improper_lists, aes_cache/2}). +aes_cache(<<>>, Cache) -> + Cache; +aes_cache( + <<_:(128 - ?CRYPTO_AES_BITS), V:?CRYPTO_AES_BITS, Encrypted/binary>>, + Cache) -> + [V|aes_cache(Encrypted, Cache)]. + strong_rand_range(Range) when is_integer(Range), Range > 0 -> BinRange = int_to_bin(Range), diff --git a/lib/stdlib/test/rand_SUITE.erl b/lib/stdlib/test/rand_SUITE.erl index 636ba71fcf..c46e370dd5 100644 --- a/lib/stdlib/test/rand_SUITE.erl +++ b/lib/stdlib/test/rand_SUITE.erl @@ -848,7 +848,8 @@ do_measure(_Config) -> Algs = algs() ++ try crypto:strong_rand_bytes(1) of - <<_>> -> [crypto64, crypto_cache, crypto] + <<_>> -> + [crypto64, crypto_cache, crypto_aes, crypto] catch error:low_entropy -> []; error:undef -> [] @@ -1097,6 +1098,10 @@ measure_1(RangeFun, Fun, Alg, TMark) -> {rand, crypto:rand_seed_alg(crypto_cache)}; crypto -> {rand, crypto:rand_seed_s()}; + crypto_aes -> + {rand, + crypto:rand_seed_alg( + {crypto_aes,crypto:strong_rand_bytes(256)})}; random -> {random, random:seed(os:timestamp()), get(random_seed)}; _ -> @@ -1112,7 +1117,7 @@ measure_1(RangeFun, Fun, Alg, TMark) -> _ -> (Time * 100 + 50) div TMark end, io:format( - "~.12w: ~p ns ~p% [16#~.16b]~n", + "~.20w: ~p ns ~p% [16#~.16b]~n", [Alg, (Time * 1000 + 500) div ?LOOP_MEASURE, Percent, Range]), Parent ! {self(), Time}, |