From e8653ffe32d7368c2be477d0f8c1d2b35aae6620 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sun, 7 Jun 2020 18:50:36 +0200
Subject: [PATCH] add type check for scalar argument in
 crypto_curve_scalar_mult/4

Suggested by @notoria in #576. Many thanks!
---
 src/prolog/lib/crypto.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/prolog/lib/crypto.pl b/src/prolog/lib/crypto.pl
index 7d099d23..91ebc6ef 100644
--- a/src/prolog/lib/crypto.pl
+++ b/src/prolog/lib/crypto.pl
@@ -718,6 +718,7 @@ crypto_curve_generator(curve(_,_,_,_,G,_,_,_), G).
 crypto_curve_order(curve(_,_,_,_,_,Order,_,_), Order).
 
 crypto_curve_scalar_mult(Curve, Scalar, point(X,Y), point(RX, RY)) :-
+        must_be(integer, Scalar),
         must_be_on_curve(Curve, point(X,Y)),
         curve_name(Curve, Name),
         curve_field_length(Curve, L0),
-- 
2.54.0