is it just the protocol? Or is it also "the part of signal that implements the protocol", at least, yes it does what it's supposed to, with no weird timing collisions when multithreaded?

Also, I presume there are some unproved baked in assumptions about cryptographic primitives (e.g, but not necessarily, "sha512 has a uniform distribution")