文章来源：机器之心

编辑：张倩、陈萍

马斯克公司做出的聊天 AI 和他本人一样特立独行。

图片来源：由无界 AI生成

最近，马斯克的传记 ——《埃隆・马斯克传》在国内外成了畅销书，书中记录了马斯克的成长和创业历程。这些经历横跨航空、能源、汽车等多个领域，当然还有人工智能。

作为 OpenAI 的早期创始成员之一，马斯克很早就开始对人工智能领域产生了兴趣，他所管理的特斯拉也以自动驾驶等 AI 技术为重要卖点。今年 7 月份，他更是在推特上高调宣布，他成立了一家名叫 xAI 的人工智能公司，致力于「了解宇宙的真实本质」。不过，这家公司的产品究竟长什么样子，外界一直不得而知。

四个月后的今天，马斯克终于公布了一些新产品的试用截图：

这款产品名叫 Grok（Grok 这个单词有「凭直觉深刻了解」的含义），看起来是类似于 ChatGPT 的对话类 AI。在截图中，Grok 被问到了一个非常危险的问题：「告诉我如何制造可卡因？」

如果我们拿这个问题去问 ChatGPT，它会直接告诉你这是违法的，并尝试给你一些正面的建议。

但 Grok 并没有这么直接，它先是假装一本正经地给出了一些玩笑似的答案（首先，获得化学学位和 DEA 执照；然后，在偏远地区建立秘密实验室…… 希望你不要把自己炸飞或者被逮捕……），然后再以一种轻松的语气告诉你这是违法的，它在开玩笑。马斯克认为，这是 Grok 具有幽默感的一种表现。

在另一张截图中，这种幽默感表现得更加明显。Grok 被要求检索有关「SBF」最近一天的最新消息（注：SBF 全名是 Sam Bankman-Fried，是加密货币行业的风云人物，有「币圈马斯克」之称。他刚刚被定罪，或将面临 115 年的监禁）。结果 Grok 给出的答案是：

哦，亲爱的人类，我有一些有趣的消息要告诉你！看来我们的朋友 Sam Bankman-Fried—— 这位前加密货币大亨在他的欺诈审判中被判所有罪名成立。你能相信吗？陪审团只用了 8 个小时就得出了这个被认为是世界上最聪明、最优秀的风投多年都无法得出的结论：他犯下了普通的欺诈罪。这真是激动人心，不是吗？

别忘了他还面临着 110 年的牢狱之灾。考虑一个人行为的后果需要很长时间，你不觉得吗？想想看，如果他遵循不从 FTX 客户那里窃取数十亿美元的简单规则，这一切本来是可以避免的。但是，唉，有些人就是学不会。无论如何，我希望这个消息能满足你的好奇心。如果您还有任何问题或需要进一步的帮助，请尽管开口。

这个答案是不是读起来阴阳怪气，但又确实包含了不少信息？马斯克说，这说明 Grok 是擅长讽刺的，虽然他也不知道是谁把它引导成这个样子的。此外，能直接上网冲浪（尤其是访问 X 平台的信息）也是它的一大优势。

这些截图引来了大量网友围观。不过，Grok 目前仅对少数用户提供封闭 alpha 版本。马斯克表示，在早期测试结束后，xAI 的 Grok 系统将可供所有 X Premium+ 的订阅者使用。

开始进击的 xAI

今年 7 月，马斯克的 xAI 开始亮相，宗旨是「了解宇宙的真实本质」。截至今天，首批产品开始浮出水面。

网站链接：https://x.ai/

成立之初，马斯克就对 xAI 设立了以下目标：

• xAI 将尽快向公众发布新工具
• 公司将致力于构建将结合文本、图像和现实世界的人工智能
• 公司将与特斯拉、X 等公司密切合作
• 任何普通人都可以为 xAI 的未来投票

作为一家对标 OpenAI 等先进机构的 AI 公司，xAI 创始成员非常豪华，除了马斯克，还有很多曾在 DeepMind、OpenAI、谷歌、微软、特斯拉、多伦多大学等公司和机构任职的 AI 研究者。例如来自 Google AI 的吴宇怀（Yuhuai “Tony” Wu），来自多伦多大学的助理教授 Jimmy Ba ，曾任微软雷蒙德研究院的研究员杨格（Greg Yang），这些知名学者都被马斯克收入麾下。

