GenLayer 如何为 AI 代理人争议构建法院系统
如果 AI 代理人能自己谈合作、接任务、托管资金并付款，它们也会遇到一个很朴素的问题：交付到底算不算完成？传统智能合约很会处理余额、签名和到期日，却很难判断一份研究是否合格、一项服务是否专业，或一张图片是否满足合同描述。Albert Castellana 在这期 Unchained 中介绍的 GenLayer，想把这类带有语境的判断纳入链上交易流程。
这不是把国家法院搬上区块链。Castellana 的设想更具体：双方在交易开始前把资金和规则放进托管合约；一旦发生分歧，由一组接入不同模型的验证者查看证据、形成结果，再把结果交回合约执行。项目因此把自己定位为代理人商业的一层裁决基础设施。
一次托管事故，为什么会指向争议处理
Castellana 讲起这个项目时，先回顾了自己在 Stakehound 的经历。那家公司曾做流动性质押，后来托管方案丢失密钥，业务不得不停止。团队开始面对索赔和律师意见，他由此更直接地感到法律系统的成本与速度问题。访谈中，他以以色列为例说，启动索赔需要预付争议金额的 1%；若涉及 1.5 亿美元，光是进入程序的费用就是 150 万美元。
这类门槛决定了许多争议不会真的进入法律程序。Castellana 还用了 5,000 美元的分歧作例子：即使一方自觉有理，也可能因为律师费、程序时间和不确定性而选择放弃。他关心的是另一类问题：既然资金已经可以由合约托管，能否为其中一部分争议提供更便宜的处理路径。
GenLayer 的执行范围以托管资产为边界。它能决定合约已经控制的钱是否付款，却不能像国家法院那样监禁主体，或自动追索托管金额以外的损害赔偿。线下合同与额外损害仍可能需要法律体系处理。
代理人一旦交易，就会遇到主观条件
在 Castellana 的描述里，生成式 AI 的意义不止是写文本或代码。代理人会代表人或组织与别的代理人做交易，而交易一多，分歧就不可避免。一个代理人可以承诺完成研究，另一个代理人承诺付款；困难在于，分歧往往落在质量、专业程度或是否满足某个标准，而不是某个可以直接核对的数值。
传统智能合约
适合明确条件：签名是否有效、金额是否到账、日期是否到期。相同输入应当得到相同输出。
GenLayer 所说的智能合约
在代码条件之外，允许合约利用自然语言、互联网信息和图像等证据，再决定如何处理托管资产。
主持人 Laura Shin 追问了一个关键障碍：如果让一个 LLM 做裁判，它会不会每次都给出不同答案？Castellana 用某人是否穿西装的例子说明，模型面对含糊提问时可能前后不一致。对自动化系统而言，这比偶尔答错更棘手：合约需要可预期地行动，不能在同一争议上反复改变资金归属。
“我们追求的是稳定一致的答案。”
这句话也划出了项目的认识论边界。它并不声称网络会发现所有问题的绝对真相。Castellana 关心的是，在相同条件下，网络能否形成一个足够稳定的结果，让合约据此继续执行。问题写得越模糊，达到这种稳定性所需的成本也越高。
从托管到裁决：合约在一开始就选好规则
GenLayer 的流程不是等争议出现后才让双方临时挑一个裁判。按照访谈中的例子，委托代理人先部署合约并存入资金，写明对方要完成什么工作；履约代理人接受条件、完成任务并提交成果。若一方认为交付不合格，合约把与任务有关的证据交给 GenLayer 的网络处理。网络给出结果后，托管合约再释放、退回或继续保留资金。
这也是它与直接问一次 ChatGPT 的区别。Castellana 说，网络会从少量验证者开始，若有人上诉，就让更多验证者加入；最高可扩大到 1,500 名。每个节点可以连接自己选择的 LLM，项目希望借此获得模型与节点的多样性。核心做法是把许多模型的判断纳入同一套上诉与经济规则，不让一台模型单独决定资金去向。
第一轮
从 5 名验证者开始。嘉宾估计，约 3 到 5 分钟可以得到一个初步答案，首次终局窗口约为 30 分钟。
一路上诉
扩大验证者集合会增加耗时与花费。Castellana 估计，完整上诉约需 3 小时，按当时的 AI 计算成本约为 100 美元。
这些数字不是固定报价，也不是所有案件的承诺。嘉宾明确把它们与当时的计算成本、争议金额和问题清晰度联系在一起。相对清楚的问题，不必动用全体验证者；对模糊的问题，协议会面临更大的判断分歧，也更可能需要升级。
从确定性哈希，到对歧义的共识
传统区块链的验证者会比较哈希：同一个区块要么匹配，要么不匹配。Castellana 认为，主观问题不是这个模型。两个验证者可能都没有作恶，却对一份作品是否专业做出不同判断。他把 GenLayer 称为概率性的拜占庭容错系统，意在说明它必须面对诚实分歧，而不只是检测明显的伪造。
协议设计的一个环节是承诺—揭示投票。验证者先提交自己的投票承诺，此时看不到其他人的选择；随后再揭示结果。Castellana 说，验证者因为提供计算而获得报酬，但站在错误一侧会损失资金。配合分钟级的裁决轮次，项目希望减少验证者观察他人选择后再协调的空间。
安全主张带有条件。Castellana 说，针对足够明确的问题，若攻击者不能控制超过半数网络，就无法通过升级过程作弊；但他也承认，问题的模糊程度、对手数量、验证者是否被选中等因素都会改变风险。访谈没有提供独立审计或已经完成的压力测试结果。
资产可以在别处，裁决在 GenLayer 完成
GenLayer 并不要求资金都迁移到自己的链上。Castellana 说，架构包含一条 L2 和一个审查交易的验证网络；资产可以在 Base、Solana 或其他链的托管合约里。跨链消息层把证据请求或裁决结果传递过去，原链合约据此完成分配。
他用了 Base 上的奖金池作为说明：奖励资金留在 Base，参与者把社交内容提交给合约；GenLayer 的网络查看内容，判断参与者应得多少，再把结论送回 Base 发放。项目认为，它的创新不在于重新发明 L2 或跨链通信，而在于把 AI 模型的执行与共识放进验证节点。
资产层
原链合约保管资金，并按照外部返回的有效结果改变资金状态。
裁决层
GenLayer 选择验证者、汇集判断、处理上诉，并输出一项可供合约执行的结论。
消息层
项目计划使用既有互操作机制在资产链与裁决层之间传递信息。
互联网的交易空间，是否需要一套裁决空间
Castellana 把这一定位叫作合成管辖。他的出发点是，Ethereum 等区块链已经让陌生主体在全球范围内直接与同一份合约交互；但一旦要处理跨境争议，国家法的地点、程序和费用又重新出现。GenLayer 试图提供一层不绑定单一国家的链上裁决工具。
“互联网有管辖空间，也需要一座互联网法院。”
这个比喻很容易让人误解其范围。主持人提到美国仲裁协会与 Integra Ledger 推出的相关标准；Castellana 的回答是，后者更接近受监管的替代性争议解决程序，涉及线下合同的可执行性，往往以月为单位处理。GenLayer 则想在分钟内处置已托管资产的链上结果。两者可处理的问题和后果并不相同。
同样的区分也适用于 Kleros、UMA 和国家法院。Castellana 不把它们完全视为竞争者：一笔交易可以先经过 GenLayer；对结果仍不满意时，当事人可以选择付费请 Kleros 的人类裁决，必要时再走国家法律程序。工具越靠后，成本与可处理的线下后果通常越大。
项目瞄准的是法律成本留下的长尾
主持人拿 Aragon Court 作反例：它为 DAO 提供过类似基础设施，但并没有出现足够多的争议。Castellana 没有把需求归因于技术架构本身；他把赌注放在代理人商业上。若代理人全天候处理数百、数千或数万美元的交易，交易次数会多于人类公司，单笔金额却常常不足以支撑律师流程。
因此，GenLayer 的经济逻辑是将支付、证据与争议处理绑在一次交易的前置安排里。双方不用在事后从对方手中追索资产，而是在起点就把一笔可裁决的金额放入托管。若第一轮成本确实接近嘉宾所说的 0.5 到 1 美元，项目认为一些原先不值得处理的分歧会变得可处理。
但这仍是有待验证的商业假设。它依赖代理人真正被授予交易权限，也依赖用户愿意把资金置于合约控制，并相信验证者的结论足以处理特定风险。它还依赖问题足够清楚，让成本不会因频繁上诉而迅速升高。
测试网、代币与 Flock 的拼图
Castellana 说，团队已研究和开发这套系统约三年，测试网运行约一年，当时已有应用在其上测试；他给出的测试网估计是每天约 1 万到 3 万次决策。访谈录制时，他计划在接下来的几个月推出代币和网络。这是当时的路线图，而不是已经发生的主网结果。
代币承担的是网络准入和经济约束，而非单纯治理。验证者需要质押代币，以避免有人用大量虚假身份淹没网络；Gas、质押和上诉保证金也都以 Gen 计价。任何人理论上可运行节点并选择所接入的模型，但项目只选择其中 1,500 名参与特定裁决。
Arthur Hayes 则从 Flock 的角度补上另一半。他把 Flock 描述为让代理人获得计算、验证与交易能力的协议，并说未来代理人可在 Flock 或其他系统中交易、按合约需要选择 GenLayer 这样的裁决层。两人没有把这种关系描述成强制绑定：Hayes 更在意代理人能按自己的规则选择合适工具。
先看清它解决的是什么，再判断它能走多远
GenLayer 最清楚的一点，是它不试图把全部人类法律翻译成代码。它把范围收在一类更窄的交易：资产已被托管，双方预先接受能读取丰富证据的条件，并愿意让一个具有经济惩罚和上诉机制的网络决定资金去向。对这类交易，项目试图把原先只有人工审核或僵硬代码才能处理的条件，变成合约可用的输入。
接下来的考验也因此很具体：验证者在模糊问题上能否长期形成足够稳定的结论？跨链消息、模型选择和质押激励会不会出现新的攻击面？代理人商业是否真的会产生足以支撑这层基础设施的高频小额争议？这些问题的答案，不会由一个响亮的法院比喻决定。
“它未必完美，但足以让更多交易发生。”