Resonance Engine
每一个 AI 输出都会在一次决策中,同时对照一个已批准参照与一个禁止参照进行评分,并预先校正嵌入空间的畸变。仅仅看似切题的输出,由此与真正合规的输出区分开来。
- 双参照:已批准 vs. 禁止
- 经各向异性校正的一致性
- 由数据集或您的政策构建
受政策约束的治理
我们的 Policy Compiler 把您经董事会批准的政策——而非一套新框架——转化为一道确定性的执行边界。专为须对某项授权负责的行业而打造。
从模型提出动作的那一刻,到该动作触及现实世界的那一刻,监管始终不离开架构——经度量、分类、决策与证明。
不可信域
Resonance Engine
Friction Gate
Policy Engine
WORM Audit Chain
每一个 AI 输出都会在一次决策中,同时对照一个已批准参照与一个禁止参照进行评分,并预先校正嵌入空间的畸变。仅仅看似切题的输出,由此与真正合规的输出区分开来。
一个三级确定性分类器——PASS、AUDIT、BLOCK——以定点运算对照冻结阈值计算。硬否决优先级在设计上不可协商。
唯一拥有决策权的组件——且仅在结构、证明锚点与重放验证按严格顺序全部成功后,才对绑定证明的状态执行操作。
每一个裁决都被序列化、哈希,并在一次写入存储中锚定于 Merkle 根之下。多年之后,审查员可逐位重放任何一次决策。
概率式护栏在不同日子给出不同答案。EthicVault 的裁决是冻结状态的数学函数——多年之后,仍可在审查员面前逐位重现。
架构受美国专利申请保护—— 涵盖方法与芯片。
个基点
浮点的歧义在边界处被消除:每个治理变量都被缩放为 0–10,000 之间的整数。相同的提交在任何 CPU、GPU 或 JIT 后端上都产生相同的比特。
项有序验证
结构 → 证明锚点 → 重放。策略引擎中不存在任何在三者全部成功之前就到达阈值评估的代码路径——任何一处失败,都是架构级的 BLOCK。
每一个输出都对照两者评分——裁决取决于二者之差。
与已批准参照高度一致,与禁止参照低度一致——余量宽阔而清晰。动作放行。
对照消融实验
同一留出集、同一宽域校准、同一架构。只改变一个变量:输出是仅对照获准参照评分,还是在同一次裁决中同时对照获准与禁止两个参照。
单一参照
四例禁止情形通过了闸门,而所有合规情形同样通过。表层指标看不出任何异常。
双参照
全部禁止情形被拦截,且未误伤任何合规情形。补上缺口的正是第二个参照。
取自内部技术证据报告:在合成留出集上的对照实验,处于原型阶段,样本有限。这是支持该架构的方向性证据,而非运行准确率的估计,且未经独立第三方复现。
尚未审计 — 正式发布时出具报告
依控制集构建 — 未获认证
第 32 条措施,设计层面
为您的义务提供证据
04 · 芯片产品线
软件守卫与它所监管的模型共用同一处理器。我们的硬件产品线把门移入芯片:一个执行限制器在电气上与执行路径串联——默认不导通,仅在收到绑定证明的批准处置时才接通电路。
功耗数据为基于开放 PDK 130 米纳流程的流片前估算,非实测硅数据:活动功耗 1.382 mW,时钟门控待机 7.23 µW,在指定占空比下平均低于 1 mW。FPGA 平台以静态漏电为主,并非低于 1 mW。
限制器与刺激驱动器串联——没有批准处置,治疗脉冲在物理上就无法触发。可逆的故障关闭锁存,配以受审计的重新武装。
AI 驾驶策略指令在到达执行器总线之前须穿过门。被拦截的指令使车辆进入故障可运行的安全状态;每一次处置都被记录。
完全由读卡器场供电:除非片上风险模型的输出通过验证,否则不予交易授权。无电池、无网络、无覆盖。
目前进展到哪里
它能运行
这道门先在 Xilinx 的硬件上构建,又在 Intel 的硬件上重新构建了一次——不同的公司,不同的制造工艺。它接受了 330 个测试用例。两者对每一个都给出了相同的答案。
芯片已经画好
版图已经完成:约半毫米见方,运行功耗不到一毫瓦。晶圆厂在同意制造之前所要求的每一项自动化检查,都返回了零错误。
但还没有制造
没有生产过一片晶圆。尺寸与功耗数字来自这份完成的设计,而不是来自任何人真正拿在手里的芯片。我们宁愿您在这里读到,也不愿您稍后才发现。
为受监管环境而打造
我们正在接纳一批精选的受监管机构。申请早期企业访问,并与我们的工程团队进行一次私密的技术简报。