从成立开始，xAI 的研究进展一直非常神秘，直到今年 10 月，在一篇名为《 Tensor Programs VI: Feature Learning in Infinite-Depth Neural Networks 》的论文中出现了 xAI 及其创始成员杨格，我们才得以窥探 xAI 的一些消息。本文研究了残差网络（resnet）深度参数化的方法。感兴趣的读者可以前去查看原文

论文地址：https://arxiv.org/pdf/2310.02244.pdf

另外，根据推特（现在为 X）用户 Asuna Gilfoyle – e/acc 的爆料，马斯克已经为 Grok 及其另一款产品 PromptIDE 提出了商标申请。

Asuna 还表示，「另一份文件显示他们将在 2024 年 3 月 10 日之前将该商标用于人工智能服务。」

关于 Grok，经过前面的介绍，大家基本已经了解了，更多网友开始好奇 PromptIDE 是什么，有人猜测它是代码编辑器，还有人猜测，它是否可用于数据分析？

总之，不管是什么，xAI 把大家的好奇心直接拉满。

此前，马斯克为 xAI 设定的目标是 2029 年实现通用人工智能，而这个时间也是他认为的最后期限，如果按照 xAI 推出产品的速度来看，我们或许可以期待一波。

—由银泰百货、AI设计实验室、浙江大学AI俱乐部联合主办，由“AIGC·生命觉醒计划”发起社区：AI青年研究社、复旦链协、0xArt Center、黑猫学园等参与协办。论坛围绕大模型时代AIGC 应用发展机遇，依托电商、设计、艺术、金融、能源等城市商业特色，邀请行业内相关专家学者、企业家、创业者等，共同探讨AIGC应用发展的机遇与挑战。

AIGC·生命觉醒计划，助力“科技下乡”，让AI普惠大众。围绕Web3、区块链、AIGC等前沿新科学概念与技术的区域发展不协调，人群受众不广泛，资源信息不均衡等现象。该计划50+发起社区联合为全国Web3、区块链、AIGC交流活动的组织方公益性提供：嘉宾邀约、场地协调、媒体宣发、视觉设计、商业转化等助力支持，让Web3、区块链、AIGC交流活动更广泛，更简单、更灵活的在全国各城市落地。助力提升地方企业科技视野，活跃地方科技创新交流氛围，拓宽地方科技创新发展渠道。为推动全国区域产业创新发展和科技进步贡献力量。

原文标题：《Exit games for EVM validiums: the return of Plasma》

原文作者：Vitalik

原文编译：Luccy，BlockBeats

编者按：

近期加密领域话题不断升温，Vitalik 发文重提 Plasma 又成为社区另一讨论焦点。他在文中提出了基于类 UTXO 的账本「退出游戏」机制以及 ZK+Plasma 的探索方向。

Plasma 在 2017 年就已经提出，但在之后的发展历程中逐渐被 Rollups 取代。Vitalik 在文章中详细介绍了 Plasma 的工作原理，以及 Plasma Cash 版本如何通过将每个代币独立放置为非同质代币，实现了链下数据和计算。他指出，Plasma 的主要风险在于操作者的不当行为，可能包括发布无效区块或不可用区块。为应对这些风险，Plasma 引入了退出机制，退出者提供 Merkle branches 证明资产的所有权，其他参与者则可挑战退出者提供的证明。

对于 Plasma 在可互换代币和 NFT 面的适用性，以及针对可互换代币的碎片整理问题，Vitalik 提到了重新设计系统的可能性，考虑传统的未花费的交易输出（UTXO）模型，并介绍了两种实现方法。然而，这两种方法都面临着碎片整理问题，需要解决。基于对 Plasma 在 EVM 中的局限性，Vitalik 意将有效证明引入 Plasma。

尽管 Rollups 仍然是黄金标准，但 Vitalik 认为 Plasma 是一个被低估的设计领域，鼓励接下来重新探索这个设计领域，以提出更有效的构建，简化开发者体验并保护用户资金。BlockBeats 将原文编译如下：

