From: Markus Triska <triska@metalevel.at>
Date: Sun, 20 Aug 2023 12:42:34 +0000 (+0200)
Subject: ENHANCED: more extensive type checking in curve25519_scalar_mult/3
X-Git-Tag: v0.9.2~7^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=013df58feabaedaee5bb8107e6fb418e3c0967ff;p=scryer-prolog.git

ENHANCED: more extensive type checking in curve25519_scalar_mult/3
---

diff --git a/src/lib/crypto.pl b/src/lib/crypto.pl
index 71c0420e..bec12d51 100644
--- 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).