[FullyFunctional]

Isn't this the point of [Twitter]NaCl (Bernstein et al)? To provide a library which, when used correctly, makes it harder to make the obvious mistakes?

I think it's great, but it doesn't solve the protocol issue.

[lvh]

Sure! But folks don't always use NaCl; they can have all sorts of stuff currently in play.