@xsser_w: 陆奇还是太强了, 1年前让我做沙盒/容器安全,我没意识到啥意思,现在看看 真的。。。我太傻逼了 他还有很多远见, 其中很多都是现在被验证了。我了个去 放到现在来看 做harness 的核心就是沙盒和验证 你在沙盒里可以看到一切轨迹和边界的…
摘要
作者称赞陆奇一年前提出的沙盒/容器安全观点至今被验证,强调沙盒在观测reward hacking中的核心作用。
查看缓存全文
缓存时间: 2026/05/24 02:19
陆奇还是太强了, 1年前让我做沙盒/容器安全,我没意识到啥意思,现在看看 真的。。。我太傻逼了 他还有很多远见, 其中很多都是现在被验证了。我了个去😀 放到现在来看 做harness 的核心就是沙盒和验证 你在沙盒里可以看到一切轨迹和边界的探测,能观测整个reward hacking过程。
相似文章
@vintcessun: 安全团队最头疼的是漏洞发现流程里假阳性太多、修复验证不闭环,Anthropic这个参考实现直接把整个流程拆成可审计的七阶段管道。核心设计不是堆功能,而是构建了一条验证链——每个发现都要经过独立沙箱复现、去重、评分,最后补丁也要通过回归测试…
Anthropic 发布了开源的漏洞发现与修复参考实现,基于 Claude 构建了一个包含七阶段管道的验证链,旨在减少误报并确保修复验证闭环。
@vintcessun: 用Claude订阅就能跑的8阶段漏洞发现代理,本质上就是Cloudflare Project Glasswing论文的复现。多窄代理+故意分歧验证+可达性门控,把“哪段代码真能被攻击者利用”拆成8个精确步骤。Recon用Opus拆任务,H…
介绍一个基于Claude订阅运行的8阶段漏洞发现代理,复现了Cloudflare Project Glasswing论文的核心思路,通过多窄代理、故意分歧验证和可达性门控将漏洞利用分析拆解为精确步骤,无需API密钥。
@LangChain: .@MukilLoganathan’s Interrupt keynote on Sandboxes. https://youtu.be/IIchUA5T3gs In 20 minutes, you’ll learn how to run…
LangChain 的 Mukil Loganathan 在 Interrupt 大会上介绍 LangSmith 沙箱,用于安全执行代理代码,具备低延迟、安全隔离、持久化和快照恢复等核心功能。
面向智能体环境的可扩展「弱到强」验证器加固
提出一种可扩展的**弱到强验证器加固循环**(weak-to-strong verifier hardening loop):在隔离沙盒中迭代地发现并修复漏洞,从而自动防止智能体(agentic)环境中的奖励作弊行为,并在 Terminal Bench、KernelBench 和 SETA 上大幅降低攻击成功率。
@ludamn513: https://x.com/ludamn513/status/2108809228978880988
文章以 Pi Durable 为切入点,拆解 Agent Harness 架构的演进:将持久化系统、agent loop 与执行环境解耦,实现无损状态恢复、codemode 工具调用以及 server/client 分离,并提出一套可 scale up 的 long-time Harness 架构设计,目标是将硬件资源消耗降低一个数量级。