Alpha日报

下周一又有新币空投#ARX

Booster活动进行中,扣2分。

上周的2新空投目前价值600u!

前几天我专门在 explorer.opengradient.ai 上盯着一笔真实的 TEE 推理结算记录拆了两个小时,想搞清楚那个 attestation 字段到底证明了什么。「可验证AI推理」这个词满天飞,但真正能说清楚链上那串哈希背后藏着哪几层逻辑的,我还没怎么见到。

整条链路其实走两条时间线。用户发起请求后,TEE节点几乎秒出结果,延迟跟中心化API没区别——区块链根本不在这条快速路径上。真正的验证是异步完成的:推理节点在硬件飞地内生成attestation,把签名密钥哈希和TLS证书哈希一起打包进 user_data 字段,随后提交给全节点,在CometBFT共识轮次中与链上TEE Registry里的PCR值做比对。PCR0、PCR1、PCR2这三个字段是飞地代码的「硬件指纹」——比对通过,意味着这台机器运行的是未被篡改的批准代码,连节点运营者本人都无法触碰里面的内容。在Explorer上能直接查到结算记录:verification.method 显示 TEE,proof 字段挂着证明哈希,verified_by 确认是网络共识背书的结果。

但有一个设计细节让我盯了很久。默认的BATCH_HASHED结算模式会把多笔推理聚合成一棵Merkle树批量上链,这种模式下单笔推理的签名并不会被单独在链上核验。要获得完整的单笔审计链路,需要手动切换为INDIVIDUAL_FULL模式,代价是更高的Gas成本。这是合理的经济权衡,但对于把TEE推理结果直接喂给高风险金融合约的开发者来说,是个必须提前知道的坑,默认模式的信任等级和你以为的不完全一样。

PCR比对机制是目前链上可验证AI推理里设计最扎实的部分之一,信任模型的底线已经建立。我接下来会重点盯主网模式的实际调用占比——那个数字才能说明开发者是真的在为「可验证性」买单,还是只是在用最便宜的模式走账。

#opg @OpenGradient $OPG