#BFTView all tags

• Termination Is a Security Boundary: HotStuff Under UC, Delay Attacks, and the Uncomfortable Gap to Rust

  March 28, 2026 · 13 min — #research-notes#distributed-systems#consensus#BFT#formal-methods#cryptography#Rust#security