Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean (via sanxiyn) — discussion

#cryptography #formalmethods #security #vibecoding