Flutterby™! : Writing in C

Wolf SSL: Why C Remains the Gold Standard for Cryptographic Software. Lots of good stuff in here, including:

Side-channel resistance is difficult in any language.

What is true: as abstractions obscure execution behavior, side-channel properties become harder to reason about and harder to verify at scale. Rust provides tools to mitigate this—but using them extensively means abandoning most safety abstractions, bringing the problem space back toward C.

The issue is not impossibility—it’s verifiability without abstraction collapse.