@ antseed/ antseed- 验证器
Atseed可插件验证系统(AIP-3)的验证器SDK. 一个包有两个半。 A 类
买方核查员 (违约出口)对卖方提出质疑。 它检查了卖方的英特尔TDX
向它提供证明 支付请求。 一个嵌入式 卖方证明 (单位:千美元)prover 导出,
装入 --verifiers antseed-verifier(a) 在提供方面前应对这些挑战
匹配和支付.
import verifier, { prover } from '@antseed/antseed-verifier'
// verifier → default export (type:'verifier', buyer half)
// prover → named export (type:'prover', seller half)
它证明了一个菜单独立 能力。每种能力都是一种权利主张,名称空格
antseed-verifier:<capability>. 卖方仅提供其基础设施的能力
支持 。 买方对两种能力的裁决门,将其他能力报告为政策.
提供者差异仅是配置( generic) configfs 或者说 http 收集器。 SDK载着
没有针对提供者的主机或计划,它自成一体(没有对等依赖性).
能力
| 能力 | 证明 | 判决 |
|---|---|---|
seller-node-tee-genuine | 卖方 节点 在真正的英特尔TDX飞地(DCAP:PCK链到英特尔的根部,可接受的TCB,TD10,调试关闭;MRTD + RTMR0-2是经批准的dstack OS,由从事件日志重放的作曲散列认证的app compose,根据规则运行经批准的Antsseed TEE销售者图像 src/dstack-app-compose.ts) (中文(简体) ). 引文绑定在这个非ce + pareId + 买主的加密连接上. 一个经过的节点也报告 seller-node-upstreams: https 来源于它的配置 :. | 所需经费 |
seller-bound | 卖方的身份密钥为这个新非ce(签名人恢复到对等)的全部证据包签上 (d) 国家 | 所需经费 |
seller-provider-tee-genuine | 下游的推论 供应商 TEE是真实的TDX. 当卖方宣布 report_data 计划 | 资料 |
seller-provider-gpu-cc | 提供商的GPU运行 NVIDIA 保密计算(NVIDIA NRAS 验证,不带限制) | 资料 |
seller-provider-measured-image | 供应商引用的 MRTD/RTMR 匹配一个买方许可列表 | 资料 |
seller-provider-claims | 对被冻结的SDK菜单提出供应商索赔。 每件索赔 asserted (自认)或 tdx-quote (TEE测试) | 资料 |
这两种能力加在一起证明一件事: 一个真正的英特尔TDX销售节点, 薄荷新鲜的这轮 并加密 与卖方的市场身份.
参数
这个 验证 (卖方)从环境、从买家提供的价值来看其特征:
| 变量 | 目的 |
|---|---|
ANTSEED_TEE_PEER_ID | (EVM地址,无) 0x(中文(简体) ) |
ANTSEED_VERIFIER_SIGNING_KEY | 卖方身份钥匙(hex) seller-bound。如果地址为 QQ同位素 |
ANTSEED_VERIFIER_NODE_TEE | 节点引用来源 : configfs (默认,光金属/GCP TDX), dstack (Phala和其他垃圾CVM), confidential-space (Google机密空间证明书而不是引文),或 http |
ANTSEED_VERIFIER_DSTACK_SOCKET | 覆盖 dstack 来宾代理套接字路径( 默认) /var/run/dstack.sock(中文(简体) ) |
ANTSEED_VERIFIER_PROVIDER_ADAPTER | 进程内提供者适配器 id (chutes, (中文(简体) ), aci) (中文(简体) ). 它直接收集提供者的证据,没有shim。 见 县 或者说 重现 |
ANTSEED_VERIFIER_PROVIDER_EVIDENCE_URL | 通用供应商证据路线({nonce} ——六无. 适配器的手动替代品 |
ANTSEED_VERIFIER_PROVIDER_TEE_FIELD | 带 Base64 提供者引用的 JSON 字段( 默认) quote(中文(简体) ) |
ANTSEED_VERIFIER_PROVIDER_GPU_FIELD | 带有每GPU NVIDIA CC 证据的 JSON 字段 启用 seller-provider-gpu-cc |
ANTSEED_VERIFIER_PROVIDER_CLAIMS_FIELD | JSON 字段,基数64 索赔文件 − 允许 seller-provider-claims |
ANTSEED_VERIFIER_PROVIDER_BINDING_SCHEME | 冻结 report_data 提供方引号所使用的方案( e)antseed-rd-v1 | nonce-pubkey-sha256-v1(中文(简体) ) |
ANTSEED_VERIFIER_PROVIDER_BINDING_PUBKEY_FIELD | 提供商基础的 JSON 字段 64 E2E pubkey(方案成分) |
这个 买方 不需要特殊硬件。 可选政策节点:
| 变量 | 目的 |
|---|---|
ANTSEED_VERIFIER_REQUIRED_CAPS | 将整体门打开的逗号分隔能力 ok (默认) seller-node-tee-genuine,seller-bound) (中文(简体) ). 例如,出处购买器 seller-provider-tee-genuine,seller-bound 要求下游供应商的TEE |
ANTSEED_VERIFIER_CS_JWKS_URL | 买方: 覆盖 Google 的密钥空间令牌签名 URL |
ANTSEED_VERIFIER_NODE_BUILDS | 买方:额外核准的Dstack OS发布和销售图像,JSON { "os": [{ name, mrtd, rtmr0, rtmr1, rtmr2 }], "images": [{ version, digest }] } (内出或 @/path/to/file.json),添加到内置列表中 |
ANTSEED_VERIFIER_MEASURED_IMAGE_POLICY | 核准的计量允许列表(内置 JSON 或 @/path.json用于 measured-image |
ANTSEED_VERIFIER_STRICT_TCB | true 要求 TCB 精确 UpToDate (默认也接受) SWHardeningNeeded(中文(简体) ) |
ANTSEED_VERIFIER_NRAS_URL 编号 : _NRAS_JWKS_URL | 超过 NVIDIA NRAS 的终点 gpu-cc |
seller-node-tee-genuine 只运行在真实的Intel TDX VM上. configfs 薄荷通过
/sys/kernel/config/tsm/report (需要来根. dstack 薄荷通过宾客代理套接字
(Phala 和其他 dstack CVMs, 其中没有配置- tsm). 都一样 antseed-rd-v1
报表 数据,因此买方对数据进行相同的核实.
附录:提供者适配器
一个 进程内适配器 连接一个提供方,其证据 API 与通用路径不符
(Auth,不同的反应形状). 选择适配器 ANTSEED_VERIFIER_PROVIDER_ADAPTER。 。 。 .
没有单独的进程。 SDK核心保持提供者中立. 每个适配器都是孤立的
装入懒惰的模块。 有两个适配器:
export ANTSEED_VERIFIER_PROVIDER_ADAPTER=chutes # + CHUTES_API_KEY, CHUTES_CHUTE
export ANTSEED_VERIFIER_PROVIDER_ADAPTER=aci # + ACI_ATTESTATION_URL (RedPill / dstack ACI)
适配器取出提供者的新鲜而非ce-bing引出. 它宣布冻结 report_data
计划(nonce-pubkey-sha256-v1 为丘特人, aci-keyset-v1 (关于ACI). 买方验证
计划不变。 完整设置 : 县 • 妇女 重现 • 妇女 PHALA.md (英语)
(运行一个Dstack TDX CVM中的卖方节点).
v0.1.1 • GPL-3.0