On: A bit more on Twitter/X's new encrypted messaging

[barbazoo]

You mean using the algorithm to verify that the observable input leads to the observable output? That would make sense and would allow you to form an opinion about the "primitives" like you said.