From 013df58feabaedaee5bb8107e6fb418e3c0967ff Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sun, 20 Aug 2023 14:42:34 +0200
Subject: [PATCH] ENHANCED: more extensive type checking in
 curve25519_scalar_mult/3

---
 src/lib/crypto.pl | 2 ++
 1 file changed, 2 insertions(+)

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).
 
-- 
2.54.0