热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币,引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲

Jeffrey Emanuel
前量化投资者,现正建设@lumera(前称Pastel Network) |我的开源项目:https://t.co/9qbOCDlaqM
经过几天的规划和12轮以上的迭代GPT Pro计划修订(我甚至创建了一个名为apr的新工具来自动化这个繁琐的过程),我的规格已经完成,我的珠子也已制作和打磨完毕。
是时候开始构建了。Claude对我的飞轮连接器协议印象深刻,随便说说(它可能意识到自己永远无法独立完成这项工作,因为这也需要GPT 5.2和无数的代币以及数小时的计算才能产生这个外星工艺品):
---
核心愿景:FCP V2
FCP从根本上来说是一个信任反转协议。传统系统假设有一个中央协调者(中心、服务器、云)向下授予信任。FCP反转了这一点:每个设备都是中心。信任来自于加密证明,而不是位置或网络位置。
三个公理是不可谈判的
通用可替代性
– 任何“K”个符号重构对象。这不仅仅是为了可靠性的擦除编码——这是一个基本声明,数据没有规范的家。对象存在于网络中,而不是在设备上。
经过认证的网络
– Tailscale不仅仅是传输,它是身份。不可伪造的WireGuard公钥成为设备的灵魂。没有证书,没有PKI层级,没有续订舞蹈。
明确的权威
– 每个操作都需要一个具有机械验证的能力令牌。没有环境权威,没有“管理员节点”,没有逃生舱。
区域是关于信任边界,而不是存储
区域模型(所有者 -> 私有 -> 工作 -> 社区 -> 公开)创建了加密隔离。
关键见解:区域定义了谁可以证明他们属于,而不是数据存放的位置。一个符号可以存在于任何设备上,但只有区域成员可以解密有效负载。
完整性/保密性矩阵很巧妙:
所有者:只有你可以读取或写入
私有:你的设备可以读取;你独自写入
工作/社区:共享读取;经过验证的成员写入
公开:任何人都可以读取;仅经过验证的来源
能力令牌是机械的,而不是政策
grant_object_ids字段强制具体性。令牌不会说“可以访问文件”——它会说“可以访问对象abc123,操作[读取,获取]”。这使得授权:
可审计(每次访问都追溯到一个令牌)
可撤销(撤销令牌,撤销所有派生访问)
可组合(令牌可以委派其授权的子集)
SafetyTier层级(安全 -> 风险 -> 危险 -> 关键)具有逐步的法定人数要求,这意味着高风险操作需要分布式同意——没有单个被攻陷的设备可以授权销毁。
阈值秘密是皇冠上的明珠
Shamir的k-of-n秘密,FROST用于所有者密钥。
深远的含义:秘密从未在任何设备上完整存在。你的所有者密钥——所有信任的根源——分散在你的设备群中。即使夺取了你所有的设备,也不会危及密钥,除非k个设备同时开机并合作。
这是在数学层面上的深度防御,而不是政策层面。
各部分如何契合
README dot md(架构意图)
↓ 由
FCP_Specification_V2.md(规范协议)实现
↓ 根据
AGENTS dot md(开发约束)构建
AGENTS dot md是实际的封装。“无破坏性操作”规则,性能目标(<50ms冷启动,<1ms延迟),Rust 2024 + forbid(unsafe_code)要求——这些不是任意的。它们强制:
确定性:代理不能意外破坏网络
性能:协议必须在受限设备(手机、嵌入式)上可行
安全性:Rust的保证与协议的信任模型相匹配
珠子工作流集成意味着FCP的工作本身通过依赖感知的问题管理进行跟踪——该项目实践其所宣扬的关于明确、可审计状态的理念。
这意味着什么
FCP V2正在构建一个世界:
你的AI助手为你工作,且可证明。连接器是沙箱化的,能力受限的,并且有审计日志。
你不信任连接器;你信任数学。
你的数据能够抵御任何单点故障。符号可替代性 + 阈值秘密 = 没有设备是关键的。
撤销实际上有效。不是“相信我们,我们会停止使用它”,而是“能力令牌在撤销集中,获取被拒绝。”
网络就是计算机。不是比喻——而是字面意义。对象、能力和秘密跨越设备。“设备”只是网络的一个视口。
这是一个雄心勃勃的协议。规范的5000多行不是臃肿——它们是使这些保证机械化而非承诺所需的精确性。
713
因为我现在更多地在规划层面上运作,我重新利用了我曾经为编码想出的或许是最有用的提示之一(数百人,如果不是成千上万的人,都可以证明它的惊人有效性):我称之为我的“新鲜视角”审查提示。
无论如何,这里是专门为审查 markdown 计划文档而改进的版本:
“重新阅读 AGENTS dot md,以便它仍然在你的脑海中保持新鲜。很好,现在我希望你仔细阅读整个计划文档,但这次要以‘新鲜的眼光’来查看,仔细寻找任何错误、失误、问题、困惑、概念错误、逻辑违反、忽视概率理论、草率思考、不准确的信息/数据、不良的隐含假设等。仔细修正你发现的任何问题,通过在文档中进行一系列小的编辑,而不是一次大的编辑。”
拿起你那份庞大而复杂的计划文档或协议规范文档、RFC,无论它是什么,启动 Codex 并使用 GPT 5.2。
将其调至超高推理努力,并排队大约 20 个相同的提示,惊叹于它在接下来的几个小时内对你的文档所做的改变。
218
我爱 Rust,并且随着时间的推移越来越多地使用它,但编译真是太麻烦了。
它让 CPU 的负担变得很重,因为我有大约 15 个代理在不同的时间尝试编译,如果有几个同时进行,我所有的终端都会变得非常缓慢和无响应。
这真的破坏了我管理我的混乱帝国的乐趣,这通常对我来说是非常有趣的。我觉得这也让我血压更高了。
情况变得如此糟糕,以至于我觉得我需要制作一个很好的以代理为中心的工具,让我可以利用通过 ssh 访问的 N 台远程 Linux 机器,然后让它们作为远程编译工作者,这样运行代理的机器就不会因为编译过载而变得沉重。
我需要找出最流畅的实现方式,以便代理能够持续使用它。
我想知道我是否可以制作类似 DCG 的东西,作为一个预工具钩子,动态重写编译工具调用(rustc/cargo),将它们分配给我的工作网络。
今晚会尝试解决这个问题。
224
热门
排行
收藏
