From: Florian Obser Subject: Re: Update libcrux ML-KEM used in OpenSSH To: tech@openbsd.org Date: Thu, 13 Nov 2025 09:25:48 +0100 On 2025-11-13 11:18 +11, Damien Miller wrote: > This is code generated from a theorem prover so the code is pretty [...] > I'd particularly appreciate test reports from anyone with access to > a 64-bit BE architecture, as there has been bugs here in the past. They have proven it to be correct but not tried it? I guess they learned from the best... -- In my defence, I have been left unsupervised.