RUSTSEC-2026-0212
Potentially Incorrect Output of Constant-Time Swap/Select on Aarch64
Details
The implementation of constant-time swap and select on aarch64 platforms used a `cmp` instruction in inline assembly to check whether an 8-bit wide selector was 0. The `cmp` instruction works on 32-bit registers, which included the unspecified high 24 bits of the `cmp` operand. Depending on the execution environment the `cmp` could thus potentially return an incorrect result because its operand's high bits in the inline assembly were set when Rust expected them to be unset. This could lead to incorrect results for the constant-time swap and select operations built from this comparison.
## Impact In certain circumstances the swap and select instructions on aarch64 platforms returned incorrect results.
## Mitigation Starting from version `0.0.6`, the selector is compared using a `tst` instruction with a mask, which only compares the first 8 bits of the selector.
Are you affected?
Enter the version of the package you're using.
Affected packages
0.0.0-0 Fixed in: 0.0.6 Upgrade libcrux-secrets to 0.0.6 or newer (ecosystem crates.io).