The only reason I haven't used AWS for personal projects are posts/skeets like this. Sorry for you :(

(4) Here's a simplified pseudo-code for this step:
hkdf (new_label, dh1 || dh2 || dh3 || kyber_shared_secret)

Source: https://github.com/signalapp/libsignal/blob/main/rust/protocol/src/ratchet.rs

(3) The new X3DH in Signal protocol v4 works almost the same as before, but the used label in the hkdf-step is changed.
Additionally, the shared secret, which is encapsulated using kyber, is appended to the input data for hkdf.

Maybe @cronokirby.com ?

Here's that rabbit hole for you:
https://github.com/signalapp/libsignal/blob/main/java/shared/java/org/signal/libsignal/protocol/SessionCipher.java

plausible deniability property, if the pre-quantum part is broken.

Other protocols described by Jacqueline Brendel et al seem not to have any real world implementations yet.

My question at this point is: Has anyone already looked into the signal protocol changes?

Hey, you are completely right. It seems that I only looked up the wikipedia pages of the haymarket riot and August Spies. Thank you :)

Do you have any source for the "blasting cap"? Last time I tried to look it up, I couldn't find a source or more indepth info about how he died...