GenLayer
全部文章

本文译自英文原文。

观点

GenLayer 主网路线图

一文读懂 GenLayer 路线图:GenVM、Optimistic Democracy、测试网,以及通往主网之路。

Ivan Raskovsky阅读需 7 分钟

GenLayer 不是一条寻常的区块链。它借助 LLM 和网页浏览,把主观性和非确定性带到链上,这在业内尚属首次。Optimistic Democracy 共识与等价原则相结合,构成了一种全新的算法,牵涉的环节和参与者都很多。我们不妨回到起点,把当前的路线图讲清楚。

一切始于 Albert、Edgars 和 JM 撰写最初的白皮书,规划出一条路线:从一个想法,走向一个成熟完备、无需信任的决策协议。GenLayer Labs 由此诞生。

核心架构与团队

要理解路线图,先得了解构成 GenLayer 的各个部分。组织架构是个很好的切入点,因为它展示了几个技术团队以及各自负责的领域:GenVM、共识(Consensus)、节点(Node)和开发者体验(DevExp)。

GenVM 是 GenLayer 的心脏,是我们自己打造的虚拟机,用来运行 Intelligent Contracts。合约用 Python 编写,在 WASM 运行时里解释执行。GenVM 为建设者提供运行非确定性代码块、编写合约所需的全部原语,也提供执行环境。对验证者而言,它还提供灰盒化(Greyboxing):一层中间件(通过 Lua 脚本实现),验证者可以借此为整个协议增加额外的安全性和正确性。我们很高兴地告诉大家,随着最近加入图像处理能力,GenLayer 的 GenVM 已基本可以正式登场。只剩下零星的修修补补,部分文档改进和示例还在迭代。

共识团队负责编写执行 Optimistic Democracy 机制的合约:领导者与验证者的选择、提交-揭示投票、轮换、申诉、质押和费用。质押刚刚上线;费用(gas、惩罚和奖励)作为最后一步,目前正在开发中。这些合约都用 Solidity 编写,运行在 GenLayer Chain 上。

节点是把共识和 GenVM 连在一起的粘合剂。节点团队从零开始用 golang 编写节点二进制程序,实现了数据库同步、监听共识合约、执行 GenVM,并通过提交-揭示把结果报告给共识合约。这部分工作基本完成,剩下一些与节点运维相关的任务,涉及可扩展性和日常维护。

DevExp 团队最先做出了 Studio,一个完全模拟、中心化的 GenLayer 版本。它验证了整个构想,让我们得以开始在 GenLayer 之上构建,也是我们最主要的开发工具;一些项目已经在生产环境中使用它。Rally 上线之后,Studio 迎来一次大更新,可扩展性得到提升。路线图上没有阻塞性的功能。Explorer 是另一个重要部分,每次共识升级后都会随之更新。开发者工具方面还有些工作要做,但都不是大事。

另一个重要方面是 GenLayer 的正确性。团队一直在对共识、恶意参与者和费用做大量模拟,确保共识让各方参与者的激励全部对齐,并且能抵御攻击。我们目前正在编写形式化的 TLA+ 规范,为这一研究方向收尾,锦上添花。

基础设施与网络设计

GenLayer 有这么多独一无二的新概念,我们决定把全部精力投入这些部分,同时尽量不重复造轮子,尽可能建立在现有的坚实基础之上。我们选择 ZKsync 来处理共识中确定性的那一面,它提供 ZK 证明和亚秒级结算。我们对这个决定非常满意:它十分稳定,而且不断推出新功能。我们把这一层叫作 GenLayer Chain,一条兼容 EVM 的 L2,由 @zksync 提供支持。他们一直是很棒的合作伙伴!

在它之上还有一个叠加层,叫作 GenLayer Network,我们自己的验证者节点在这里运行 GenVM 和 Optimistic Democracy 共识。所有的魔法都发生在这里:Intelligent Contracts、非确定性操作、共识、申诉,等等。

GenLayer 的两层结构。GenLayer Chain:ZKsync L2、EVM、智能合约,由共识团队负责。GenLayer Network:GenLayer 验证者节点、GenVM、Intelligent Contracts,由 GenVM 团队和 DevExp 团队负责。节点团队把两层连接起来

测试网策略

这么多部分同时在变,我们需要测试它们能否协同运转。一个不断变化、持续演进的测试网才是正确的选择。我们决定分多步推出测试网,共三个阶段(它们将并行运行):Asimov、Bradbury 和 Clarke 测试网。

测试网:Asimov、Bradbury、Clarke

Asimov 测试网是第一个,目前正在运行,已进入第 4 阶段,目的是测试基础设施层的稳定性和可扩展性。它并不稳定:我们一路上引入过破坏性变更,也重置过它的历史;它本来就不追求稳定,因为我们要在上面做压力测试,摸清它的最大吞吐量,还要运行可能尚不稳定的新版节点。它不是给建设者用的,而是面向节点运营者和核心团队。它也面向底层安全研究人员:他们寻找漏洞并尝试利用,过程中甚至可能让测试网宕机。共识合约用 Solidity 编写,运行在 GenLayer Chain 上,而 Asimov 正适合测试共识可能走的各种流程,包括轮换、申诉和仲裁庭(tribunals)。

Bradbury 测试网即将到来,几周内就会上线。它的重点是 AI,让所有人(核心团队、验证者和建设者)一起摸索如何配置和使用节点,让网络发挥最佳性能。这是一片尚未开垦的研究园地,我们有很多想法,想在团队内部、也和社区一起尝试。我们会在这里回答一些问题,比如:每个合约最适合用哪个 LLM,惩罚和奖励如何作用于诚实、偷懒和恶意的验证者,何时以及如何申诉。我们设想会有许多不同的基准测试,也会有研究者通过实验来改进 GenLayer。我们需要验证者社区积极参与,因为这些经验最大的受益者正是他们。

Clarke 测试网将是主网的候选发布版本。它会保持稳定,建设者可以期待与主网相同的性能和稳定性。新功能会先在这里测试,再正式发布;它还会为建设者提供补贴,方便他们迭代和实验。这是主网之前的最后一站。

三个测试网。Asimov 测试网:一片自由的丛林,什么都可能发生,什么都可能出故障,专门挑战极限。Bradbury 测试网:学者的训练场,研究与实验并存,力求达到最佳性能。Clarke 测试网:稳定可靠,是建设者大展身手的理想乐园

通往主网之路

Clarke 测试网一旦上线运行,我们就会开始最后的安全审计,之后在主网正式上线。

总结一下:各个核心团队要么已经完工,要么正在冲刺最后一程。Bradbury 测试网是下一个重要步骤,紧随其后的是 Clarke 测试网。

经过多年的努力,我们离主网越来越近,最初在白皮书里闪现的那点灵感火花,终于要变成现实,我们无比兴奋。GenLayer 是我们和大家一起打造的,很高兴能与你同行。激动人心的日子就在前方!

别错过我们的建设者计划(Builders Program):points.genlayer.foundation。

现在就开始构建智能体商业的未来。

去中心化 AI 共识,让 AI 智能体以机器速度判定合约结果、解决争议。

访问 Portal