Franziskus Kiefer

Currently only SHA-256 is supported as hash function.

tls_codec performance

1

Hey @franziskuskiefer question for you, how is the current encoding / decoding performance? If there are places you think we can help make improvements let us know. _Originally posted by...

tls_codec: `no_std` support

1

Allow building tls-codec with `no_std`. > I now see this is a bit more `std`-dependent than I realized due to the extensive use of `std::io::{Read, Write}`. _Originally posted by @tarcieri...

Improve tests when cross compiling

2

With #1573 we enable more tests for all provider implementations. Unfortunately, when cross compiling the test proc macro picks up the supported ciphersuites of the host, not the target. Since...

A couple more benchmarks to measure time and size for ml-kem. This also enables the libcrux provider by default. So let's see what the CI has to say.

Potential namespace conflict with heapless crate

1

As pointed out by @cryptojedi the `U8` etc. namespace conflicts with relatively popular crates such as https://github.com/japaric/heapless.

Crash when using constants in arithmetic operations

2

Using constants in arithmetic leads to crashes in Charon. See these changes for reproducers. https://github.com/cryspen/libcrux/commit/5b23caf30914d9e71bb8cc29b15f1a355d4784f9 ``` thread 'rustc' panicked at 'libcrux_traits does not have a "explicit_predicates_of"', compiler/rustc_metadata/src/rmeta/decoder/cstore_impl.rs:205:1 note: run with...

Traits breaks Charon

1

Using the `Debug` or `Clone` trait breaks Charon. Looking at the code that fails I expect that any trait will make Charon panic really. ```rust pub fn trait_error(s: &[u8]) {...