Nischoy 推出基于形式逻辑的确定性提示注入检测器

Nischoy 推出了一款提示注入检测器，它使用基于语法的语言分析和经 SMT 求解器校验的形式逻辑策略，而非依赖 LLM，可在普通 CPU 上运行，无需 GPU。作者表示，由于每个判定结果都可追溯到提取出的动作与目标，以及实际触发的具体策略，因此相同输入始终产生相同答案。 在作者的本地基准测试中——在 Apple M4 CPU 上以进程内检测器运行，120 次预热请求，排除网络因素——典型检查的中位延迟为 4.7 毫秒（p95 为 6.0 毫秒），首次请求耗时约 101 毫秒。作者声明这并非生产环境的延迟测量。该检测器可在 nischoy.ai 试用。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。