Merge pull request #2354 from triska/side_channel

explain potential side-channel attacks due to compact string representation

explain potential side-channel attacks due to compact string representation

This legitimate concern was already raised by @infogulch in:

https://github.com/mthom/scryer-prolog/issues/1309#issuecomment-1080028854

Thank you a lot!

Merge pull request #2353 from triska/hmac_verification

ENHANCED: Safe HMAC verification, using constant time string comparison.

ENHANCED: Safe HMAC verification, using constant time string comparison.

Without this provision, the expected HMAC can be gathered from timing
differences depending on the position where the strings first diverge,
and hence an attacker can forge an authenticated message by supplying
the gathered HMAC.

Test case, using exp(E) to succeed exactly 2^E times:

    exp(E) :-
        N is 2^E,
        between(1, N, _).

yielding:

    ?- Options = [algorithm(sha512),hmac([1,2,3])],
       Ds = "test",
       crypto_data_hash(Ds, H, Options),
       phrase((seq(As),seq(Bs)), H),
       same_length(Bs, Cs),
       maplist(=(a), Cs),
       append(As, Cs, H1),
       time((exp(10),crypto_data_hash(Ds, H1, Options),false)).
    %@    % CPU time: 0.710s, 7_942_187 inferences
    %@    % CPU time: 0.713s, 7_942_187 inferences
    %@    % CPU time: 0.712s, 7_942_187 inferences
    %@    % CPU time: 0.711s, 7_942_187 inferences
    %@    % CPU time: 0.710s, 7_942_187 inferences
    %@    % CPU time: 0.711s, 7_942_187 inferences
    %@    % CPU time: 0.710s, 7_942_187 inferences

    ?- length(_, L), time((exp(10),crypto_data_hash("test", "3caebd1a0a2647930319a660b7d3642eb380fbd43202f9f6d08aabaa9ba50c39522a12ead10f0423f0af613cbc6fea74ad682ee11f563cc2e735722004fda2ba", [algorithm(sha512),hmac([0,L])]),false)).
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.734s, 7_878_699 inferences
    %@    % CPU time: 0.732s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.515s, 5_525_404 inferences
    %@    error('$interrupt_thrown',repl/0).

Merge pull request #2351 from infogulch/install-current-iai

Install version of iai-callgrind set in Cargo.toml

Install version of iai-callgrind set in Cargo.toml

