从一个模糊的问题，
到世界可以信任的决定。

GenLayer 的核心，是一种任何区块链都没有用过的共识机制。验证者不再比拼谁先解出谜题，而是运用推理能力去评估一项主张。

第一轮总是从网络中随机抽取恰好 5 名验证者。其中一名被指定为领导者：由它执行 Intelligent Contract 并提出答案。其余验证者依据等价原则，各自独立地重新评估这个答案。如果超过 50% 同意，答案就被乐观地接受，几分钟内即可最终确认。

如果有人在最终确认窗口内提出异议，案件就会升级：每一轮申诉都把验证者评估组扩大到 2n+1，于是 5 名变成 11 名，再到 23 名、47 名，依此类推。评估组规模大致逐轮翻倍；质押激励把验证者拉向真相，谢林点随之出现，诚实地达成一致成为最有利可图的选择。在罕见的最坏情况下，申诉会一路升级到上限，即约 1,000 名验证者（实际上就是全部活跃验证者）。通常情况下约 30 分钟即可最终确认；一路升级到最大规模的评估组，大约需要三小时。

传统智能合约是纯粹的代码：确定、僵硬，看不见现实世界。Intelligent Contracts 则不同。它们把 Python 代码、自然语言规范，以及从网页获取现实世界数据的能力结合在一起。一份合约可以读取网站、解析 PDF、查询航班状态，或者解读服务协议里的某项条款。

什么样的结果算等价，由合约自己说明。开发者可以写下这样的规则：“如果送达时间与承诺日期相差不超过 24 小时，就视为准时。”验证者评估合约时，既执行代码逻辑，也推敲其中的语言和证据。这样一来，现实世界里每一个模糊的情形，都能交由网络作出可信的裁决。

GenVM 是执行 Intelligent Contracts 的沙盒运行时。它运行在每个验证者节点上，让确定性计算和非确定性计算在安全、受控的环境中混合运行。确定性操作（算术、密码学验证、状态读取）在每个节点上的执行结果完全相同。非确定性操作（LLM 调用、网页抓取、时间戳读取）允许使用，但都会记录在案。

GenVM 记录的不只是最终答案，还有推理路径：查阅了哪些网页来源、发起了哪些 LLM 调用、模型返回了什么。验证者意见不一时，可以查看彼此的推理，网络也能追溯分歧出现在哪一步。这种透明让申诉流程真正有意义：如果某个验证者的推理草率或带有偏见，规模更大的同行评估组会把它揪出来。

灰盒化（Greyboxing）是 GenLayer 抵御对抗性输入的防线。这个名字是特意选的：它不是黑盒（毫无透明度），也不是白盒（毫无保护），而是灰盒。如果把合约的判断交给单一 AI 模型，攻击者就可以发动提示词注入攻击：用精心措辞的问题或嵌入的指令，诱使模型给出错误答案。

灰盒化的应对办法，是要求使用一组多样、外界无从知晓的模型。每个验证者运行不同的 LLM，或者同一个模型，但配有不同的系统提示词、不同的随机种子、不同的温度设置，并基于不同的数据训练。攻击者无法事先知道哪些模型会被选中、它们如何配置、会走哪条推理路径。即使攻击在某个模型上奏效，在其他模型上也会失败。多样性由此变成了安全性。