Giao thức tín hiệu: X3DH

Tôi đang cố gắng nắm bắt cách thức hoạt động của giao thức Signal. Theo thông số kỹ thuật, DH được thực hiện trên bốn phím: IK_A, SPK_B, EK_A và IK_B:

Nếu gói không chứa khóa trước một lần, cô ấy sẽ tính toán:

    DH1 = DH(IK_A, SPK_B)
    DH2 = DH(EK_A, IK_B)
    DH3 = DH(EK_A, SPK_B)
    SK = KDF(DH1 || DH2 || DH3)

Vì tất cả bốn khóa này đều là khóa công khai và được thông báo qua các kênh không đáng tin cậy, nên một người chơi bất chính không thể tính toán bí mật được chia sẻ SK?

Trong thực tế $ĐH1, ĐH2$ và $DH3$ không được "thông báo qua các kênh không đáng tin cậy".

Tôi nghĩ rằng tài liệu này là mờ. Để tính toán DH, Alice sử dụng logarit rời rạc của IK_A và EK_A chỉ một mình cô biết.

Cụ thể hơn, nếu IK_A = g^{sk_A}, và SPK_B=g^{sk_B}, với $sk_A$ một giá trị bí mật đã được Alice biết đến.

Sau đó, cô ấy có thể tính toán DH(IK_A, SPK_P) bằng cách tính toán $(SPK_B)^{sk_A}$.

Và Bob có thể tính toán DH(IK_A, SPK_P) bằng cách tính toán $(EK_A)^{sk_B}$.

Giao thức này được bảo mật theo giả định tính toán Diffie-Hellman:

https://en.wikipedia.org/wiki/Computational_Diffie%E2%80%93Hellman_assumption