Signal Shot：使用Lean验证Signal协议及其Rust实现

Signal Shot项目旨在通过形式化验证工具Lean来验证Signal端到端加密协议及其Rust实现的安全性。该项目展示了如何将复杂的加密协议转化为可验证的数学模型，确保实现与协议规范完全一致，从而增强通信安全性的可信度。