@ agenticprimitives/ agent- 解析

部分 代理先导 ——代理应用程序的开源信任底板:可以签名的身份,行为时间检查权限,所有者携带的证据. 开发者工具包 • 妇女 所有软件包

每个特工都有犬科特征. 取名可选. 公开上市是可选的。 入境 可处理性是可选的。 授权的私人分辨率是一等能力.

用于回答的提供者中立原始 "愿这个政党发现如何找到这个代理人 现在在哪里?" 问题和问题之间有一道硬墙 "这个派对能用吗?"

谱: [specs/338](https://github.com/agentictrustlabs/agenticprimitives/blob/master/specs/338-private-agent-resolution-and-service-publication.md) • 妇女 理论: ADR-0056 (英语)

规则

A resolution grant answers:      "May this party DISCOVER how to reach this agent?"
It NEVER answers:                "May this party USE this agent?"

成功的解析给你一个结束点和一个经过验证的同级身份. 仍须 整个链条,在源头重运行:

delegation ∩ entitlement ∩ tool/action policy ∩ exact invocation proof ∩ revocation ∩ audit

决议是 四个正统关切 与 监护 ("谁签名"),, 录取 (“允许这些字节输入”),和 权力 ("该校长做什么"). A 类 对 一个是永远 (单位:千美元) 对 到另一个.

四个独立层面

"无名"=没有只有公用标签. 清单、分辨率和入境是分别模拟的.

import { discoveryPolicyFromPreset, validateDiscoveryPolicy } from '@agenticprimitives/agent-resolution';

const policy = discoveryPolicyFromPreset('private-partner');
validateDiscoveryPolicy(policy); // [] — combinations that cannot be enforced are rejected

每一条路都决定了同样的犬科特征: eip155:<chainId>:<SmartAgentAddress>。 。 。 .

工作流程——A代理达到无名金库(代理B)

设想: A探员 (电话:SA for a person/org) B探员 (财务服务SA)结束 A2A. B已经 无公开的 ANS 名称 (单位:千美元)naming: none, (中文(简体) ), listing: none) (中文(简体) ). 可达到性是邀请/ 私人赠与的解决方案——不是公共标签.

A2A URL来源于: 这是 没有 由私人解决者发明 没有 看着 由名字开始。 这是一块有签名的地 AgentServicePublicationV1数字 :

publication.surfaces[] + 与 protocol: 'a2a' → uri (例如:. https://xyz.example/a2a/v1) (中文(简体) ).

解决者 承认 爱丽丝的赠款和 选择 b所有者预先署名的出版物 保险库( r)selectPresignedPublication ——选择,永远不编辑). 爱丽丝提取URI 之后 verifyPublication 在她身边.

图表

1. 概念流动 - 无名A-财务代理B(下文各处使用的术语):

代理A-无名国库 B. Vault持有签名出版物(A2A) uri 内 surfaces[], (中文(简体) ), 受主题限制的赠款,出版当局。 步骤:发放赠款-邀请 (单位:千美元)initialPublication +会合) → 第拨号或解析器刷新 (单位:千美元)selectPresignedPublication+ A2A+ 代表团。 解脱者从不伪造终点.

2. 地方建筑 同样的术语 单列工人:

demo-web-pro 编号 : demo-sso-next = A探员; demo-resolver :8795 = 私人溶剂; demo-publications :8796 = 酒吧商店; demo-a2a :8787 =B's A2A主机(URI in publishing). 可选 demo-edge。步骤匹配图1。 现场金库仍可使用已知的 URL + 授权; 私人决心是平行的Ring-1路径.

无名 =没有公开标签. 出版当局 = 结束点/会话键旋转为操作 发布,而不是监护仪式. 代表团 = URL 后让 A 引用金库技能 已经知道.

sequenceDiagram
  autonumber
  participant B as Agent B treasury SA
  participant Vault as B owner vault
  participant R as Private resolver
  participant A as Agent A
  participant A2A as B A2A host<br/>xyz…/a2a/v1

  B->>Vault: Store signed AgentServicePublicationV1<br/>surfaces: [{protocol:a2a, uri}]
  B->>Vault: Issue PrivateResolutionGrantV1 subject=A
  B-->>A: Invitation = initialPublication + grant + rendezvous

  Note over A: Resolve — endpoint is in the publication
  A->>A: verifyPublication(initialPublication)
  A->>A: a2aUrl = surfaces.find(p=>p.protocol==='a2a').uri

  opt Endpoint moved — same grant
    A->>R: Present grant + PoP
    R->>Vault: Admit + selectPresignedPublication
    R-->>A: Pre-signed publication (includes new uri)
    A->>A: verifyPublication → read surfaces[].uri again
  end

  A->>A2A: Open channel to a2aUrl
  A->>A2A: Task + delegation (other packages)
  alt Authority OK
    A2A-->>A: Result
  else Resolution grant only
    A2A-->>A: Denied — resolution ≠ use
  end

本地应用程序-术语-工人地图

工作序列——作为 Ring-1 分辨率提供者的 DNTLS

DNTLS为 没有 a 依赖性。 环一号 AgentResolutionProvider (单位:千美元)method: 'dntls'(a) 地图a 记录 AgentServicePublicationV1· ; createComposedResolver 验证SA装订(Spec 338 §18). 命名空间成员资格可以是 政策上游从不给钱. 双向绑定 所需经费. 仅凭DNTLS就永远不会给予身份、授权、MCP/A2A许可、应享权利或监护权.

