头雁
头雁|2025年07月02日 01:13
adrian brink 是Anoma的ceo,@adrianbrink 当时基本对外的演讲和发表的白皮书和论文都看了一遍。主要是intent这个东西很少有研究,而我很早接触到了这个概念,但围绕他的产品和研究并不多,@anoma 是互联网上为数不多的社区对intent做了深度理论研究和实践的社区,所以让我有兴趣深入的研究了一番。另外可能他的intent想法起源并非如我所分析(转发的23年的推文)那样。但这不妨碍我去继续好奇的把他的论文读一遍。 今天先摘录 他的第一个论文 《Anoma: Undefining Money》- 对价值的多样承诺 协调指代理通过信息传递集体规划行动,以实现互惠利益,维持社会持续性,需适合语境的媒介(如货币)。货币促进经济协调,但单维简化可能导致竞争分歧,威胁生存。本文聚焦协调本质,分析货币、语言、法律的失败模式,提出 Anoma 协议,通过多变量价值表达实现无单一记账单位的大规模协调,并计划探讨其技术实现。 解读:论文开始首先讲了一下什么是协调,我第一次看到有人围绕协调这个抽象点来描述一个问题。但第一篇论文还是比较枯燥的,所以基本就是建立对协调概念的抽象和现实世界协调问题的定义。 你早上买咖啡和能量棒,选择最便宜的榛子太妃糖棒和公平贸易巴西中烤咖啡,却无意支持了森林砍伐和土壤破坏。午休时购买的益智游戏,价格部分流入谷歌,资助了隐私侵蚀的街景车和广告研究。你的工作帮公司赚取床垫销售利润,部分用于地铁广告,间接让你购买游戏以逃避广告。货币作为中介未能反映你的价值观,购买行为导致了森林破坏、土壤耗竭和“监视资本主义”等负面影响。这种现象是孤立例外,还是系统性问题? 解读:主要说说现实经济活动中的问题 分布式账本技术提供可编程、抗俘获的交互机制,如货币转移,但其核心问题需从基本原则审视,而非囿于现有法律和资本主义框架。货币存在是为了协调经济活动,但区块链发展的辩证路径常聚焦内部机制,忽视外部协调需求。协议作为协调语言,其有效性取决于是否提供合适的寻址机制。区块链的进化式进展受短期利润驱动,难以自然收敛于解决协调问题的方案,需直接探索设计空间,明确需求并评估具体协议。 解读:现有的区块链账本对协调类问题存的问题,以及需要新的协议来解决协调问题 日常生活和经济互动的概念框架与威斯特伐利亚民族国家范式紧密相关,如“透明度”理念依赖法律执行的权力结构。法律仅为协调的一种形式,若分析引入现有意识形态概念,可能不适用于不同上层建筑。本文探讨能否设计一种协调机制,克服货币和法律契约的缺点,促进大规模互动。需从头构建适用上层建筑,分析其适用性,避免错误引入现有概念框架。 解读:原有法律等协调机制存在的问题,本文希望涉及一种新的协调机制来客服货币和法律契约的缺点,促进大规模经济互动 本文识别反乌托邦问题根源,剥离意识形态纠缠,转化为协调问题的描述和解决方案要求,提出并评估具体协议。分为三部分: 探讨协调本质、机制及属性,分析其情境依赖性,提出评估适宜性的方法。 聚焦特定协调问题,分析现有机制失败原因,列出纠正问题的要求,作为评估标准。 提出 Anoma 协议,描述其组件与结构,验证是否满足要求,并分析计算限制下的近似性,总结未来研究方向。 解读:论文将阐明协调问题的描述和定义以及解决方案,以及具体的协议实现。 什么是协调? (协调是指多个参与者通过信息传递和约束承诺,集体规划行动以实现共同目标,如搬石头、狩猎、建学校或登月。协调机制需反映参与者相互依存关系和预期内容,否则会导致分歧失效。协调类似个性在群体层面的体现,偏好选择具任意性。协调例子:深海潜水员:通过手势协调行动,传递拍照、换气或危险信号。 DotA游戏:玩家通过计算机计算复杂规则,共享行动信息,确保一致性;团队内语音/文字沟通策略,形成紧凑术语。 部落投票:通过投票传递偏好,承诺依结果行动,保持团结;事前审议至关重要,但选票选项有限。 供应链:通过货币传递需求信息,指导生产,但消费者只能在现有选项中选择,缺乏对称审议。 内部与外部:协调需不同代理间的沟通,因其内部想法、动机不透明。潜水员用手势避免碰撞,DotA玩家聊技能协同作战,部落成员表达投票承诺以保持团结。信息从内部状态通过物理媒介(如手势、文字、语音)表达到外部,被其他参与者感知并解读为内部状态信息,以实现协调。信息的传递:协调需通过适合情境的媒介传递信息,如劳动者用言语、猎人用手势、社区用文字。媒介必须匹配具体情况:手势不足以协调复杂学校建设,文字对狩猎无用。语言进步促进更复杂协调,媒介的适配性决定协调效果。 协调使个体实现单靠自身无法达成的目标:潜水员合抬重物,DotA团队协同作战,部落成员互助生存。协调需选择参与,带来超越机制运行成本(如手势、语言的能量消耗)的收益,形成稳定均衡。但此均衡局部,复杂媒介(如语言相较货币、投票)允许更微妙表达,支持切换至更优协调方式,探索更广的行动空间。 协调需通过机制实现,机制是代理间物理媒介,用于表达偏好和意图以沟通。代理需就内部状态(与未来行动相关)达成一致,但因内部状态不可直接访问,需通过物理形式表达,状态与形式间存在约束。机制的适宜性取决于具体协调情境。 协调需通过机制实现,机制是代理间物理媒介,用于表达偏好和意图以沟通。代理需就内部状态(与未来行动相关)达成一致,但因内部状态不可直接访问,需通过物理形式(如手势、语音、文字、货币)表达,状态与形式间存在约束。机制适宜性取决于协调情境。促成协议:代理通过物理形式(如手势、语音、书面计划、货币)交流内部状态(如计划、偏好),以协同行动。货币通过买卖表达交换意愿和偏好,但表现力有限,仅支持二元选择,无法传达复杂或非线性偏好。 解读:描述什么是协调 Anoma 协议精简版本 Anoma 概述:Anoma 是一个去中心化账本,允许参与者通过有效性谓词(描述偏好的程序)表达偏好,协商资源分配,实现兼容组合偏好的状态变化。核心功能:按时间排序:采用 BFT 共识机制,通过区块和交易分割事件历史,参与者运行相同状态机,确保状态一致。 数字偏好表达:参与者编写有效性谓词定义行动条件,链下意图支持快速变化偏好,过期机制确保偏好更新。 交易对手发现:意图八卦系统传播参与者意图,媒人节点聚合兼容意图,生成交易并结算。 帕累托最优结算:支持原子性多方交易,仅在全员同意时执行,确保帕累托最优。 隐私与透明:交易内容隐私,规则集通过零知识证明公开验证。 属性实例化:偏好表达:有效性谓词和链下意图支持动态、复杂偏好表达。 经济内部化:协议内化经济结构,透明计算边界行动(如购买)影响,支持环境偏好协商。 计算外包:节点代为计算符合偏好的状态转换,减轻用户负担。 帕累托高效结算:原子性结算确保多方偏好高效实现。 谢林绑定:共识机制形成谢林点,激励参与者加入统一经济系统。 相互依赖反射:分形实例化反映本地或跨社区经济依赖。 系统可移动性:初期兼容货币,长期减少货币依赖,支持隐私支付和公共产品资金流动。 语义体现:Oracle 问题:需外部可信方或谢林点游戏提供真实世界数据。 解读:主要阐明了协调问题的解决机制设计,也就是Anoma协议。这里其实没有研究整个Anoma协议的更多系统架构设计的细节。在另一篇论文里,更细致的描述了。其实这篇论文主要阐述了现实中协调的问题,案例,以及如何通过Anoma协议解决的框架。更多系统架构方面的可以看Anoma: a unified architecture for full-stack decentralised applications这篇论文。
+6
曾提及
分享至:

脉络

热门快讯

APP下载

X

Telegram

Facebook

Reddit

复制链接

热门阅读