NIDO 发布：无服务器无网络的纯本地私密 AI 通讯应用
NIDO_007 · reddit · 2026-10-23
NIDO 0.1.52-alpha 是一款完全运行在手机上的私密 AI 助手与通讯应用：无需账号、云端或互联网，两台设备可通过蓝牙或局域网直连，断网也能工作。
本次更新的安全亮点：
- 形式化验证握手：用分析 Signal/TLS 的 ProVerif 建模协议，发现并修复了一个真实漏洞（unknown key share），证明已纳入每次变更的自动检查。
- 后量子加密默认开启：每条消息使用新密钥，Double Ratchet 混合 ML-KEM-768，防「先存储后解密」的量子攻击；ML-KEM 采用 AWS-LC 与 Open Quantum Safe 使用的 mlkem-native 实现。
- 加密消息头：连消息计数器和 ratchet 密钥都对外界隐藏，Signal 也未做到这点；连接首条消息同样被封存（private hello）。
- 可复现构建：两次独立构建逐字节一致，可验证 APK 来自公开代码。
- 对照公开审计：将 Threema、Signal PQXDH、Briar、Matrix 的公开审计发现逐条对照自查，修复了适用的两条；独立复审又发现三个问题并已公开修复。
另有阅后即焚、一键抹除的 panic 按钮、隐身键盘、防截图和指纹硬件保险库。作者诚实说明这仍是 alpha 版，尚未经过专业安全审计。
「安全」频道最新
- NSA 要求 PHP 站点紧急补丁:潜伏 14 年漏洞被一句 AI 提示词挖出 — nicolechirps · 2026-10-23
- Kimi K3 引发网络安全担忧:研究者称未来 6-12 个月可能很艰难 — NathanpmYoung · 2026-10-23
- 基于 GLM-5.3 的去审查开源模型发布,网络攻击能力翻倍 — AaronBergman18 · 2026-10-23
- 看似普通充电线的 OMG Cable：插上即可被远程接管电脑 — manishkhosiya · 2026-10-23
- Solo.io 开源 AgentShield：假设每个攻击者都是 AI Agent — pjausovec · 2026-10-23
- 团队用无审查 AI 模型逆向 Sonos 固件，疑恢复设备私钥 — doodlestein · 2026-10-23