Vercel CEO 发布 TypeScript 安全证
来自 Guillermo Rauch · 期号 2026-10-05
摘要
Vercel CEO Guillermo Rauch 发布了 gdp-ts，一个用于 TypeScript 的“已逝证明”库、linter 和 AI skill。 它的核心思想是：敏感函数要求调用者提供“证明”，证明自己已经执行过授权检查。类型检查器在编译时验证这些证明，防止团队和 agent 引入灾难性的安全 bug。 Rauch 认为，这类模式过去因人工代码审查和认知开销而小众，但现在情况反转了——agent 写的代码比人能审查的还多，而它们恰恰擅长在硬约束下工作。 README 用了一个 Vercel 真实场景做例子：修改项目的密码需要同时提供“拥有某个角色”和“拥有某个权限”的证明。