Skip to content

Latest commit

 

History

History
executable file
·
74 lines (61 loc) · 3.97 KB

CHANGELOG.md

File metadata and controls

executable file
·
74 lines (61 loc) · 3.97 KB
Raw

Noise Explorer v1.0.4

  • Go:
    • fix(go): Do not increment nonce on invalid message (#4).

Noise Explorer v1.0.3

  • Rust:

    • fix(rust): Updated Rust crate dependencies so that implementations compile automatically again.

  • WebAssembly:

    • fix(wasm): Updated Rust crate dependencies so that implementations compile automatically again.

  • Go:

    • fix(go): Nonces are now 64-bit instead of 32-bit.
    • _fix(go): Top-level API now provides an error which can be checked to detect invalid nonce incrementation.

Noise Explorer v1.0.2

  • Noise Explorer:

    • fix(ide): Fixed race conditions in Noise Explorer Web IDE.
    • fix(): Minor bug fixes.

  • Go:

    • fix(go): Noise Handshake Patterns not explicitly containing post-handshake message will still generate functional Go implementations.
    • fix(go): Update Go implementation test suite to work with latest version of Go.

  • Rust:

    • fix(rust): Noise Handshake Patterns not explicitly containing post-handshake message will still generate functional Rust implementations.
    • fix(rust): Remove deprecated usage of description function.

  • WebAssembly:

    • fix(wasm): Noise Handshake Patterns not explicitly containing post-handshake message will still generate functional WASM implementations.

Noise Explorer v1.0.1

  • Rust:

    • fix(rust): Removed the ability to clone traits (#37).

  • WebAssembly:

    • fix(wasm): Removed the ability to clone traits (#37).

Noise Explorer v1.0.0

  • Miscelaneous:
    • Added initial automation scripts.
    • Added Rust testing pipeline.
    • Reorganized generated Go tests and made minor changes to ``make tests`.
    • Generated new implementations.
    • Updated Travis-CI config. All implementations are passing tests in the pipeline..
    • Implementation versions now depend on src/versions.json.
    • Updated pipeline script and added commit formatting.
    • Generated new implementations.
    • Fixed README.md for WASM implementations.
    • Added script for automated changelog messages and version increments.

Noise Explorer 0.3

- Now based on Noise Protocol Framework revision 34.
- Generate Go implementations and test-injected implementations.
- Added detailed analysis feature for individual message patterns within Noise Handshake Patterns.
- Added deferred handshake patterns from revision 34 to the compendium with formal verification results.
- Added one-way handshake patterns to the compendium with formal verification results.
- All formal verification results in the compendium, except for one-way handshake patterns, now include two tokenless message patterns.
- The compendium now includes a search function that allows searching for Noise Handshake Pattern results by pattern name.
- Added two parsing checks for Noise Handshake Patterns, suggested by Katriel Cohn-Gordon: `dhWithUnknownKey` and `unusedKeySent`.
- ProVerif models for PSK-using Noise Handshake Patterns now are generated with the same queries and events as non-PSK Noise Handshake Patterns.
- ProVerif models now generate fresh ephemerals for each session.
- ProVerif models now have stronger separation between the sessions executed within an unbounded session model.
- ProVerif models now model for an unbounded number of "tokenless" messages within each session in an unbounded number of sessions.
- Redundancy elimination during the derivation phase is now enabled in ProVerif, which should speed up verification performance in some cases.
- Bug fix: the PSK parsing check was not sufficiently precise due to a programming error.
- Bug fix: command-line interface always required that attacker be specified when parsing patterns, even though the value is optional with a default value of `active`.
- Add Noise Handshake Pattern validation rule 7.3.4 from revision 34.
- ProVerif models may now be generated and downloaded directly from each Noise Handshake Pattern's compendium page.
- Numerous other additions, improvements and bug fixes.

Noise Explorer 0.2

- Initial public release.