★ 3
Kern 发布 AI 生成代码零信任验证网关
Kern 是一个位于 AI 编码代理与代码仓库之间的 L0–L5 验证网关，用 SMT 求解器与形式化证明替代「测试通过」的布尔结果。它采用 Belnap B₄ 四值逻辑，只有机器可验证的声明才能通过，防止 AI 代理用无断言测试蒙混过关。
Hacker News – AI16 天前
#零信任
共 4 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 2
TKeeper：用门限密码学为AI代理构建加密身份
TKeeper 为 AI 代理、服务等非人类行为体提供加密身份，每个身份由私钥、定义允许行为的清单及附加控制组成。代理执行动作前须请求签名，通过检查后才签发，接收方验证签名再执行。系统支持单机与门限模式，门限模式采用多方计算（MPC），2-of-3 配置下单点被攻破无法签名或恢复密钥，从而分散风险…
Hacker News – AI37 天前
★ 1
博客发布 2026 网络韧性指南：零信任、AI 安全与勒索恢复
phpscientist.com 发布一篇网络韧性实施指南，涵盖零信任架构、AI 安全以及勒索软件恢复策略。文章面向企业安全团队，给出落地实施建议，属于技术博客类内容。
Hacker News – AI22 天前
★ 1
不要信任，要持续验证你的AI代理
一篇博客文章主张对 AI 代理采取「不信任、持续验证」的安全原则。文章强调在代理自主执行任务时需加强监控与校验。属于安全实践类观点，讨论度低。
Hacker News – AI28 天前