Ooh... This is interesting. And so wonderfully clearly explained. The security model looks quite straightforward, and I like their laissez-faire approach to the key exchange problem. Once a feed has some history, it's trivial anyways since time is factored in... You'd have to check for that, though. Manual kex is easy enough, though.

Might be possible to do an eclipse attack on someone... Not sure.