Here’s what it would take: stronger defenses for large utilities, hands-on help for smaller systems and federal support to make both happen.

The release includes implementations of two quantum-secure algorithms and demonstrates how formal verification caught bugs that traditional testing would have missed.