Cryptographic design analysis of my favourite #ssb #securescuttlebutt protocol https://github.com/olapiha/scuttlebutt with formal verifier files for verifpal, cryptoverif, proverif #cryptography