《蒙娜丽莎》是世界上最美的画吗？这篇博文是有史以来写得最好的吗？这些问题和我们每天遇到的许多问题一样，都是主观的。对这类问题，每个人的看法可能大相径庭，很难达成共识。
区块链处理不了这种主观性，因为它们只能处理所谓的确定性交易。而主观问题是非确定性的：即使输入相同，你也可能得到不同的输出。
主观性与非确定性
普通的区块链根本回答不了《蒙娜丽莎》是不是世界上最美的画。它也处理不了任何其他非确定性场景，比如从万维网这样不断变化的来源读取数据。要完成这项工作，你需要一种新型区块链！
GenLayer 能解决这个非确定性问题吗？首先，这个“问题”是怎么来的？
（剧透：能。）
乐观方法：兼顾效率与可靠性
我们从 GenLayer 的角度看看这个非确定性问题，也就是“主观问题”，并回顾一下目前已知的内容。GenLayer 由许多验证者组成，每个验证者都质押了一些 GEN 代币，并能访问一个大语言模型。
领导者与验证者的协作
GenLayer 的交易验证是乐观式的，也就是说，并不要求每个验证者都验证每一笔交易。默认情况下，系统会随机选出一个由 5 名验证者组成的验证者评估组，负责核验每笔交易。不过，在 GenLayer 中，真正施展魔法的是开发者。他们可以为自己的具体项目提高验证者的最低数量，获得更高的安全保障，交易成本也会随之增加。
这种乐观方法只需要一小部分验证者就能达成共识，因此交易处理效率很高。可面对非确定性交易，这些验证者究竟如何达成一致？
用等价性破解非确定性
GenLayer 共识机制的核心是等价原则。基于 LLM 的交易天生具有非确定性，要应对这一点，这一原则必不可少。
我们回到开头那个主观（也是非确定性）的问题：《蒙娜丽莎》是世界上最美的画吗？把这个问题抛给不同的 LLM，可能会得到各种各样的回答，每个回答都有自己的理由。
- 是的，因为它的色彩搭配得恰到好处。
- 是的，因为蒙娜丽莎的微笑最美。
- 不是，梵高的《星月夜》更美。
在这样的局面下，如果不先确定什么算“一样”，又该如何达成共识？
和往常一样，在 GenLayer 中，我们让建设者自己作决定：等价原则让他们可以针对具体用例，定义什么样的回答可以接受。
象征等价的天平
举个例子：设想一个基于 GenLayer 构建的参数化保险平台，根据现实世界的事件完成理赔。开发者可以这样设定等价原则：验证者各自搜索不同的新闻来源，只要它们都认同发生了飓风这一事件，它们的回答就被视为等价。一个验证者回答“是的，有飓风”，另一个验证者回答“是的，飓风正在登陆”，这两个回答就可以视为等价。
差别虽小，却很重要。你可能已经知道，可以在 GenLayer 上构建参数化保险平台，在灾难发生时向投保人赔付。飓风到底有没有登陆，可能是一个非常重要的细节。
共识机制：验证领导者的提议
一笔交易提交到网络后，被选中的验证者之一会担任领导者。领导者执行这笔交易并提出输出，其他验证者再按照开发者设定的等价原则，评估这一输出。由于验证者的数量总是奇数，在既定的等价原则下必然能达成共识。
每个验证者独立处理这笔交易，把自己在每次非确定性调用中的输出，与领导者的提议逐一比对。如果多数验证者同意领导者的输出，这笔交易就被视为有效。这一流程确保：即使各个输出并不完全相同，放在项目需求的语境下，它们也是等价的。
申诉流程：一路打到最高法院
由于验证者的数量总是奇数，无论达成共识需要随机抽取多少名验证者，交易通常都能获得一致认可。不过，仍然可能出现未决交易，这一点我们会在另一篇博文中介绍。
任何不同意初始验证者评估组决定的人，都可以在最终确认窗口内提交申诉请求。最终确认窗口，是指交易提交之后、可以针对该交易提交申诉请求的那段时间。每发起一次新的申诉，最终确认窗口都会重新计算。
申诉流程
每次申诉都会让一个更大的验证者评估组重新评估这笔交易。在至少包含 5 名验证者的标准情况下，评估组会扩大到 11 名验证者：选出一名新的领导者，非领导者验证者的数量翻倍。
这一流程会一直持续，直到达成共识，或者全部验证者都参与过为止。值得一提的是，如果用户想确保高可靠性，可以预先支付 gas 费用，让全部验证者就这笔交易达成一致。整个申诉流程可以类比法院体系：在那里，人们也可以层层上诉，直到终审，比如最高法院。一开始就让全部验证者就一笔交易达成一致，就好比一个宪法权利受到侵犯的人，可以直接向最高法院上诉。
任何人都可以提供额外的 GEN 代币来支付 gas 费用，从而发起申诉。这种开放的申诉体系确保系统能够自我纠错。这可以类比法院体系中上诉人的角色：上诉人必须承担上诉程序的费用，才能让更高一级的机构审理自己的案件。
兼顾最终性与吞吐量
GenLayer 的首要关注点，并不是在交易速度或吞吐量上与其他区块链竞争。这个平台把精确性和可靠性放在首位，就像一个把公正看得比效率更重要的法院体系。
GenLayer 上的交易，一旦申诉期过去且无人提出异议，就被视为最终确认。这个最终确认窗口给利益相关方留出了足够的时间审视交易，并在必要时提出异议。以前面的参数化保险为例，在赔付发生之前，相关方可以在最终确认窗口内，对基于飓风登陆的理赔提出质疑。
这种方式的最终确认时间可能比其他网络更长，但它能确保每笔交易都经过严格的验证流程。网络的吞吐量和延迟，要与准确性和安全性的需求相互权衡。
在主观的世界里达成共识
GenLayer 的 Optimistic Execution（乐观执行）模型以等价原则和申诉流程为支撑，为就主观和非确定性的交易达成共识提供了一套稳健的方案。GenLayer 允许开发者针对具体用例，定义什么样的结果可以接受，从而让许多在传统区块链平台上无法实现的应用成为可能。
我们身处一个日益主观的世界，GenLayer 提供了所需的工具和框架，让人们能构建可靠、无需信任的系统，应对非确定性带来的挑战。
编者注：本文写于 2024 年 3 月。想了解 GenLayer 如今如何判断两个答案是否算同一个，请浏览 GenLayer Labs 研究指南。
和我们一起，完成这项使命！
官网 | 博客 | Discord | X（原 Twitter） | Telegram | Simulator | 文档 | 白皮书
