Should this get updated to reflect the status here? _Originally posted by @franziskuskiefer in https://github.com/cryspen/libcrux-iot/pull/105#discussion_r2451528367_ We're blocked on this same information being available on the [`&mut` branch](https://github.com/cryspen/libcrux/tree/franziskus/mlkem-mut) of mainline libcrux.
Should this get updated to reflect the status here?
Originally posted by @franziskuskiefer in #105 (comment)
We're blocked on this same information being available on the
&mutbranch of mainline libcrux.