Nischoy 推出使用形式邏輯的確定性提示注入偵測器

Nischoy 推出了一款提示注入偵測器，它採用基於文法的語言分析，以及由 SMT 求解器檢驗的形式邏輯策略，而非使用 LLM，並且可在沒有 GPU 的普通 CPU 上執行。作者表示，由於每個判定結果都可追溯至擷取出的動作與目標，以及實際觸發的確切策略，因此相同的輸入永遠會產生相同的答案。 在作者的本地基準測試中——在 Apple M4 CPU 上執行的行程內偵測器，包含 120 次暖請求且排除網路——典型檢查的中位延遲為 4.7 毫秒（p95 為 6.0 毫秒），首次請求約需 101 毫秒。作者聲明這並非正式環境的延遲測量。此偵測器可在 nischoy.ai 試用。

AI 依報導生成 · 1 小時前更新

還沒有足夠的連續觀測資料，暫不繪製趨勢。