ENHANCED: more extensive type checking in curve25519_scalar_mult/3

diff --git a/src/lib/crypto.pl b/src/lib/crypto.pl
index 71c0420ee200d1af1fe2f9f032de43f9e3c18f3a..bec12d514187c355199fb468e51d3b44b62f6504 100644 (file)
--- a/src/lib/crypto.pl
+++ b/src/lib/crypto.pl
@@ -711,6 +711,8 @@ curve25519_scalar_mult(Scalar, Point, Result) :-
             must_be_bytes(ScalarBytes, curve25519_scalar_mult/3),
             length(ScalarBytes, 32)
         ),
+        must_be(chars, Point),
+        length(Point, 32),
         maplist(char_code, Point, PointBytes),
         '$curve25519_scalar_mult'(ScalarBytes, PointBytes, Result).