Hi all, A spec for the "X3DH" key agreeement protocol used in Signal is available at [1]. We'd welcome feedback. Eventually we should take spec discussion to a more specific venue, but hopefully this list doesn't mind for now. Trevor [1] https://whispersystems.org/docs/