热点事件持续更新
rauchg 发布 gdp-ts：编译期拦截 IDOR
1 篇报道1 个报道来源9 小时前更新
先了解这件事
AI 综述
2026 年 10 月 5 日，AGI Hunt 报道 rauchg 发布 gdp-ts。这是一个基于 Ghosts of Departed Proofs 模式的库、linter 与 AI skill 组合：它要求敏感函数必须携带「调用方已完成授权检查」的证明，再由类型检查器在编译期验证。按照报道的说法，这样可以在代码进入运行前就拦住 IDOR 等灾难性安全漏洞，目标场景既包括人类团队，也包括 coding agents 自动生成代码的情况。目前该报道为唯一来源，尚无更多进展信息。
AI 根据报道生成 · 3 小时前更新
最新进展10月5日 22:58
rauchg 发布 gdp-ts，用类型证明在编译期拦截 IDOR 类漏洞。报道时间线
沿着报道，了解事件的不同侧面。
10月5日
- AGI Hunt精选rauchg 发布 gdp-ts：用类型系统证明在编译期拦截 IDOR 漏洞
rauchg 发布 gdp-ts，一个基于 Ghosts of Departed Proofs 模式的库、linter 和 AI skill，要求敏感函数携带调用方已完成授权检查的「证明」，由类型检查器在编译期验证，防止团队和 coding agents 引入 IDOR 等灾难性安全漏洞。
本事件热度走势
当前热度 8·可比范围峰值 8（10月6日 05:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。