发布动态

发布、标准更新和研究笔记。

Release2026-02-15

HELM执行内核的初始OSS发布。包含PEP、Guardian、ProofGraph、EvidencePack导出、合规性L1/L2以及OpenAI SDK兼容性。

  • 单行BASE_URL集成
  • SHA-256 + Lamport时钟的回执链
  • EvidencePack导出和离线验证
  • 具有有限计算的WASI沙箱
  • 合规性L1(确定性执行)和L2(可验证证据)

Standard2026-02-14

发布正规确定性执行标准。定义ProofGraph、回执模式、合规性级别和EvidencePack格式。

  • RFC-001: ProofGraph规范
  • RFC-002: EvidencePack格式
  • RFC-003: PEP边界规范
  • RFC-004: Bounded Compute (WASI/Wazero)
  • RFC-005: 审批仪式

Research2026-02-13

为什么确定性执行边界对自主代理安全至关重要。无限制工具调用系统的故障模式分析。

  • 代理故障模式分类法
  • 概率安全性不足的证明
  • Guardian函数的形式化模型

所有发布版本均经过加密签名并包含合规证明。