密码协议图示

从源码、RFC、论文、伪代码、非形式化散文、ProVerif(.pv) 或 Tamarin(.spthy) 模型抽取协议消息流，生成带密码标注的 Mermaid 时序图。用于绘制密码协议、可视化握手或密钥交换流、从规格/RFC 抽消息流、画 ProVerif/Tamarin 模型，或画 TLS、Noise、Signal、X3DH、Double Ratchet、FROST、DH、ECDH 协议的时序图。"