]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40fce57) | patch
ADDED: Reasoning about elliptic curves in library(crypto).
authorMarkus Triska <[email protected]>
Wed, 13 May 2020 18:50:54 +0000 (20:50 +0200)
committerMarkus Triska <[email protected]>
Wed, 13 May 2020 20:44:27 +0000 (22:44 +0200)
commit4084005ee7c1b6d30dd9e02478849eb16d773894
tree3ec276ab1589e2619ff7f4b889802fa71186cd92tree | snapshot
parent40fce574cf1949772e9af47778b4cbb285da5eaccommit | diff
ADDED: Reasoning about elliptic curves in library(crypto).

This is useful to establish shared secrets, using ECDH key exchange.

Note that CLP(ℤ) goal expansion is currently disabled due to #445,
and this slows down the computations considerably for the time being.
README.md diff | blob | history
src/prolog/lib/crypto.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust