IOSG Weekly Brief ｜ZK协处理器从0到1： 它究竟能做什么？

文章来源：IOSG Ventures

2023.10.23 - 10.29

Part.1 Insight ZK协处理器从0到1：它究竟能做什么？

感谢 Celer Network 和 Brevis 的 Mo Dong 老师关于ZK协处理器核心概念和用例的深入讨论，这些思考激发了本系列文章的创作灵感。本文仅做行业学习交流之用，不构成任何投资参考。如需引用，请注明来源，转载请联系IOSG团队获取授权及转载须知。本文所提及所有项目均不构成推荐及投资建议。

ZK 协处理器是区块链领域一项激动人心的创新。它由 Brevis、Axiom、Lagrange 和 Herodotus 等项目率先推出，有望彻底革新我们在区块链上开发应用的方式。有了 ZK 协处理器，开发人员可以创建数据驱动的 dApps，可以利用 omnichain 数据的历史记录来执行复杂的计算，而不需要依赖任何额外的信任假设。更为重要的是，它引领了一种新的开发模式：异步应用架构，这为 Web 3.0 软件框架带来了前所未有的效率和可扩展性。

在本系列文章中，我们将揭示 ZK 协处理器的神秘面纱。无论您是对其理念、实际应用、基础机制、面临的挑战，还是市场策略感兴趣，或是想要比较不同的项目，我们希望这些文章都能给您带来新的启发。

DEX 上缺少 VIP 交易员计划的案例

要理解 ZK 协处理器的基本思想，我们需要从现实世界中的激励性实例开始。

中心化交易所（CEX）和去中心化交易所（DEX）之间的一个明显区别是存在基于交易量的收费标准，也就是通常所说的 "VIP 交易员忠诚度计划"。这些计划是留住交易者、提高流动性并最终增加交易所收入的有力工具。

有趣的是，虽然每个 CEX 都拥有至少一个这样的项目，但 DEX 却完全没有。为什么呢？

这是因为在 DEX 中实现这一功能要比在 CEX 中更具挑战性，成本也更高。

在 CEX 中，实施忠诚度项目需要：

• 在中心化数据库中记录所有用户的交易历史——这是一项便于降低未来查询成本的任务。

• 每月在高性能的中心化数据库中执行一次直接查询，根据历史数据确定每个用户的交易量和费用等级。

然而，DEX 在尝试遵循相同步骤时面临着重大挑战：

• 由于区块链的存储成本过高，在智能合约中直接存储每个用户的交易历史并不可行。实施这种逻辑意味着用户每笔交易的手续费要高出 4 倍。

• 即使我们进行了交易记录的数据存储，但对这些数据进行统计查询和计算的成本更高。例如，计算单个用户 10K 笔交易的交易量数据将花费 156M Gas（对！我们计算过）。

你可能会说 "等等，你到底在说什么？在区块链上，每个用户的每笔交易都已自动存储（因为它是区块链！）。在区块链上土生土长的智能合约，应该可以随时访问所有这些数据，对吧？

很遗憾，不对！

区块链存储的数据和区块链虚拟机内智能合约可访问的数据完全是两码事。

对于区块链的完整/存档节点来说，它们存储了区块链历史上的大量数据。通过这些节点，您可以轻松访问：

• 历史上任何给定时间内整个区块链的状态（例如，谁是 Cryptopunk 的第一个所有者）。

• 历史上任何给定时间内的交易和因交易而产生的事件（例如，Charlie 将 $1,000 兑换成 0.5 ETH）。

事实上，流行的链外数据索引或分析工具（如 Nansen 和 Dune Analytics）可利用这一广泛的数据集进行深入分析。

然而，对于嵌入区块链虚拟机的智能合约来说，数据访问的限制要大得多。它们不能使用链外索引解决方案生成的数据，因为这会给这些外部且通常是中心化的索引解决方案带来额外的信任问题。

事实上，智能合约只能轻松且无需信任地访问以下数据:

• 虚拟机状态中存储的数据（不包括交易或事件数据）。

• 最新区块中的数据（历史数据访问是受限的）。

• 通过 "查看 "功能公开的其他智能合约的数据（不包括私有或内部合约数据）。

上述说法的一个关键细微差别在于 "轻松 "一词。

智能合约并非完全不知道区块链上的全部数据。在 EVM 中，智能合约可以访问最新 256 个区块的区块头哈希值。这些区块头囊括了区块链上截至当前区块的所有活动，并通过默克尔树和 Keccak 哈希值浓缩成 32 字节的哈希值。

压缩过的东西可以解压缩...只是并不容易 😂

试想一下，如果想利用最近的区块头，无需信任地访问上一个区块中的特定数据。这种方法包括从存档节点获取链外数据，然后构建默克尔树和区块有效性证明，以确定数据在区块链中的真实性。然后，EVM 对有效性证明进行处理，以进行验证和解释。这样的操作既繁琐又艰巨，仅仅为了检索过去的几个代币余额，就可能消耗数千万 Gas。

这一挑战的根源在于，区块链虚拟机本身不具备处理数据量大和密集型计算（如上述解压缩任务）的能力。

ZK 协处理器架构

（资料来源: Brevis 在 ETHSG 的演示幻灯片）

如果有一种魔法，能让区块链委托进行这种数据密集型的繁琐计算，并以低成本迅速获得结果，而且不需要任何额外的信任假设，那就再理想不过了。

朋友，这正是 ZK 协处理器的用途所在。

“协处理器”这一名称的灵感来源于计算机架构的发展史。例如，GPU 作为 CPU 的协处理器被引入，是因为 CPU 必须将某些昂贵且自身难以运行的重要计算任务（如图形计算或人工智能训练）下放给 "辅助处理器"，即 GPU。

但是，ZK 协处理器中的 "ZK "又是什么意思呢？在深入探讨复杂的技术细节之前，让我们先来了解一下这项创新技术的广泛意义和潜力。

我们需在Web 3.0中数据驱动的 dApps

交易费返还就是一个很好的例子。按照这一思路，有了 ZK 协处理器，就可以在众多 DeFi 协议中无缝引入各种忠诚度计划。

然而，这远不止 DeFi 忠诚度计划。您现在也许可以看到，Web 3.0 的其他领域也存在同样的问题。仔细想想，所有现代 Web 2.0 应用程序都是数据驱动的，而 Web 3.0 应用程序却无一例外。要想打造 "杀手级应用"，让用户体验与传统互联网应用相媲美，这种数据驱动方法是不可或缺的。

让我们看看 DeFi 领域的另一个例子：通过重新设计流动性挖矿奖励机制来提高流动性效率。

目前，AMM DEX 上的流动性激励机制采用 "现收现付 "模式。在这种模式下，当 LP 贡献流动性时，Farming 奖励即刻分配给 LP。然而，这种模式远非最佳。专业 Farmer 在感觉到市场波动时，可以迅速撤回流动资金，以避免无常损失。这样一来，他们为协议提供的价值微乎其微，但仍能获得可观的回报。

理想的 AMM 流动性激励机制会对 LP 的坚定性进行追溯评估，尤其是在市场大幅波动期间。那些在这种情况下始终支持资金池的人应该获得最高奖励。然而，获取对这一模型至关重要的 LP 历史行为数据，在今天仍然是不可行的。

要做到这一点，你需要 ZK 协处理器。

在 DeFi 领域，我们可以举出很多类似的例子，无论是使用预定算法和规则进行主动 LP 头寸管理，使用非代币流动性头寸建立信贷额度，还是根据过去的还款行为确定贷款的动态清算偏好。

然而，ZK 协处理器的潜力不仅限于 DeFi。

利用 ZK 协处理器打造具有出色用户体验的链上游戏

Web 2.0 游戏实时操作功能示例

当你进入一款新安装的 Web 2.0 游戏时，你的一举一动都会被详细记录下来。这些数据不会被闲置，而是会很大程度影响你的游戏之旅。它决定何时为你提供游戏内购买选项，何时推出奖励游戏，何时向你发送措辞经过精心设计的推送通知，以及与你匹配的对手等等。这些都是游戏行业所说的实时运营（LiveOps）的组成部分，是提高玩家参与度和收入流的基石。

要使完全链上游戏的用户体验与 Web 2.0 经典游戏相媲美，就需要这些 LiveOps 功能。这些功能应基于玩家与游戏智能合约的历史互动和交易。

遗憾的是，在区块链游戏中，这类功能要么完全缺失，要么仍由中心化解决方案驱动。原因与 DEX 的例子如出一辙：难以在区块链上挖掘和计算历史游戏数据。

是的，同样，你需要 ZK 协处理器来实现这一点。

Web 3.0 社交和身份识别应用是另一个没有 ZK 协处理器支持就无法运行的领域。

在区块链世界中，您的数字身份是由您过去的行为编织而成的一张网。

• 想证明自己是 NFT OG？你得证明你是 Cryptopunk 的原始矿工之一。

• 吹嘘自己是个大交易员？向我证明你在 DEX 上支付了超过 100 万美元的交易费。

• 和 Vitalik 关系密切？向我证明他的地址向你的地址发送过资金。

链下系统，无论是人类还是 Web 2.0 应用程序，都可以轻松生成这种证明，因为就像交易量的例子一样，它们可以访问包含所有这些数据的存档节点。

基于这种直接数据访问的身份证明需要强大的钱包地址关联，因此也需要承担其牺牲隐私的缺点，但它确是可行的。

然而，就像在交易量的例子中一样，如果你想让智能合约相信你的 OG 身份，并在不引入额外信任证明的情况下抢先体验一些新玩意，其实根本就没有什么好办法。

有了 ZK 协处理器，您就可以编织出一个可靠的身份证明，一个您过去行为的证明，一个任何智能合约都会毫无疑问地接受的证明。您在不同应用程序甚至不同区块链上的互动都可以巧妙地合并起来，形成这一证明。

更吸引人的是 ZK 固有的隐私性。您的钱包地址不必与您的身份公开关联。例如，你可以证明自己拥有 Cryptopunk NFT，而无需透露具体的钱包地址。或者，你可以证明在 Uniswap 上执行过 10,000 次交易，但不透露具体数字。

ZK 协处理器为数据驱动的 dApp 构建开辟了一个全新的领域，但它的意义远不止于此。

超越数据驱动范式：用 ZK 协处理器开创 Web 3.0 异步模式

数据驱动的 dApp 模式虽然很吸引人，但只是冰山一角。

ZK 协处理器的出现将彻底改变我们对区块链计算的看法，开创一个异步处理成为 Web 3.0 标准的时代。这种转变重新定义了任务的处理方式，专门的处理器可以独立运行，从而提高效率。

让我们先来了解一下什么是异步处理。

想象一下，在一家同步餐厅里，一个人同时扮演厨师和服务员的角色。你点了菜，他就开始准备，让你等着。他只能在为您上完菜后，再去招呼另一位客人。虽然这种设置可能会满足你的需求，但对其他人来说却很难提高效率。

相比之下，在异步餐厅中，不同的厨师和不同的服务员协同工作。服务员在接受您的订单后，会迅速将订单转交给厨师，同时为其他顾客提供服务。菜肴完成后，厨师向服务员发出信号，服务员随即为您上菜。

在计算机系统中：

同步架构就像第一家餐厅一样，一个人等待每项任务完成后再继续。这种架构简单明了，但速度可能较慢，因为它一次只处理一项任务。而且，这个人可能是个好服务员，但不是个好厨师。

异步架构就像第二家餐厅，其中有一些解耦和专门的系统组件，它们相互发送信息和任务，作为一种协调方式。这允许每个组件同时管理自己的任务线。虽然可能需要更复杂的管理方法，但这种架构速度更快，效率更高。

每一个现代互联网应用程序都是基于异步架构构建的，以提高效率和可扩展性，我们认为 Web 3.0 也应如此。

ZK 协处理器将成为这一变革的先驱。对于 dApp 开发者来说，区块链就像我们异步餐厅里的服务员。它主要处理直接改变区块链状态的计算，如或有资产所有权变更。所有其他计算都应交由稳健的 ZK 协处理器处理，它们就像精通厨艺的厨师一样，通过异步处理的强大功能，高效地烹饪出结果并发送给服务员。

具体来说，如果区块链应用中的计算符合以下两个 "可行条件 "之一，就应考虑使用 ZK 协处理器。

ZK 协处理器可执行条件：

• 链上计算成本 >（链外 ZK 协处理器计算（包括证明生成）+链上验证成本）

• 链上计算延迟 > （链外 ZK 协处理器计算（包括证明生成）+ 链上验证延迟）

即使它们只符合其中之一，也值得考虑！

现在你就可以看到，它不仅仅是数据驱动的 dApps！它是一种将 ML 等高水准通用计算引入区块链的全新方式，但更重要的是，它引入了改变模式的异步架构来构建 dApp，这在以前是根本不可能实现的。

下一篇章….

如果我们已经成功地让您相信 ZK 协处理器是一个将产生深远影响的想法，那么现在也许是时候谈谈它们是如何工作的了。在下一篇博客中，我们将探讨 ZK 协处理器的关键架构，并讨论该领域仍然存在的最大技术挑战。

Part.2 投融资事件

Neon Machine完成2000万美元A轮融资，Polychain领投

* 游戏

总部位于西雅图的Neon Machine 宣布已在 A 轮融资中筹集了 2000 万美元。Polychain Capital 领投，IOSG Ventures、Griffin Gaming Partners、Brevan Howard Digital、Franklin Templeton 和 Tess Ventures 也参与其中。这家Shrapnel 制造商目前已通过种子轮融资、A 轮融资和私募代币销售筹集了总计 3750 万美元的资金。

Moonveil Entertainment完成540万美元融资，Gumi Cryptos Capital和Arcane Group领投

* 游戏

Moonveil Entertainment已完成540万美元种子轮融资，Gumi Cryptos Capital和Arcane Group领投，IOSG Ventures、Longhash和Infinity Venture Crypto等多家Web3基金和游戏产业基金参投。
Moonveil Entertainment团队成员由来自拳头、腾讯、网易等知名游戏企业的核心管理层及制作团队以及Web3资深开发人员共同组成。Moonveil Entertainment正在研发的项目包括Astrark和Project B。

Blockaid完成3300万美元融资，红杉资本、 Ribbit等参投

* Web3 安全

由两名前以色列军事网络情报人员共同创立的 Web3 安全初创公司 Blockaid 已获得 3300 万美元的融资，该融资分为两轮——600 万美元的种子轮融资和 2700 万美元的 A 轮融资。种子轮投资者包括红杉资本、Greylock Partners 和 Cyberstarts。三位投资者以及共同领投的 Ribbit Capital 和 Variant 都参与了 A 轮融资。

Port3 Network获得DWF Labs投资

* 社交

Port3 Network在X平台上宣布，已获得DWF Labs投资，该轮融资将用于推动其链上交互自动化语言BQL发展，增强即将推出的社交数据层。

HYTOPIA完成300万美元融资，Delphi Ventures领投

* 元宇宙

HYTOPIA（原NFT Worlds）在X平台上宣布完成300万美元融资，Delphi Ventures领投，数个风投机构与天使投资人参投。HYTOPIA是是一个从头开始制作的游戏平台和引擎，融合了社交功能，并为开发者提供了受到 Minecraft启发的游戏创建工具包，目前正在构建HYTOPIA透明、开放的货币化层，该层由其L2区块链以及其TOPIA代币提供支持。此前10月20日，HYTOPIA主网已上线。

Noble完成300万美元种子轮融资，Polychain Capital领投

* 生态应用链

Noble 宣布完成 300 万美元种子轮融资，Polychain Capital 领投，参投方包括 Circle Ventures、Borderless Capital、Wintermute Ventures、Hustle Fund、CMCC Global 和 Interop 等。Noble 还正在与 Circle 合作将原生 USDC 带入 Cosmos 链间通信协议 IBC 生态系统。

Cube.Exchange完成900万美元的种子轮融资

* 交易所

Cube.Exchange已筹集 900 万美元的种子轮融资，投资者包括 Asymmetry Technologies 和 Susquehanna Private Equity Investments、LLLP、Everstake、Foundation Capital、Big Brain Holdings、Third Kind Venture Capital、Arche Fund、WW Ventures 和Cube.Exchange管理层成员。新资金将用于招聘开发、营销、合规和管理人员、获得许可证以及开设更多办事处。Cube.Exchange将作为现货交易所推出，然后在明年扩展到其他产品。

smlXL完成1340万美元种子轮融资，a16z等参投

* 基础设施

smlXL宣布完成1340万美元种子轮融资，a16z crypto、Greylock等提供支持。筹集到的资金将用建立一个16人的团队和开发产品，包括EVM.code和evm.storage。smlXL去年推出了第一个产品（EVM 操作码的交互式指南）evm.codes，今天已正式推出其网站。smlXL的使命是使区块链更加透明、有用和可访问。目前正在将覆盖范围扩大到未经验证的 Solidity 合约，还正在推出交易页面。

Triple-A完成1000万美元A轮融资

* 加密支付

Triple-A完成1000万美元A轮融资，Peak XV Partners（原红杉印度和东南亚部门）和Shorooq Partners领投。Triple-A将使用新资金进一步开发其产品套件。Triple-A由专注于金融科技的企业家Eric Barbier于2018年创立，提供基于稳定币和区块链的支付，支持的主要代币包括USDT、USDC、比特币和以太坊。Triple-A于2021年获得了新加坡金融管理局颁发的支付机构许可证。Triple-A拥有一支 70多名员工组成的团队，并在新加坡、迈阿密、香港、巴黎和巴塞罗那设有办事处。

Aera完成800万美元融资，Bain Capital Crypto领投

* 资金管理协议

Aera 宣布完成 800 万美元融资，本轮投资由 Bain Capital Crypto 领投，Jump Trading 参投。Aera 是一个自主的、数据驱动的资金管理协议，旨在帮助去中心化自治组织（DAO）管理其财务。Chitra 表示，Aera 的目标是让 DAO 能够快速响应市场变化，同时不牺牲去中心化的原则，为他们提供众包投资组合管理建议。

Part.3 IOSG投后项目进展

Celestia 网络已准备好启动，将首先发布主网测试版

* Modular Blockchain

Celestia在官方博客中宣布，Celestia网络已准备好启动，将首先发布主网测试版，引入数据可用性采样（DAS）、用于rollup的Celestia-node API等功能，接下来 Celestia基金会将与创世验证者协调，收集他们的创世交易，这些交易将被包含在由去中心化验证器集合共同创建的创世区块中，一旦通过共识机制由验证器集合最终确定了创世区块，Celestia的主网测试版网络将上线。

另外，Celestia在官方博客中宣布成立Celestia基金会，这是一家位于列支敦士登的非盈利组织。该基金会旨在引导Celestia生态系统并维护其价值观，主要目标包括资助可扩展的去中心化系统、公共商品的开源研发以及支持基于Celestia的基础设施和应用的开发者。该基金会的管理层由四名初始成员组成，其中包括Celestia联合创始人兼Celestia Labs首席执行官Dr. Mustafa Al-Bassam、加密企业家和投资者Batuhan Dasgin、Celestia联合创始人兼 Celestia Labs首席技术官Ismail Khoffi、Revalier所有者兼董事总经理Reinhold Wohlwend。

MakerDAO 再次增加5000万美元RWA资产，协议RWA总资产突破33亿美元

* DeFi

MakerDAO于10月21日通过BlockTower Andromeda再次增加5000万美元RWA资产。此外，当前协议RWA总资产约33.27亿美元。

Starknet 去中心化路线图发布：包含运营权力下放至质押者等两条路径

* Scaling

StarkWare发布Starknet去中心化路线图，以确保Starknet协议过渡到去中心化的权益证明协议，包括两条路径：实现运行去中心化协议所需的各种组件；将逐步将运营权力下放给Starknet质押者的过渡过程。其中，将运营权力下放给Starknet质押者的过渡过程包含四个路径：过渡到去中心化网络架构，而排序器操作仍保持中心化；确保完全开源软件堆栈的可用性；开发日益广泛的测试和集成网络；在排序器最终过渡到权益证明之前，吸引质押者加入。

Arbitrum 将其Orbit堆栈与Celestia集成以实现数据可用性。

* Layer 2

Arbitrum基金会宣布，Celestia将成为首个集成到Arbitrum Orbit和整个Nitro堆栈的模块化数据可用性（DA）网络。此次整合将在Celestia主网启动后完成，除了现有的Arbitrum One和Nova区块链之外，开发人员还可以选择将数据发布到Celestia。此举意味着Celestia的数据可用性证明将被纳入Arbitrum当前的L2生态系统中，旨在提高基于以太坊的应用程序的吞吐量和效率。Arbitrum基金会还表示，Celestia的Blobstream将通过Orbit软件堆栈部署到基于Arbitrum的Layer 2。

另外，Arbitrum已于10月24日0:00启动了第三周的奥德赛（Odyssey）活动。本周奥德赛的互动任务涉及了主流交易所Uniswap和衍生品交易所ApeX Pro，用户可通过完成任务获得Galxe徽章奖励。根据时间安排，本周活动的结束时间为北京时间10月29日0:00，徽章申领则将开放至北京时间10月30日0:00。

Illuvium 将于2024年Q1发布公测版本

* 链游

Illuvium将于2024年第一季度推出公测版本。游戏内交易所IlluviDex将演变为Illuvium Universe内的资产交易和购买的核心，旨在将IlluviDex不仅仅定位为一个市场，还是社区互动的核心。IlluviDex引入了新功能，包括协商价格的报价系统、资产按游戏组织的新结构布局，以及卡片堆叠功能，以简化浏览资产集合。

Part.4 行业脉搏

Aleo预计今年底上线主网，目前处于推出测试网的最后阶段

* 基础设施

可编程隐私网络Aleo正处于推出其测试网的最后阶段，预计主网将于2023年底推出。主网上线后，Aleo Systems将放弃对Aleo网络的所有控制权，该网络将独立于其创始公司运作，类似于以太坊等其他去中心化系统。

LayerZero引入可将wstETH跨Avalanche、BNB Chain和Scroll转移的新功能

* 全链互操作协议

LayerZero引入了一项功能，可从流动质押协议Lido Finance跨以太坊、Avalanche、BNB Chain和Scroll转移wstETH代币。wstETH还被集成到 LayerZero的全链可替代代币标准（OFT标准）中，该标准旨在避免跨链原生代币传输中的打包资产风险。OFT通过其去中心化通信协议来移动代币，而不是铸造和销毁包装的代币。该代币尚未得到Lido的正式认可。

Horizen推出的兼容EVM的侧链Horizen EON正式启动主网

* 基础设施

由 Horizen 开发和支持的完全兼容 EVM 的侧链和智能合约平台 Horizen EON 今日正式启动主网。Horizen EON（以太坊开放网络）是一个可扩展的区块链平台，针对简化和多样化的 dapp 开发进行了优化。它与以太坊虚拟机兼容，利用以太坊庞大的资源和社区，在 Horizen 上轻松无缝地部署 dapp。

Circle跨链传输协议CCTP已上线Base主网

* 跨链传输协议

Circle跨链传输协议CCTP现已在Base主网上线。目前，CCTP可以通过超20条路线在以太坊、Avalanche、Base、Arbitrum和Optimism之间转移USDC。

Coinbase Cloud：Celestia主网上线后将为其链上质押服务提供支持

* 基础设施

Coinbase Cloud在社交媒体宣布，模块化区块链Celestia主网即将启动，主网上线后将为其链上质押服务提供支持，代币持有者和构建者将能够通过Coinbase Cloud在Celestia区块链上进行质押。

Linear Finance：将重新开放协议并完全恢复矿池，并推出新网站和品

* DeFi

此前遭到攻击的DeFi协议Linear Finance在X平台上表示，即将重新开放协议Linear 2.0并完成恢复矿池，同时还将推出新网站和品牌，以及订单簿DEX和多抵押质押服务。此外，Linear Finance还将引入人工智能。

Merit Circle：游戏子网Beam已集成全链互操作协议LayerZero

*GameFi

Merit Circle 发文表示，其游戏子网 Beam 已与全链互操作协议 LayerZero 集成，以增强 Beam 网络内的互操作性。用户可通过 Beam Bridge 将以太坊上的资产转移至 Beam 网络，包括 Merit Circle 代币 MC 与未来在 Beam 上发布的各种游戏代币。Beam SDK 将通过其可替代代币（OFT）和不可替代代币（ONFT）的全链合约集成 LayerZero 堆栈。

dYdX已开源其V4代码，dYdX Chain v1.0正式发布

*交易所

dYdX周二宣布将开源其代码，这标志着该交易所 v4 升级的启动，以及备受关注的从以太坊上的第 2 层网络到 Cosmos 生态系统中独立区块链 dYdX Chain v1.0 的过渡。如果该提案被社区接受并通过由 dYdX 基金会领导的治理投票，那么区块链的新主网络或“主网”将上线。本月早些时候，dYdX创始人称：向Cosmos的过渡计划于本月进行，届时平台将“完全去中心化”。dYdX Trading Inc.也已更新其章程，转型为公众利益公司。