Verbeth uses public blockchain logs for messaging and keeps state client-side, aiming to cut metadata where mixnets usually just shuffle it.

First formal Tamarin analysis of Olvid's core: the usual auth/secrecy holds, but eCK and timing side channels still bite.