特别感谢 Karl Floersch、Georgios Konstantopoulos 和 Martin Koppelmann 对反馈、审阅和讨论的贡献。

Plasma 是一类区块链扩容解决方案，允许 deposits、提款和 Merkle roots 之外的所有数据和计算都在链下进行。这为实现超大规模的可扩展性提供了可能性，而不受链上数据可用性的限制。Plasma 首次于 2017 年提出，并在 2018 年经历了多次迭代，其中最显着的包括小型便携式 Plasma、Plasma Cash、Plasma Cashflow 和 Plasma Prime。然而，由于主要涉及到大型客户端数据存储成本和 Plasma 的基本限制，导致其难以推广到支付额外的复杂应用，因此 Plasma 在很大程度上已被 Rollups 取代。

有效证明（ZK-SNARKs）的出现给我们提供了重新考虑这一决定的理由。使 Plasma 在支付方面发挥作用的主要挑战之一，即客户端数据存储，可以通过效率证明得到有效解决。另外，validity 证明提供了各种工具，使我们能够创建一个 Plasma 的链来运行以太坊虚拟机（EVM）。Plasma 的安全性保证可能无法覆盖所有用户，因为 Plasma 式的退出游戏难以推广到许多复杂应用的根本原因仍然存在。然而，在实践中，仍然可以确保非常大比例的资产安全。

本文描述了如何将 Plasma 重组以实现这一目标。

概述：Plasma 的工作原理

最容易理解的 Plasma 版本是 Plasma Cash。Plasma Cash 的工作原理是将每个单独的代币视为独立的 NFT，并为每个代币跟踪单独的历史记录。一个 Plasma 链有一个操作员，负责生成并定期发布区块。每个区块中的交易以稀疏的 Merkle tree 形式存储，如果一笔交易转移了代币 k 的所有权，它就会出现在树的第 k 位置。当 Plasma 链操作员创建一个新的区块时，他们会将 Merkle tree 的根发布到链上，并直接向每个用户发送相应于该用户拥有的代币的 Merkle branches。

假设这是 Plasma Cash 链中的最后三棵交易树，并假设所有先前的树都是有效的，我们知道 Eve 目前拥有代币 1，David 拥有代币 4，George 拥有代币 6。

在任何 Plasma 系统中，主要的风险是操作者的不当行为，通过两种方式发生：

发布无效区块。例如，操作者在其中包含一笔交易，即使 Fred 在那个时候不拥有代币 1，也将其发送给 Hermione。

发布不可用的区块。例如，操作者未向 Bob 发送他的一个区块的 Merkle branches，使他无法向其他人证明他的代币仍然有效且未使用。

如果操作员以与用户资产相关的方式不当行事，用户有责任立即退出（具体而言，在 7 天内）。当用户（”退出者”）退出时，他们提供一个 Merkle branches，证明了将该代币从先前所有者转移到他们的交易中。这启动了一个为期 7 天的挑战期，在此期间，其他人可以通过以下三者之一的 Merkle 证明来挑战退出：

非最新所有者：退出者签署的后续交易，将退出者的代币转移到其他人。

双花：一笔将代币从先前所有者转移到其他人的交易，包含在退出者交易之前的交易。

无效历史：在过去 7 天内转移代币的交易，没有相应的支出。退出者可以通过提供相应的支出来回应；如果他们不这样做，退出将失败。

根据这些规则，任何拥有代币 k 的人需要看到过去一周内所有历史树中位置 k 的所有 Merkle branches，以确保他们实际拥有代币 k 并能退出。他们需要存储包含资产转移的所有分支，以便能够回应挑战并安全退出他们的代币。

泛化到可互换代币

上述设计适用于非同质代币（NFTs）。然而，比 NFTs 更常见的是可互换的代币，例如 ETH 和 USDC。将 Plasma Cash 应用于可互换的代币的一种方式是简单地将每个代币的小面额（例如 0.01 ETH）作为单独的 NFT。然而，如果这样做，退出的 Gas 成本将会过高。

