Merge branch 'fix-constant-and-more-tests' of github.com:aeternity/enacl

2020-01-16 13:27:58 +01:00
parent 7f8e0a0e07 b3bbb2a910
commit 25d411aa7d
2 changed files with 20 additions and 3 deletions
@@ -1,6 +1,6 @@
 -module(enacl_eqc).
 -include_lib("eqc/include/eqc.hrl").
-compile(export_all).
+-compile([export_all, nowarn_export_all]).

 -ifndef(mini).
 -compile({parse_transform, eqc_parallelize}).
@@ -828,8 +828,26 @@ prop_randombytes() ->
                end
       end).

+%% SCRAMBLING
+prop_scramble_block() ->
+    ?FORALL({Block, Key}, {binary(16), eqc_gen:largebinary(32)},
+        is_binary(enacl_ext:scramble_block_16(Block, Key))).
+
+%% Scala multiplication
+prop_scalarmult() ->
+  Bytes = 32,
+  ?FORALL({S1, S2, Basepoint}, {binary(Bytes), binary(Bytes), binary(Bytes)},
+          equals(enacl:curve25519_scalarmult(S1,
+                       enacl:curve25519_scalarmult(S2, Basepoint)),
+                 enacl:curve25519_scalarmult(S2,
+                       enacl:curve25519_scalarmult(S1, Basepoint)))
+         ).
+
+%% HELPERS
+
 %% INTERNAL FUNCTIONS
 %% ------------------------------------------------------------
+
 badargs(Thunk) ->
  try
    Thunk(),