QPQ-AG/ec_utils
11
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update enacl and unfix the tests

Browse Source
This commit is contained in:
Hans Svensson
2022-01-26 11:21:48 +01:00
parent 3cee7296b2
commit c618c16c29
2 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
eqc/ed25519_eqc.erl
+2 -4
View File
@@ -87,7 +87,7 @@ prop_scalar_mul() ->
?FORALL({S, P0}, {gen_scalar(), gen_point()},
begin
E = enacl:crypto_ed25519_scalarmult(S, P0),
P = ecu_ed25519:scalar_mul(S, even(P0)),
P = ecu_ed25519:scalar_mul(S, P0),
equals(E, ecu_ed25519:compress(P))
end).
@@ -95,7 +95,7 @@ prop_scalar_mul_noclamp() ->
?FORALL({S, P0}, {gen_scalar(), gen_point()},
begin
E = enacl:crypto_ed25519_scalarmult_noclamp(S, P0),
P = ecu_ed25519:scalar_mul_noclamp(S, ecu_ed25519:decompress(even(P0))),
P = ecu_ed25519:scalar_mul_noclamp(S, ecu_ed25519:decompress(P0)),
equals(E, ecu_ed25519:compress(P))
end).
@@ -123,8 +123,6 @@ prop_dbl() ->
ecu_ed25519:pt_eq(A, B))
end).
even(<<B:31/bytes, _:1, B2:7>>) -> <<B/bytes, 0:1, B2:7>>.
equal_pts(P1, P2) ->
?WHENFAIL(eqc:format("~p\n /=\n~p\n", [ecu_ed25519:to_affine(P1), ecu_ed25519:to_affine(P2)]),
ecu_ed25519:pt_eq(P1, P2)).