返回

文章详情

展示HN: Plimsoll,一个自托管的代码沙箱,用于你的AI代理编写的代码

Hacker News2026年10月11日 23:47

plimsoll在沙箱内运行不可信的代码,例如AI代理编写的代码,并且每个结果都说明了该沙箱的强度。请求可以要求最低强度;如果沙箱较弱,则不运行。该名称来自于普林索尔标线,这是画在船体外部的装载限制,任何人都可以检查。plimsoll为隔离级别做相同的事情:围绕运行的墙有多强,根据四个级别之一来说明,最弱的一层是:进程、容器、内核、虚拟机。该级别是每个结果上的一个值,而不是数据表中的一句话。请求可以设置一个底线,接受的最弱级别,并且官方的Go客户端在结果返回时会再次检查该级别。相同的机制使得plimsoll可以对代理编写的代码进行考试,不仅仅是将其包含在内。内置于仿真镜像中的试用运行程序对代理的程序在其无法读取的场景下进行测试:每个场景以文件的形式传达给运行程序,而这个文件在程序开始之前就被删除。每次运行返回作为请求发送的SHA-256哈希值和作为返回的结果的SHA-256哈希值,官方客户端会重新计算这些哈希(详情见此)。一个独立于守护进程的程序plimsoll-attest对检查结果进行签名,拒绝缺少一个的调用链,并重新播放运行。考试本身(模拟系统、场景、及及格标准)仍然是你的:plimsoll提供了边界和证据。查看一次真实的运行,AI代理编写了一个控制器:一个程序,在每个时刻读取系统的状态(在这里,是模拟的每10毫秒步进),并决定如何推动它。plimsoll将其与模拟的摆杆-小车进行测试,一个在轨道上的小车,顶部有一个铰接的杆,控制器通过左右推动小车使其保持直立。模拟器已编译为WebAssembly,一种在主程序内运行的可移植字节码,并构建于沙箱镜像中。控制器是调用者通过普通项目API发送的唯一文件,它在容器级别运行。摆杆-小车是控制工程中的标准教学问题。运行程序是已构建于镜像中的程序,它将控制器与模拟器运行,记录运行的轨迹,每个时刻的每个状态,将其哈希为指纹:一个SHA-256哈希,因此相同的指纹意味着相同的数字。运行两次接受的控制器,两个指纹匹配。代理的初稿有两个增益(其公式中的乘数)符号错误:它在5.96秒时放弃杆,并且其指纹不同。打开实时运行报告↗以在浏览器中重播这两次运行,查看代理编写的控制器,看到页面故意未声明的内容。示例的一次执行产生三个沙箱运行:接受的控制器两次和草稿一次。通过运行 make docker-images && go run ./examples/oracle 重现它们。它做的两个事情是:它报告墙壁。每个结果都说明了运行实际获得的隔离级别。每个请求可以设置一个底线,而一个无法满足该底线的请求在任何代码运行之前被拒绝:ErrInsufficientIsolation意味着没有运行。res, err := provider.Sandbox.RunJavaScript(ctx, sandbox.Request{Code:

赞助内容

NordVPN Next-gen Antivirus

本站免费、广告极少。如果觉得有帮助,可以请我们喝杯咖啡 —— 任何金额都对持续运营有实际帮助。

☕请我喝杯咖啡