【规范】代理式争议解决:“Bob即服务”层和不可变执行日志

本文为机器翻译
展示原文

动机:证据悖论

在工业级去中心化自治组织(DAO)中,纠纷不可避免(例如,「伺服器宕机了,但服务提供者说没宕机」)。在传统系统中,解决此类纠纷需要人工裁决或依赖偏见的日志档案。为了实现经济上的最终性,我们需要不可窜改的证据,并由人工智慧代理(「Bob」)接收这些证据以触发自动结算。

不可变堆叠:Paralus + 沙盒

我们透过确保日志的产生和储存方式,使硬体拥有者无法在不留下加密痕迹的情况下「篡改」日志,从而解决了「硬体拥有者」问题。

  • Paralus(零信任存取):我们在 Federated Kubernetes 丛集中使用Paralus来管理所有kubectl存取。 Paralus 提供详尽的使用者级稽核日志,记录每个已执行的指令。如果系统管理员尝试手动修改容器,Paralus 会记录下所有操作的「人、操作内容和时间」。
  • 沙盒运作时(Kata/gVisor):每个工业工作负载都在沙盒环境中运作。
    我们倾向于使用Kata Containers进行硬体级虚拟机器隔离,或使用gVisor进行系统呼叫拦截。
    如果某个进程试图「突破」容器来修改主机的日志文件,沙箱会侦测到系统呼叫异常,并立即在日志树中标记「防篡改」违规

「Bob即服务」(代理ADR)

Bob是一个具有专门的「法律技术」LLM核心的智能体人工智慧。 Bob充当自动争议解决器(ADR)

  • 持续摄取: Bob 持续监控从 Paralus 稽核日志和 Sandbox 心跳流出的日志树( log N log N
  • 冲突触发:当 DAO 成员(个人或组织)提出索赔(例如,「SLA 违约」)时,Bob 会提取相关的日志树分支。
  • 自主裁决:
    Bob 验证了不可篡改性证明:“Paralus 是否记录了手动登入?沙箱是否侦测到了突破?”
    如果日志经验证为「干净」且显示故障,Bob 会触发与Zodiac 相容的Safe 呼叫来惩罚提供者。
    如果日志显示“Tinkering”,Bob 会自动宣布高严重性违规,并在 500 毫秒内撤销提供者的 OIDC 存取权限。

技术工作流程:从货柜到结算

科技安全功能
执行Kata / gVisor防止主机级篡改。
使用权帕拉鲁斯审核每一次人工管理操作。
贮存logtrees( log N log N 使日志在加密方面不可篡改。
判断智能体人工智慧(鲍伯)裁定证据并触发O2A 启动

闭合工业循环

透过结合Paralus沙箱机制,我们确保输入到日志树中的资料真实可靠。这使得 DAO 能够真正实现自主运作。 “Bob”层确保“产业摩擦”不会导致“治理停滞”,而是带来即时的经济调整。


来源
免责声明:以上内容仅为作者观点,不代表Followin的任何立场,不构成与Followin相关的任何投资建议。
喜欢
65
收藏
15
评论