diff --git a/eqc/ed25519_eqc.erl b/eqc/ed25519_eqc.erl index 17d60f2..6d00452 100644 --- a/eqc/ed25519_eqc.erl +++ b/eqc/ed25519_eqc.erl @@ -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(<>) -> <>. - 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)). diff --git a/rebar.config b/rebar.config index 1f09316..456ff2a 100644 --- a/rebar.config +++ b/rebar.config @@ -9,5 +9,5 @@ {profiles, [{test, [{deps, [{enacl, {git, "https://github.com/aeternity/enacl.git", {ref, "01dd0c2"}}}, {ecrecover, {git, "https://github.com/aeternity/ecrecover.git", {ref, "74b7816"}}}]}]}, - {eqc, [{deps, [{enacl, {git, "https://github.com/aeternity/enacl.git", {ref, "01dd0c2"}}}]}]} + {eqc, [{deps, [{enacl, {git, "https://github.com/aeternity/enacl.git", {ref, "38ffc76"}}}]}]} ]}.