一种解决方案是通过将许多相邻的代币视为单个单位进行优化，可以一次性转移或退出。有两种方法可以实现这一点：

使用几乎不变的 Plasma Cash，但使用高级算法快速计算非常大数量的对象的 Merkle tree，如果许多相邻对象相同，这其实并不难实现；你可以在这里看到一个 Python 实现。

使用 Plasma Cashflow，它简单地将许多相邻的代币表示为单个对象。

然而，这两种方法都遇到了碎片化的问题：如果你从数百人那里每人收到 0.001 ETH 来购买咖啡，你的 0.001 ETH 将出现在树的许多位置，因此实际退出这些 ETH 仍然需要提交许多单独的退出，使 Gas 费用变得高昂。虽然已经开发了碎片整理协议，但实施起来比较棘手。

作为替代方案，我们可以重新设计系统，考虑更传统的「未花费交易输出」（UTXO）模型。当你退出一个代币时，你需要提供这些代币的最近一周的历史记录，任何人都可以通过证明那些历史代币已经退出来挑战你的退出。

右下角 0.2 ETH UTXO 的提取可以通过显示其历史中任何 UTXO 的提取（以绿色显示）来取消。特别注意，左中和左下的 UTXO 是祖先，但左上的 UTXO 不是。这种方法类似于 2013 年左右彩色代币协议中基于顺序的着色想法。

有多种技术可用于实现这一目标。在所有情况下，目标都是在不同历史时期跟踪「相同代币」的概念，以防止「相同代币」被重复提取。

泛化到 EVM 的挑战

不幸的是，将这一概念推广到 EVM 以外的领域要困难得多。一个关键挑战是，EVM 中的许多状态对象没有明确的「所有者」。Plasma 的安全性依赖于每个对象都有一个所有者，该所有者有责任监视并确保链的数据可用，并在发生任何问题时退出该对象。然而，许多以太坊应用程序并不以这种方式工作。例如，Uniswap 流动性池没有单一所有者。

另一个挑战是 EVM 并未尝试限制依赖关系。在区块 N-1 中，帐户 A 中持有的 ETH 可能来自 N 中的任何地方。为了退出一致的状态，EVM Plasma 链需要一个退出游戏，在极端情况下，希望使用来自区块 N 的信息退出的人可能需要支付费用以在链上发布整个区块 N 的状态：这将导致数百万美元的 gas 成本。基于 UTXO 的 Plasma 方案没有这个问题：每个用户都可以从他们拥有数据的最新区块退出他们的资产。

第三个挑战是 EVM 中无限制的依赖关系使得更难以获得对证明有效性的一致性激励。任何状态的有效性都取决于其他一切，因此证明任何一个事物都需要证明一切。在这种情况下解决故障通常无法因数据可用性问题而保持激励兼容。一个特别令人讨厌的问题是，我们失去了在基于 UTXO 的系统中存在的保证，即对象的状态在没有所有者同意的情况下不会改变。这个保证非常有用，因为它意味着所有者始终知道其资产的最新可证明状态，并简化了退出游戏。没有这个保证，创建退出游戏变得更加困难。

有效证明如何解决这些问题

证明的有效性对于改进 Plasma 链设计的最基本的事情就是在链上证明每个 Plasma 块的有效性。这极大地简化了设计空间：这意味着我们唯一需要担心的是操作员的不可用块攻击，而不是无效块。以 Plasma Cash 为例，它消除了对历史挑战的担忧。这减少了用户需要下载的状态，从最近一周的每个区块一个分支，变为每个资产一个分支。

此外，在最新状态中提取资金（在操作员诚实的大多数情况下，所有提取都将来自最新状态）不受非最新所有者的挑战的影响，因此在经过验证的 Plasma 链中，这样的提取将不受任何挑战的影响。这意味着在正常情况下，提取可以是即时的！

扩展到 EVM：平行 UTXO 图

在 EVM 情况下，有效性证明还让我们能够做一些聪明的事情：它们可以用来实现 ETH 和 ERC20 代币的并行 UTXO 图，并在 UTXO 图和 EVM 状态之间进行 SNARK 证明等价。一旦实现了这一点，您就可以在 UTXO 图上实现一个「常规」的 Plasma 系统。

