rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add type check for scalar argument in crypto_curve_scalar_mult/4

Browse Source 
Suggested by @notoria in #576. Many thanks!
This commit is contained in:
Markus Triska
2020-06-07 18:50:36 +02:00
parent 5499df418a
commit e8653ffe32
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/prolog/lib/crypto.pl
View File

@@ -718,6 +718,7 @@ crypto_curve_generator(curve(_,_,_,_,G,_,_,_), G).
crypto_curve_order(curve(_,_,_,_,_,Order,_,_), Order). crypto_curve_order(curve(_,_,_,_,_,Order,_,_), Order).
crypto_curve_scalar_mult(Curve, Scalar, point(X,Y), point(RX, RY)) :- crypto_curve_scalar_mult(Curve, Scalar, point(X,Y), point(RX, RY)) :-
must_be(integer, Scalar),
must_be_on_curve(Curve, point(X,Y)), must_be_on_curve(Curve, point(X,Y)),
curve_name(Curve, Name), curve_name(Curve, Name),
curve_field_length(Curve, L0), curve_field_length(Curve, L0),