sequenceDiagram
  autonumber
  participant D as DNTLS resolver<br/>(external)
  participant Adapt as dntls provider<br/>(Ring-1)
  participant AP as createComposedResolver
  actor A as Agent A
  participant A2A as B A2A host

  A->>AP: resolve({ kind:'external', method:'dntls', identifier })
  AP->>Adapt: resolve(reference, context)
  Adapt->>D: Resolve name / commitment
  D-->>Adapt: Service Record + proof
  Adapt->>Adapt: Map → AgentServicePublicationV1
  Adapt-->>AP: UnverifiedResolutionBundleV1
  AP->>AP: verifyPublication + SA↔DNTLS binding<br/>+ authorityCheck + continuity
  alt Fail
    AP-->>A: resolution failure
  else OK
    AP-->>A: VerifiedAgentResolutionV1<br/>(reachability only)
  end
  A->>A2A: Open surface URI + AP delegation
  A2A->>A2A: delegation ∩ entitlement ∩ policy
  alt Authority OK
    A2A-->>A: Result + receipt
  else Resolution-only
    A2A-->>A: Denied — resolution ≠ use
  end

插图适配器( 端口为真实; DNTLS 客户端/ 线程为外部而未发运) :

import {
  createComposedResolver,
  type AgentResolutionProvider,
  type AgentServicePublicationV1,
} from '@agenticprimitives/agent-resolution';

// Ring-1: map DNTLS Service Record → AgentServicePublicationV1
// (agentId, channelId, sequence, surfaces[].uri/protocol, transportKeyBinding,
//  publishedBy, publicationAuthorityRef, digest, proofs[] — then ERC-1271 sign)
declare function mapDntlsRecord(record: unknown): AgentServicePublicationV1;
declare const externalDntlsClient: { resolve(id: string): Promise<{ record: unknown; proof: unknown }> };

const dntlsProvider: AgentResolutionProvider = {
  method: 'dntls',
  supports: (ref) => ref.kind === 'external' && ref.method === 'dntls',
  async resolve(ref, _ctx) {
    if (ref.kind !== 'external') throw new Error('unsupported');
    const { record, proof } = await externalDntlsClient.resolve(ref.identifier);
    return {
      method: 'dntls',
      referenceKind: 'external',
      publication: mapDntlsRecord(record),
      providerEvidence: [proof],
      servedAt: new Date().toISOString(),
    };
  },
};

const resolve = createComposedResolver({
  providers: [dntlsProvider],
  verifier: publicClient,
  // authorityCheck should also require AP facet → DNTLS commitment (bidirectional)
  authorityCheck,
  minAssurance: 'signed-publication',
});

const result = await resolve(
  { kind: 'external', method: 'dntls', identifier: 'treasury.ops.acme.dntls' },
  { requester: 'eip155:84532:0xaaa…', now: new Date().toISOString() },
  'eip155:84532:0xbbb…',
);
// result.ok ⇒ VerifiedAgentResolutionV1 — still no spend / tool permission

全面审计: dntls-comparison.md。 。 。 .

一个散列证明 未修改它不能证明 当前。 。 。 .

一张签名的卡证明没有人篡改快照——而不是证明它仍然有效。 所以每个 出版物带有单调 sequence, (中文(简体) ), previousDigest, (中文(简体) ), status,以及 expiresAt。 。 。 . 核查失败(回滚、模棱两可、过期、未经授权的出版商、失踪) 端点控制证明,出窗运输键:

import { verifyPublication } from '@agenticprimitives/agent-resolution';

const result = await verifyPublication(publication, {
  expectedAgentId: 'eip155:84532:0xacme…',
  now: new Date().toISOString(),
  verifier: publicClient,          // any { verifyHash } — a viem PublicClient fits
  authorityCheck,                  // "was this publisher allowed to publish for this agent?"
  known: continuity,               // what we already accepted on this channel
  requireEndpointProof: true,
  maxExposure: 'private',
});

if (!result.ok) {
  // Precise codes for YOUR logs; result.failures[].wireCode for anything you return to a caller.
  if (result.freshness.conflict) escalate('publisher equivocation — possible key compromise');
}

平等——按同样顺序有效签署的两份出版物——是: 报告不仅仅是 拒绝。 这是出版社关键折中的证据,而不是瞬间的错误.

旋转是便宜的; 身份永远不会移动

端点变化、运输键旋转、区域故障、协议起落架和提供者迁移 所有重排时间 sequence + 1。 。 。 . 不再发放补助,卡通代理代号不变.

私人解决赠款,而非私人姓名

私人盐 名称 拒绝(低调的秘密,名字变为负载)。 赠款为 不透明地高通力(apd1_…),受援方:

const admission = await admitGrantPresentation(presentation, deps, {
  resolverAudience: 'https://resolve.acme.example/v1/private',
});
admission.projectionProfile; // 'partner' — what may be DISCLOSED, never invoked

电线拒绝全部使用 resolution_denied (不计数词);精确代码保留在本地.

启动、解析器、存储

邀请 = 初始公布 + 赠款 + 会合 + 预期装订(在终点没有重新邀请) 旋转)。 奥尔格会合只显示存在私人解析服务——可替换,不 不得伪造目标单位或批准使用. findOverDisclosure 捕获过度披露.

所有者金库 (授权):酒吧,赠款,撤销,别名. 解析器金库 (仅限: 关键赠款指数、非收入、预算——从来不是任何重要内容的唯一副本.

const digest = await deriveGrantDigest(grantId, resolverIndexSecret); // HMAC; 32-byte secret

范围

拥有 : · 出版物核查 · 新鲜度 · 赠款 · 邀请 · 预测 o 提供者端口. 没有 : 运输、存储、时钟、自动识别、命名、目录、搜索、, 剖面图,表面目录。 环-0 (types ; ANS /会合 / DNTLS / Did 是 Ring-1 .

安装

pnpm add @agenticprimitives/agent-resolution

许可证

麻省理工学院