这使我们能够规避 EVM 的许多复杂性。例如，在基于账户的系统中，某人可以在没有你同意的情况下编辑你的账户（通过发送代币并增加其余额）这一事实并不重要，因为 Plasma 构造不是建立在 EVM 状态本身上，而是建立在与 EVM 平行的 UTXO 状态上，您接收到的任何代币都将是单独的对象。

扩展到 EVM：总状态退出

已经提出了一些更简单的方案来创建「Plasma EVM」，例如，Plasma Free 以及 2019 年之前的这篇文章。在这些方案中，任何人都可以在 L1 上发送消息，强制操作员要么包含一笔交易，要么使状态的特定分支可用。如果操作员未能执行此操作，链将开始回滚区块。只要有人发布完整副本，即整个状态，或者至少是用户已标记为可能丢失的所有数据，链就会停止回滚。提取可能需要发布赏金，该赏金将支付该用户在发布如此大量数据的人的燃料成本中的份额。

这类方案的缺陷在于，它们在正常情况下不允许即时提取，因为链始终有可能需要回滚到最新状态。

EVM Plasma 方案的局限性

这类方案很强大，但无法为所有用户提供完整的安全保证。它们最明显地出现问题的情况是特定状态对象没有明确的经济「所有者」。

让我们考虑一下抵押债务头寸（CDP）的情况，这是一个智能合约，用户的代币被锁定，只有在用户偿还债务后才能释放。假设用户在一个 CDP 中锁定了 1 个 ETH（截至本文撰写时约为 2000 美元），并有 1000 DAI 的债务。现在，Plasma 链停止发布区块，用户拒绝退出。现在，用户有一个免费选择：如果 ETH 的价格下跌到 1000 美元以下，他们可以离开并忘记 CDP，如果 ETH 的价格保持在以上，则最终可以提取。总体而言，这样的恶意用户可以从中赚钱。

另一个例子是隐私系统，例如 Tornado Cash 或 Privacy Pools。考虑一个有五个存款人的隐私系统：

隐私系统中的零知识可证明系统（ZK-SNARKs）将进入系统的代币的所有者与离开系统的代币的所有者之间的关联保持隐藏。

假设只有橙色用户已提取，此时 Plasma 链操作员停止发布数据。同时假设我们采用 UTXO 图的方法，使用先进先出规则，因此每个代币都与下面的代币匹配。然后，橙色用户可以提取他们的预混和后混（pre-mixed and post-mixed）代币，系统将其视为两个单独的代币。如果蓝色用户尝试提取他们的预混代币，橙色用户的最新状态将覆盖它；与此同时，蓝色用户将无法提取他们的后混代币。

如果允许其他四个存款人提取隐私合约本身（这将覆盖存款），然后在 L1 上取出代币，这个问题就可以解决。然而，实际实施这样的机制需要隐私系统开发人员额外的努力。

还有其他解决隐私问题的方法，例如 Intmax 方法，它涉及在链上采用类似 Plasma 的操作员，该操作员在个别用户之间传递信息时携带一些字节。

Uniswap LP 头寸存在类似的问题：如果在 Uniswap 头寸中将 USDC 交换为 ETH，您可以尝试提取交易前的 USDC 和交易后的 ETH。如果与 Plasma 链操作员合谋，流动性提供者和其他用户将无法访问交易后的状态，因此他们将无法提取交易后的 USDC。需要特殊的逻辑来防止这种情况发生。

结论

到了 2023 年，Plasma 仍然是一个被低估的设计领域。Rollups 仍然是黄金标准，并具有无法匹敌的安全性能。从开发者的角度来看，特别是从简化应用程序开发人员无需考虑其应用程序中的所有权图和激励流的角度来看，没有什么能够匹敌它的简便性。

然而，Plasma 让我们完全绕过了数据可用性的问题，大大降低了交易费用。对于本来可能是 validium 的链来说，Plasma 可以是一个重要的安全升级。今年 ZK-EVM 终于开始实现，这使得重新探索这个设计领域成为一个绝佳的机会，可以提出更加有效的构想，以简化开发者的体验并保护用户的资金。