make indexer downcast Integers to Fixnums when possible, be slightly more judicious about allocating Integers instead of Fixnums (#2340)

add #2341 test to lib_machine.rs

use scryer-modular-bitfield on github, version bump

fix misuse of TypeError trait while fixing #2345

issue callable type error from dynamic_module_resolution if module is not an atom (#2345)

Merge pull request #2309 from coasys/library-use-case

Iron-out edge cases for library use-case, adding extensive real-world test assertions

Merge pull request #2342 from triska/curve_doc

DOC: Add DocLog comments for reasoning about elliptic curves.

DOC: Add DocLog comments for reasoning about elliptic curves.

Merge pull request #2338 from triska/hmac

ADDED: Hash-based message authentication code (HMAC), using hmac(Key).

ADDED: Hash-based message authentication code (HMAC), using hmac(Key).

Merge pull request #2337 from triska/master

link to newly available paper on analysis of dose-escalation protocols

link to newly available paper on analysis of dose-escalation protocols

Many thanks to @dcnorris for this great application and cooperation!

fix build of run_iai bench for wasm32

fix benchmarks being broken for every target except wam32

cfg out benches for wasm32

fix compilation of wasm32 test  and skip to run wasm32 tests

undo `continue-on-error`

- currently  `continue-on-error` is not shown in a usefull way on failiure see <https://github.com/orgs/community/discussions/15452>

bump ahash lock to 0.8.7

- fix nightly build
- not bumping to latest aka. 0.8.8 as that has a msrv of 1.72.0 and we are only at 1.70.0

Merge pull request #2327 from triska/char_type

FIXED: char_type/2 for unbound first argument.

FIXED: char_type/2 for unbound first argument.

Surrogate pairs form a gap in valid character codes, see:

    https://github.com/mthom/scryer-prolog/issues/2326#issuecomment-1937864665

Many thanks to @Skgland for the pointer, and to @librarianmage for the
question that spawned this!

This addresses #2326.

continue-on-error if target=wasm32 or rust=nightly

Reactivate nightly test job with continue-on-error set

Use stable Rust for style/report and deactivate nightly x86_64 target in CI

Merge branch 'master' into library-use-case

Update src/machine/parsed_results.rs

Co-authored-by: Bennet Bleßmann <[email protected]>

fix tests broken by singleton

Merge pull request #2322 from triska/char_code

ENHANCED: Bi-directional char_code/2, addressing #2321.

ENHANCED: Bidirectional char_type/2, addressing #2321.

Suggested by @librarianmage, many thanks!

Merge pull request #2319 from triska/clpz_t

ADDED: clpz_t/2, generalizing support for use with library(reif)

ADDED: clpz_t/2, generalizing support for use with library(reif)

This was suggested and contributed by @librarianmage in:

    https://github.com/mthom/scryer-prolog/issues/2225#issuecomment-1890801923

Many thanks!

If anyone can find a better predicate name, please let us know any time!

fmt

Merge pull request #2317 from aarroyoc/all-modules-test

Add all_mdoules test and fix library(csv)

Add all_mdoules test and fix library(csv)

fix reverted tests, ensure files are loaded before goals (#2315)

fix broken tests

treat consultation of command line modules as regular goals (#2314)

fmt

load .scryerrc before files and goals (#1775, #2313)

record stub choice point as block

Test show problem with nonexistent predicate

fmt

clippy

Fix all orderings in integration assertions

Remove test with long program literals, not needed

More ordering adjustments

fix style errors

index stub choice point correctly

Extract failing assertion as single test case

Adjust some first result orderings in integration assertions

check for True or False Query Resolution unconditionally

fmt

Add more test cases to differentiate usage of discontiguous

Minimal reproduction of faulty behaviour seen in integration tests

Merge branch 'master' into library-use-case

Add expected results to integration test

Results are logs of what we get with old toplevel-based version of lib_machine. These are also congruent with what our tests logged out based on SWI.

scan registers of instructions leading to verify_attributes interrupt to find the number of registers to save (#2307)

add non chunk traversing cut family instructions to is_head_instr (#2307)

Merge pull request #2308 from triska/small_format_improvements

Small format improvements

update answers using latest toplevel output

rely on recently improved argument indexing for determinism

This is possible as of 4fd37335f576240c25dfbfe6e70441aff166c60e.

move call_residue_vars/2 from atts.pl to iso_ext.pl

don't mark temp variables as safe through argument_to_value (#2307)

Merge pull request #2306 from triska/dcg_representation

No longer use (->)//2 in library(clpb)

Merge pull request #2305 from mthom/dependabot/cargo/h2-0.3.24

Bump h2 from 0.3.22 to 0.3.24

improve error context

Source: https://github.com/mthom/scryer-prolog/issues/2304#issuecomment-1906434756

no longer use (->)//2, since it is implementation defined

This addresses #2304.

Bump h2 from 0.3.22 to 0.3.24

Bumps [h2](https://github.com/hyperium/h2) from 0.3.22 to 0.3.24.
- [Release notes](https://github.com/hyperium/h2/releases)
- [Changelog](https://github.com/hyperium/h2/blob/v0.3.24/CHANGELOG.md)
- [Commits](https://github.com/hyperium/h2/compare/v0.3.22...v0.3.24)

---
updated-dependencies:
- dependency-name: h2
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>

Merge pull request #2303 from mthom/dependabot/cargo/shlex-1.3.0

Bump shlex from 1.2.0 to 1.3.0

Bump shlex from 1.2.0 to 1.3.0

Bumps [shlex](https://github.com/comex/rust-shlex) from 1.2.0 to 1.3.0.
- [Changelog](https://github.com/comex/rust-shlex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/comex/rust-shlex/commits)

---
updated-dependencies:
- dependency-name: shlex
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>

Merge pull request #2302 from triska/dcg_representation

Throw representation errors for unsupported DCG grammar control constructs

use newly available false//0

no longer use (->)//2, since it is implementation dependent

remove checks that are now no longer needed due to representation errors

ENHANCED: Throw representation errors for DCG bodies that use unsupported constructs.

This addresses #2285.

MODIFIED: (->)/2 in DCGs is now only supported in the context of if-then-else.

That is, ( If -> Then ; Else ) is still supported, but ( If -> Then ) not.

Merge pull request #2301 from aarroyoc/docs-copy-term-3

Move copy_term/3 to library(iso_ext)

Merge pull request #2300 from aarroyoc/fix-2298

Throw error in call_residue_vars/2

Move copy_term/3 to library(iso_ext)

Throw error in call_residue_vars/2

add better no op detection in char_reader.rs (#2297)

add #2293 tests, advance continuable HeapPStrIters away from unpacked compounds (#2293)

fix additional tests, make better use of existing code (#2293)

fix additional tests (#2293)

add missing CStr branch to unify_partial_string (#2293)

Merge pull request #2276 from triska/hophrase

ADDED: Support for higher-order non-terminals phrase//[2,3]

Merge pull request #2281 from bakaq/miri

Initial Miri support

Make "cargo miri test" actually run

fix cargo fmt --check

Merge pull request #2280 from notoria/clpz

Special case for `(^)/2`

check for PStr in eager stackful preorder iterator before adding tail of PStrOffset (#2272)

Special case for `(^)/2`

The only solutions for `Z #= X^Z` are `X = Z, X in -1\/1`. Also helps
avoid big numbers.

Merge pull request #2278 from notoria/clpz

Small fixes for `CLP(ℤ)`

Merge pull request #2277 from triska/master

Correct arithmetic disequalities accidentally broken in f5d9a67f3688ec9bb08dd3add05614552e082555

Fix bound computation in `(^)/2`

?- A in 0..1, B in-1..0, A^2 #= B.
   false. % unexpected.
?- A^2 #= B, A in 0..1, B in-1..0.
   A = 0, B = 0.