为什么信任必须每 120 秒重审一次?

简介: 信任该不该有终身制?本文的答案:不该。地址的所有权由派生保证——那是永久产权,房东是数学;而 standing 是一份 120 秒的租约——房东是时间,每过一个窗口自动续租或退租,没有终身荣誉,也没有终身惩罚。该永久的做成永久,该临时的做成临时,恰是分配制种反的两块田。至于第三根柱子——它不长在协议里,长在栈里。

该永久的交给数学,该临时的交给时间——剩下的柱子,不长在协议里,长在栈里。

上一篇的结尾留了一个悬案:信任的房东换成了时间——可这位房东怎么收租?本文交出租约全文,并回答一个系列问题:第三根柱子到底长在哪里。


一、盘点:三问两柱

RTTP 管两问:WHERE(你的地址由权威派生)和 WHEN(Resonant Time 是名字的本义——无时间约束的意图寻址只是 agent DNS)。IQA 管一问:WHETHER(这个声明可验证吗)。三问两柱。剩下没人管的,是 WHO(出了事谁担)和 WHAT(信任值多少)——先记住这两个悬案,本文末尾结账。

二、永久产权:地址的房东是数学

地址的所有权由派生保证:SHA-256 就是这样运算的,没有房东、没有租约、没有"被收回"这个概念。这是产权制度里的 freehold——永久产权,不可剥夺。但如果整个系统里一切都是永久的,它会烂:十年前的一纸证据与今天同样有效,ghost 永不衰减,radiant 永不需要重新挣得。永久产权必须配另一种制度,否则信任无声腐烂。

三、一百二十秒租约:信任的房东是时间

standing 是一份租约:租约 TTL 就是那个 120 秒的新鲜度窗口。每过 120 秒,自动续租或退租——没有终身荣誉,也没有终身惩罚。有人会问:这不就是协议在处罚人吗?不是。协议只陈述"named organ 此刻怎么说"(递刀),采不采信永远是依赖方的决定(挥刀)。租约语言让 standing 诚实:它是租来的资产,不是册封的头衔。于是两块田各归其主:该永久的(拥有)归数学——永久产权;该临时的(信任)归时间——租约产权。分配制的病恰是只有一个房东管两块田:该永久的被做成租约(续费保住),该临时的被做成永久(一次认证终身有效,或一次封禁终身不赦)。数学与时间互相独立——时间改不了哈希,哈希停不了时间——两个不可贿赂的房东,零交集。

四、WHO 与 WHAT 不在协议里

出事谁担(WHO)?那是法律与社会的疆域——协议递刀,永远不挥刀。信任值多少(WHAT)?一旦协议收编结算,它就变成了平台,利益方入场——当年的房东换个马甲回来。一个试图回答"该不该"的协议,最终只会回答"我允许"。拒收这两问,不是能力不够,是边界即设计。

五、第三柱长在栈里

于是有人问:那第三根柱子还长不长?长——但不长在协议里,长在栈里。AICENT 的编号序列(002、009、014……)本身就是柱位规划:今天立起两根,十五根在待机生长。协议层封闭:三问收齐、责任与价值拒收——这是协议的谦卑;栈层开放:编号持续生长——这是组织的使命。拒绝生长与持续生长,各是两层的完备。谦卑不会被误读为功能不全,因为栈在长。

六、收束

三问各归其位:协议答 where、when、whether;人答 who——靠法律与社会;栈答 what——靠后续柱位。地址是永久产权,信任是 120 秒租约,第三柱在栈里等你。协议的谦卑,即协议的完备。


双柱状态:rttp:// 已获 IANA 注册(Provisional · CRI 27,编号公开可查);iqa:// 已提交 IANA,CRI 编号在专家审核中。合并规范 draft-li-rttp-iqa-addressing 正在 IETF 独立提交通道审核;三语言参考实现与字节级测试向量全部开源。

仓库:github.com/Aicent-Stack · 规范与证据链:iqa.org · 寻址柱官网:rttp.com

一句话:该永久的交给数学,该临时的交给时间——剩下的柱子,不长在协议里,长在栈里。

