address arity discrepancies in builtins.n and call/N (#525)

Merge pull request #560 from notoria/cargo

Added some informations in Cargo.toml

Merge pull request #557 from mthom/docker

Merge Master with Docker branch

Added some informations in Cargo.toml

use -1 as eof_code for binary streams (#555)

Merge pull request #556 from panasenco/docker

Valid Dockerfile and README

Phrasing

Fixed link in Dockerfile documentation. Updated README with working Docker link. Made general improvements to the Docker section of the README now that I'm not in a sleep-deprived zombie state.

Revert "Revert "Created and Tested Dockerfile""

This reverts commit e00d864199549c179a4403fba910b234646cdba5.

Merge branch 'master' of https://github.com/mthom/rusty-wam

correct get_byte/1 not emitted -1 upon discovery of end_of_stream position (#555)

Merge pull request #552 from mthom/master

Scryer Dockerfile

Merge pull request #554 from triska/format3

ADDED: format/3, writing formatted output to a stream

ENHANCED: Faster format/3 for binary streams.

This speeds up web servers considerably when sending binary files.

ADDED: format/3, writing formatted output to a stream

Both binary and text streams are supported.

modify int_pow so that a power of -1 is valid (#548)

Merge pull request #545 from triska/ed25519

ADDED: Public key signatures and signature verification with Ed25519

document that lists of integers can be specified if encoding(octet) is used

This seems to be a good compromise: The API now strongly encourages
lists of characters, which are ideally suited to represent text, and
also allows lists of bytes if the encoding(octet) option is used.

correct mode indication for ed25519_verify/4

Noted by @notoria in #545. Many thanks!

"PrivateKey" --> "KeyPair"

remove several mentions of list of bytes in predicate descriptions

This is to focus more on the intended core representation of text: In
Prolog, text is ideally represented as a list of characters, and this
is what we want to encourage, especially given Scryer's compact
representation for strings.

For the time being, library(crypto) still also supports lists of bytes in
several predicates. This will likely be removed at some point in the
future. Please use lists of characters to make your code future-proof.

require PKCS#8 v2 format for better security

Notably, this format requires that the public key also be present.
This format is what ed25519_new_keypair/1 generates, and it is
strongly encouraged for higher security.

ADDED: ed25519_keypair_public_key/2, relating a key pair to its public key

clarify format of public key

ADDED: ed25519_new_keypair/1 to dynamically create a new Ed25519 key pair

use LessSafeKey to simplify the implementation of authenticated encryption

The nonce is explicitly specified, and the application programmer
must (and always had to) ensure that it is unique for a given key.

"codes" --> "bytes"

Support for lists of bytes may be dropped from library(crypto). Use
lists of characters to make your code future-proof. Lists of
characters will always be supported due to their compactness,
and because Prolog applications should move towards characters.

ADDED: Public key signatures and signature verification with Ed25519

revert printing of characters

Merge pull request #537 from triska/master

import member/2 from library(lists)

import member/2 from library(lists)

Merge pull request #536 from mthom/revert-517-docker

Revert "Created and Tested Dockerfile"

Revert "Created and Tested Dockerfile"

Merge pull request #533 from triska/master

ADDED: Support for SHA-3 algorithms in crypto_data_hash/3

Merge pull request #534 from triska/phrase_from_file_3

ADDED: phrase_from_file/3 in library(pio)

ADDED: phrase_from_file/3 in library(pio)

This allows us to specify type(binary), and read from binary files
with DCGs.

better error handling in crypto_data_hkdf/4

Noted by @notoria in #533. Many thanks!

crypto_data_hkdf/4: do not crash for length > usize::max_value()

For now, we fail silently in such cases.

Noted by @notoria in #533. Many thanks!

use more fixnums in cryptographic routines

correct option processing in crypto_data_decrypt/6

use Fixnums for bytes in hashing.

Suggested by @notoria in #533. Many thanks!

use matching to select the hashing algorithm

Suggested by @notoria in #533. Many thanks!

Merge pull request #517 from panasenco/docker

Created and Tested Dockerfile

correct fixnum overflow on negation (#528)

ADDED: Support for BLAKE2 algorithms in crypto_data_hash/3.

ADDED: Support for SHA-3 algorithms in crypto_data_hash/3

accomodate \0\ in partial strings, print null as \0\ (#267, #526), update prolog parser, version bump

add Addr::Lis as case in PartialStringTail (#530)

Merge pull request #527 from triska/master

Add type checks to increase robustness of library(crypto)

fix partial_string_tail panic (#530)

stronger validation of input lists for cryptographic routines

Example:

    ?- crypto_data_hkdf(Var, 32, Bs, []).
    caught: error(instantiation_error,must_be/2)

Reported by @notoria in #527. Many thanks!

crypto_data_hkdf/4: Fail if the length is too long.

Due to the way the counter is constructed in the HKDF specification,
the requested output length can be at most 255 times the size of the
digest algorithm's output.

Reported by @notoria in #527. Many thanks!

crypto_password_hash/3: fail if the number of iterations is too high

Discussed in #527.

centralize reasoning about encoding

raise instantiation errors for variable encoding

Reported by notoria in #527.

Note that from a declarative perspective, it would indeed be valid to
give answers for both available encodings.

type check for length argument in crypto_data_hkdf/4

Reported by @notoria in #527.

throw instantiation error if the list of options contains a variable (#523)

Many thanks to @notoria for the test case!

Updated README with Docker install instructions

Managed to create a 77MB scryer-prolog Docker image

New Dockerfile based on Fredrik Park's blog post - compilation fails with linker error

Created initial working Docker deployment

fix atom_codes (#521)

add Cargo.lock

eliminate Addr::CharCode (#519), fix atom_code panic (#521), fix failure involving lists of character codes (#520), bump version number

type test for salt in crypto_password_hash/3

solve overflow of left arithmetic shift (#518)

update Cargo.lock

scryer version bump

propagate syntax errors from read_term when they're not UnexpectedEOF (#507)

fix sign error in shl on fixnum with n >= 63 (#499)

correct for second argument when (is)/2 is a tail call

Merge branch 'master' of https://github.com/mthom/rusty-wam

restore old clpz.pl

Enhanced Travis-CI (#512)

Authenticated encryption in library(crypto), new encoding/1 option for hashes (#515)

* shorten n_newlines//1

* remove unneeded variable

* ADDED: authenticated encryption and decryption with ChaCha20-Poly1305

* ADDED: encoding/1 option for crypto_data_hash/3 and crypto_data_hkdf/4

Merge branch 'master' of https://github.com/mthom/rusty-wam

correct mishandled Addr::CharCode case in eq_test (#505)

ADDED: Password-based key derivation (PBKDF2) (#509)

The new predicates crypto_password_hash/[2,3] let you store
passwords safely, and easily verify passwords later.

Work in progress: add char_utf8bytes (#493)

* Add char_utf8bytes to library

* Improved implementation

* Improve code + add chars predicate

* Update example

* Renamed string_utf8bytes to char_utf8bytes

fix existence_error in atom_chars/2, atom_codes/2 (#504, #506)

Merge branch 'master' of https://github.com/mthom/rusty-wam

implement (div)/2 properly (#435)

Merge pull request #502 from triska/hkdf

ADDED: HMAC-based key derivation (HKDF) via crypto_data_hkdf/4

ADDED: HMAC-based key derivation (HKDF) via crypto_data_hkdf/4

This is useful to generate keys and initialization vectors
from suitable input keying material, so that future predicates
for symmetric encryption can be used with appropriate parameters.

Merge pull request #501 from triska/elliptic_curves

ADDED: Reasoning about elliptic curves in library(crypto).

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.

Merge pull request #500 from triska/master

ADDED: ripemd160 digest algorithm

ADDED: ripemd160 digest algorithm

This is used for example for Bitcoin address generation.

Merge pull request #496 from triska/master

ADDED: crypto_data_hash/3, computing cryptographically secure digests

Merge pull request #498 from notoria/between

Enhanced between/3

Enhanced between/3

ADDED: crypto_data_hash/3, computing cryptographically secure digests

resolve warning messages (#495)

Merge branch 'master' of https://github.com/mthom/rusty-wam

throw existence_error on failed put_byte write (#492)

do not unwrap stream write, TcpStream::shutdown results (#492)

return true on unmatching partial strings in eq_test to indicate failure (#491)

Merge pull request #494 from triska/master

ADDED: crypto_n_random_bytes/2, creating cryptographically secure random bytes

ADDED: crypto_n_random_bytes/2, creating cryptographically secure random bytes

The ring crate is used since it will be needed also for future
predicates in library(crypto).

reset current input in ReadQueryTerm