Franziskus Kiefer
Franziskus Kiefer
Running ``` cargo +nightly update -Z minimal-versions cargo build ``` fails with ``` error[E0433]: failed to resolve: use of undeclared crate or module `syntax` --> ~/.cargo/registry/src/github.com-1ecc6299db9ec823/regex-1.5.0/src/literal/mod.rs:9:9 | 9 | use...
Here we should add F* to the CI. _Originally posted by @franziskuskiefer in https://github.com/hacspec/hacspec/pull/273#discussion_r960719735_ cc @W95Psp
This PR fixes #980 - add `SignContent` - make `Signable` and `Verifiable` use labels Some minor other changes working towards #877 - rename `KeyPackagePaylod` to `KeyPackageTBS` - fix miscellaneous warnings...
**Description of the changes** > Signatures as specified in the MLS protocol document are ambiguous, in the sense that signatures produced for one purpose in the protocol can be (maliciously)...
**Description of the changes** > The current use of wire_format is a bit weird to me: it is the first value of both MLSPlaintext and MLSCiphertext which allows the implementations...
Currently clippy and code coverage jobs aren't run on PRs from forks because they use secrets. Using `pull_request_target`, i.e. running the CI description from the base branch, this should be...
It would be nice to navigate between workspaces when the dock is shown. At the moment the focus stays on the open application. The dock also stays open as long...
Document the current handling of persistence in OpenMLS (keys and group state). This will be used as input to redesign the persistance approach in OpenMLS.
Starting with #1488 we work against the git revision of the tls codec. This issue tracks moving to the next release as soon as that's available.