可验证 Agent 的两个层次
既验证推理，也验证行动。
fidrouter
一个可验证、无日志的 LLM 中转。在你发出任何 prompt 之前，先证明每一次模型调用都运行在与公布版本完全一致的无日志代码中。无需更换 OpenAI 客户端，只需改一下 base_url。
FidCore AgentBox
一个用于运行可信自主 agent 的通用平台。我们的软件——agent 运行时、安全执行引擎，以及无法被绕过的策略约束层——决定 agent 能做什么；硬件与 zero-knowledge 作为可插拔的供应商层接入，而非厂商锁定。
每个 agent 背后的两重证明
在这里，信任不是一句承诺——而是两重彼此独立的保证，每一重你都能亲自核验。
经 attestation 的执行
硬件远程 attestation（Intel TDX / Confidential Space）证明 agent 那份确切的、开源的、无日志代码运行在密封的 enclave 中——而非被篡改或会记录日志的版本。在信任之前，你可以先核对 measurement。
受约束的行为
我们的策略引擎把每个 agent 的权限边界转化为密码学约束，并由 zero-knowledge 后端（目前为 Psy，可插拔）强制执行。任何越权操作根本无法生成有效签名——没有可窃取的密钥，没有可越权的管理员，也没有能绕过它的 prompt injection。
自上而下，皆可验证
植根于硬件的信任
Intel TDX / Confidential Space，加上来自 Intchains 等硬件合作伙伴的 secure element，把每一重保证都锚定在芯片之中——不绑定特定厂商，一路 attest 到硬件信任根。
以密码学表达策略
我们的策略引擎把每个 agent 的边界编码为规则，越界操作因此无法被签名。zero-knowledge 后端（目前为 Psy）可插拔接入——只可替换，绝不锁定。
开源且可复现
可验证的核心完全开源、可复现构建，因此任何人都能确认正在运行的代码，就是公布的那份无日志代码。
建立在自有算力之上
一支 ZPrize 获奖团队，加上自有的 GPU/ASIC 算力——支撑这一切的可验证计算底座。
供应商层均可插拔——目前是 Psy 与 Intchains，更多伙伴即将加入。
由专家打造
一支由密码学、硬件与系统工程师组成的团队，为自主 agent 构建信任底座——从芯片到证明，一以贯之。这是一支 ZPrize 获奖团队，并携手世界一流的合作伙伴。