Jan Winkelmann
Jan Winkelmann
In https://github.com/openmls/openmls/pull/1661, the following code stirred some conversation: ```rust impl KeyPackage { /// Get the lifetime of the KeyPackage pub fn life_time(&self) -> &Lifetime { self.payload.leaf_node.life_time().unwrap() } } ``` Specifically,...
This PR adds a new sort of join config to make joining using external commits easier. I believe it's mostly pretty obvious, so just a few things: - The types...
I added [this test] because I somehow thought the validation check was related to GCEs but then realized it wasn't (only Group Context). I didn't want to remove it, because...
We have built more convenient APIs so writing tests is less painful. Let's make these a bit more polished and let users of the library use them too! Context: https://github.com/openmls/openmls/pull/1599#discussion_r1678860404
For the storage stability KATs a second way to serialize the storage was added. We shouldn't have more than one. Let's choose one for removal and transfer it to the...
This PR is a proposal for how to measure the performance of the protocol code with somewhat fine granularity (using tracing), as well as the performance of the individual crypto...
Put all crates into a subdirectory "crates", and remove the leading "libcrux-" in the path. We can't do this now, because it introduces too much churn in the proofs. Let's...
When processing these assignments https://github.com/cryspen/hax/blob/7ba7c7e42ec60cdddd782dcea1baec00740683a9/examples/validation-example/src/lib.rs#L120-L121 this function in the generic printer implementation https://github.com/cryspen/hax/blob/7ba7c7e42ec60cdddd782dcea1baec00740683a9/engine/backends/smtlib/smtlib_backend.ml#L257-L265 (please ignore the pointless if-then-else 🙈 ) produces this code ``` (let ( (self ( (as validation_example/t_ProtocolLibrary...
I don't know whether this is feasible with the current software architecture, but it would be nice if I could have my keyboard in peripheral mode at my desk (using...
So far we don't really handle them at all. What we need to do: - [ ] Adequately validate ReInit proposals - [ ] Properly handle the effects of a...