目录
相关文章
|
18天前
|
云安全 人工智能 安全
|
13小时前
|
网络协议 开发工具 git
第一份证据由谁签发?——给 Agent 信任系统一个不垄断起点的答案
凡是靠证据说话的系统,都躲不开一个问题:第一份证据由谁签发?"谁证明证明者"可以无限回退。中心化的做法是指定一个机构当起点——起点从此成了它的财产。本文给出另一种答案:把信任做成标准件,锚位由规范保证、锚在证据轴之外,嵌进谁家就是谁家的纪元——像 git init,每个项目各有第一笔提交,互不裁判。附后门自检:我们标不了别人的创世纪。
27 0
第一份证据由谁签发?——给 Agent 信任系统一个不垄断起点的答案
|
19小时前
|
人工智能 Rust JavaScript
制度可信与数学可信之间,差一个 128 字节
Agent 时代的新问题是:陌生 Agent 替你做完事,能拿出什么证据?本文对比国内外主流平台的信任能力——身份认证有、授权控制有,可移交、可独立验证的证据没有——并给出一个开源的最小可行形态:RTTP 意图寻址(已获 IANA CRI 27)+ 128 字节 IQA 证明信封 + fail-closed 全帧验证,三语言实现可直接接入任何 MCP 栈,发布物逐件密码学密封自证。
39 1
制度可信与数学可信之间,差一个 128 字节
|
17小时前
|
人工智能 网络协议 网络安全
真派生、假派生,与我们自己的生日账
给 AI Agent 做身份系统,只需先回答一个问题:验证一份签名,需要去谁家?本文用这一把刀切出三类体制——分配制(地址是租的)、假派生(数学的漆,围墙的实)、真派生(数学自答),并给出三条测试:断网、生存、解释。点名 did:web 与 GitHub "Verified" 两个大规模标本之后,我们按同一把刀解剖自己:把 rttp 地址 128 位截断的生日账(2^64 与 2^128)全部摊开。
40 1
真派生、假派生,与我们自己的生日账
|
1天前
|
JSON Rust 算法
128 字节里装下了什么——一份可以离线复核的信任
"可审计、可追责"喊了两年,缺的是一个可离线复核的证据载体。本文拆解 128 字节 IQA 证明信封:固定布局零解析器、地位四态(一态一断言)、撤销不是删记录而是签发新信封、fail-closed 让任何一字节篡改自动 REJECT。附公开一致性向量,逐字节可复现。
46 1
128 字节里装下了什么——一份可以离线复核的信任
|
1天前
|
Java Go
一个公开挑战:任意语言、完全离线,跑不通算我们的
讲「可信 Agent」的文章很多,交出可证伪实物的很少。我们把协议规范冻结、35 个测试向量公开,并在记分牌上留了两个空位——独立实现数,rttp: 0,iqa: 0,作者自己的实现不算数。规则只有四条:只看规范、任意语言、完全离线、确定性。跑通全部向量,你的名字进规范记录;跑不通,那是我们的 bug,署名致谢并重新发布向量。横竖都是你赢。
53 1
一个公开挑战:任意语言、完全离线,跑不通算我们的
|
1天前
|
网络协议
一个协议装不下:语义寻址与信任证明为什么分成两个 scheme
Agent 跨域互调,要同时解决「找到谁、做什么」与「谁授权、凭什么」。本文盘点现有协议栈的缺口——DNS+CA 在线双问、OAuth 回 IdP、DID 解析回网、MCP 不管身份语义——论证语义寻址(锚在哈希)与信任证明(锚在密钥)因信任锚不同源,无法装进同一个 scheme;并给出落地形态:一份合并草案、两个 scheme,在字节层共享同一 16 字节分片完成闭环。
42 2
一个协议装不下:语义寻址与信任证明为什么分成两个 scheme
|
1天前
|
存储
四个 MCP 工具,30 秒验证一份密码学证据——iqa-mcp 上手
别信文档——把向量跑一遍。本文带你 30 秒跑通 iqa-mcp(PyPI/npm/crates 三注册表 1.0.1):published_vector 拿公开向量 → parse_envelope 结构解码 → verify_envelope 得 [PASS] → 翻一个字节得 REJECT。四个 MCP 工具,任何 MCP 兼容客户端可直接调用,无状态、离线、fail-closed。
52 1
四个 MCP 工具,30 秒验证一份密码学证据——iqa-mcp 上手
|
1天前
|
网络协议
为什么 Agent 的地址不该"分配",该"派生"
Agent 跨域互调,第一件事是"找到它、认出它"。主流做法是分配地址——DNS、CA、DID 注册表,每次验证一次在线往返。本文讲 RTTP 的另一条路:地址由 SHA-256 派生而非机构分配,验证方本地重算即核对,离线可用。128 位裕量怎么算的、一个 shard 为什么能身兼三职,全部公开可查。已获 IANA 注册(CRI 27)。
70 3
为什么 Agent 的地址不该"分配",该"派生"
|
1天前
|
人工智能 Rust JavaScript
制度可信与数学可信之间,差一个 128 字节
Agent 时代的新问题是:陌生 Agent 替你做完事,能拿出什么证据?本文对比国内外主流平台的信任能力——身份认证有、授权控制有,可移交、可独立验证的证据没有——并给出一个开源的最小可行形态:RTTP 意图寻址(已获 IANA CRI 27)+ 128 字节 IQA 证明信封 + fail-closed 全帧验证,三语言实现可直接接入任何 MCP 栈,发布物逐件密码学密封自证。
67 0
制度可信与数学可信之间,差一个 128 字节