I’m curious what various implementations do about FIPS support. “We don’t care” is fine and reasonable, but I don’t want to hear from you folks :). The issue is that the AEAD sequence number must be generated within the FIPS module, and QUIC mandates a particular construct for it.
Replies to me will be summarized for the list, thanks.
