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

ENHANCED: more extensive type checking in curve25519_scalar_mult/3

Browse Source
This commit is contained in:
Markus Triska
2023-08-20 14:42:34 +02:00
parent 745ddc2c87
commit 013df58fea
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/crypto.pl
View File

@@ -711,6 +711,8 @@ curve25519_scalar_mult(Scalar, Point, Result) :-
must_be_bytes(ScalarBytes, curve25519_scalar_mult/3), must_be_bytes(ScalarBytes, curve25519_scalar_mult/3),
length(ScalarBytes, 32) length(ScalarBytes, 32)
), ),
must_be(chars, Point),
length(Point, 32),
maplist(char_code, Point, PointBytes), maplist(char_code, Point, PointBytes),
'$curve25519_scalar_mult'(ScalarBytes, PointBytes, Result). '$curve25519_scalar_mult'(ScalarBytes, PointBytes, Result).