Without details (breaking/following license rules) this looks scary and unrealistic if you consider that they want many Axolotl implementations out there. Prote

Without details (breaking/following license rules) this looks scary and unrealistic if you consider that they want many Axolotl implementations out there. Proteus being written in Rust could make it the prime implementation if it were liberally licenses. Finally an OTR-next competitor that's built statically and doesn't require a VM while being implemented in a reasonably safe language (which is important for security software).