2023.01.16-01.29

写在前面：

过去的 2022 年关于 rollup 主要的讨论焦点似乎都集中在 ZkEVM，但是别忘记 ZkVM 也是另一种扩容手段。虽然 ZkEVM 并不是本文的重点，但是值得回味一下 ZkVM 与 ZkEVM 之间的的几个维度的不同之处:

1.兼容性：虽然都是扩容，但是侧重点并不同，ZkEVM 的侧重点在于直接实现与现有 EVM 的兼容，而 ZkVM 的定位在于实现完全的扩容，也就是将 dapp 的逻辑以及性能提升到最优，兼容性并不是首要的。底层搭好了，EVM 兼容也可以实现。

2.性能：两者都有比较可以预见的性能方面的瓶颈，ZkEVM 主要瓶颈在于兼容 EVM 这样一个并不适合封装在 ZK 证明系统时产生的多余成本。ZkVM 的瓶颈在于因为引入了指令集 ISA,导致最终输出的约束更复杂。

3.开发者体验：Type II ZkEVM ( 如 Scroll, Taiko) 主打的是对于 EVM Bytecode 的兼容，换句话说就是 Bytecode 级别及其以上的 EVM 代码都可以通过 ZkEVM 产生对应的零知识证明。对于 ZkVM 来说，有两个方向，一个方向是做自己的 DSL( 如 Cairo), 另一个则是目标兼容现有的比较成熟的语言如 C++/Rust（如 Risc0)。未来我们预计原生的 solidity 以太坊开发者会可以无成本迁移至 ZkEVM，而更新更强大的应用则会跑在 ZkVM 上。

很多人应该还记得这张图, CairoVM 事不关己游离于 ZkEVM 派系斗争的本质原因是设计思想的不同。

在虚拟机中一个 zkp 程序大概经历如下的流程：

图片来源: Bryan, IOSG Ventures

优缺点:

- 从开发者 (developer) 的角度来看，在基于电路的系统中开发通常需要对每个约束条件的成本有深入的了解。然而，对于编写虚拟机程序来说，电路是静态的，开发者需要更关心的是指令 (instructions)。

- 从验证者 (verifier) 的角度来看，假设使用相同的纯 SNARK 作为后端，基于电路的系统和虚拟机在电路的通用性方面有很大的不同。电路系统对每个程序产生不同的电路，而虚拟机对不同程序产生相同的电路。这意味着，在一个 rollup 中，电路系统需要在 L1 上部署多个验证合约 (verifier contract)。

- 从应用 (application) 的角度来看，虚拟机通过将内存模型 (memory) 嵌入到设计中，使应用程序的逻辑更加复杂，而使用电路系统的目的是为了提高程序的性能。

- 从系统复杂性 (complexity) 的角度来看，虚拟机将更多的复杂性纳入系统，如内存模型、主机 (host) 和客户 (guest) 之间的通信等，相比之下电路系统更简洁。

图片来源: Bryan, IOSG Ventures

在虚拟机中，有两个关键的设计原则。首先，确保程序被正确执行。换句话说，输出 (output)（即约束条件 constraint）与输入 (input)（即程序 program）应当正确匹配。一般这是通过 ISA 指令集完成的。其次，确保编译器 (compiler) 在从高级语言转换为适当的约束格式时能正确工作。

规定了电路产生器的工作方式。它的主要责任是将指令 (instructions) 正确地映射到约束条件 (constraint) 中，这些约束条件随后被送入证明系统 (proving system)。zk 系统使用的都是 RISC( 精简指令集 )。有两种 ISA 的选择：

• 第一种是自建一个自定义的 ISA(custom ISA)，这在 Cairo 的设计中可以看到。一般来说，有如下四种类型的约束逻辑。

  

  自定义 ISA 的基本设计重点是确保约束条件尽可能少，从而使程序的执行和验证都能快速运行。

• 第二种是利用现有的 ISA(existing ISA)，这在 Risc0 的设计中被采用。除了以简洁的执行时间为目标外，现有的 ISA（如 Risc-V）还提供了额外的好处，如对前端语言 (front-end language) 和后端硬件 (backend hardware) 友好。一个（有待解决的可能）问题是，现有的 ISA 会不会在验证时间上有所落后（因为验证时间并不是 Risc-V 的主要设计追求。

笼统地来说，编译器会逐步将编程语言翻译成机器代码。在 ZK 的环境下，它指的是使用 C、C++、Rust 等高级语言编译成约束系统（R1CS、QAP、AIR 等.）的低级代码表示。有两种方法，

• 设计一个基于现有 zk 电路表示 (existing circuit representations) 的编译器 -- 比如说在 ZK 中，电路表现形式从 Bellman 这样的可以直接调用的库 (library) 和 Circom 这样的低级语言开始。为了聚合不同的表现形式，Zokrates 这样的编译器（身也是一个 DSL）旨在提供一个抽象层，可以编译成任意的更低级表现形式。

• 基于（现有的）编译器基础设施 (compiler infrastructure) 来构建。基本逻辑是利用一个针对多个前端和后端的中间表现形式 (intermediate representation)。

Risc0 的编译器是基于 multi-level intermediate representation（MLIR），可以生成多个 IR（类似于 LLVM）。不同的 IR 给开发者带来了灵活性，因为不同的 IR 有各自的设计重点，例如其中有一些的优化是专门针对硬件，所以开发者可以根据自己的意愿进行选择。类似的想法在使用 GCC 的 vnTinyRAM 和 TinyRAM 中也可以看到。ZkSync 也是另一个利用编译器基础设施的例子。

此外，你还可以看到一些针对 zk 的编译器基础设施，如 CirC，它也借用了 LLVM 的一些设计理念。

1.系统的安全性 (security) 和验证的成本 (verifier cost) 之间的权衡

系统使用的比特数越高（即安全性越高），意味着验证的成本越高。安全性反映在密钥生成器（比如在 SNARK 中代表椭圆曲线）。

2.与前端和后端的兼容性 (compatibility)

兼容性取决于为电路的中间表示 (intermediate representation) 的有效性。IR 需要在正确性（程序的输出是否与输入相匹配 + 输出是否符合证明系统）和灵活性（支持多种前端和后端）之间取得了平衡。如果 IR 最初是为解决像 R1CS 这样的低度 (low-degree) 约束系统而设计的，那么与其他更高级别 (high-degree) 的约束系统如 AIR 的兼容就很难。

3.为提高效率需要手工制作 (hand-crafted) 电路

使用通用模型 (general purpose) 的缺点是，对于一些不需要复杂指令的简单操作，其效率较低。

• Pinocchio 协议之前: 实现了可验证的计算，但验证时间非常慢

• Pinocchio 协议: 在可验证性和验证成功率方面提供了理论上的可行性（即验证的时间比执行程序的时间短），是基于电路的系统

• TinyRAM 协议: 相对于 Pinocchio 协议，TinyRAM 更像一个虚拟机，引入了 ISA，因此摆脱了一些限制，如内存访问 (RAM)、控制流 (conttrol flow) 等

• vnTinyRAM 协议: 使得密钥生成 (key generation) 并不取决每个程序，提供了额外的通用性。扩展电路产生器，即能够处理更大的程序。

上述模型都以 SNARK 作为其后端证明系统，但是特别是在处理虚拟机时，STARK 和 Plonk 似乎是一个更合适的后端，从根本上说是由于其约束系统更适合于实现 cpu 一样的逻辑。

接下来，本文会介绍三个基于 STARK 的虚拟机 - Risc0, MidenVM, CairoVM。简而言之，除了都以 STARK 作为证明系统外，它们各自有一些不同:

*如何读懂上面的表格？一些注解...

●Word size（字长） - 由于这些虚拟机所基于的约束系统是 AIR，其功能与 CPU 架构类似。所以选择 CPU 字长（32/64 位）比较合适。

●Memory access（内存读取）- Risc0 使用寄存器 (register) 的原因主要是 Risc-V 指令集是基于寄存器的。Miden 主要使用堆栈 (stack) 来存储数据，因为 AIR 的功能与堆栈类似。CairoVM 没有使用通用寄存器 (general-purpose register)，因为 Cairo 模型中的内存访问 (main memory) 成本较低。

●Program feed（程序执行）- 不同方法是有取舍的。例如，对于 mast root 方法来说，它需要在处理指令时进行解码，因此在执行步骤较多的程序中下证明者的成本较高。Bootloading 方法试图在保持隐私的同时在证明者成本和验证者的成本之间取得平衡。

●Non-determinism（非确定性）- 非确定性是 NP-complete 问题的一个重要属性。利用非确定性有助于快速验证过去的执行。反过来说，它增加了更多的约束条件，因此在验证方面会有一些妥协。

●Acceleration on complex operations（复杂运算的加速）- 有些计算在 CPU 上运行很慢。例如，位操作，如 XOR 和 AND，哈希程序 (hash program)，如 ECDSA，还有范围检查 (range-check)......大多是区块链 / 加密技术的原生但不是 CPU 原生的运算（除了位操作）。直接通过 DSL 来实现这些运算会很容易导致证明的周期 (cycle) 耗尽。

●Permutation/multiset ( 排列 / 多列组合 ) - 在大多数 zkVM 中大量使用，有两个目的 --1.通过减少存储完整的执行轨迹 (execution trace) 来降低验证者的成本 2.证明验证者知道完整的执行轨迹

R0 目前的发展:

a.自研的"Zirgen "的编译器基础设施正在开发中。将 Zirgen 与一些现有的 zk 专用编译器的性能进行比较会很有趣。

b.一些很有意思的的创新，如 field extension，可以实现更坚实的安全参数以及在更大的整数上进行操作。

c.见证了在 ZK 硬件和 ZK 软件公司之间的整合中看到的挑战，Risc0 使用了一个硬件抽象层，以便在硬件方面进行更好的开发。

d.Still a work-in-progress! 还在开发中！

     - 支持手工制作的电路 (hand-crafted circuits)，支持多种哈希算法。目前，专用的 SHA256 电路已实现，然而还不能满足所有的需求。笔者相信具体选择优化哪类电路取决于 Risc0 所提供的用例 (use case)。SHA256 是一个非常好的起点。另一方面，ZKVM 的定位给人以灵活性，例如，只要他们不想，就不必去管 Keccak :)

    - 递归 (recursion)：这是一个很大的话题，笔者倾向于不在该报告进行深入研究。需要知道的是，随着 Risc0 倾向于支持更复杂的用例 / 程序，更迫切地需要递归。为了进一步支持递归，他们目前正在研究一个硬件端的 GPU 加速方案。

    - 处理非确定性 (non-determinism)：这是 ZKVM 必须处理的一个属性，而传统的虚拟机是没有这个问题的。非确定性可以帮助虚拟机执行得更快。MLIR 相对更擅长处理传统虚拟机方面的问题，而 Risc0 如何将非确定性嵌入到 ZKVM 系统设计中值得期待。

WHAT EXCITES ME:

a.简单且可验证！

在分布式系统中，PoW 需要高水平的冗余，因为人们不信任他人，因此需要重复执行相同的计算来达成共识。而通过利用零知识证明，状态的实现应该和同意 1+1=2 一样容易。

b.更多更实际的用例：

除了最直接的扩容外，更多有意思的用例将变得可行，比如零知识机器学习、数据分析等。相比于 Cairo 这样的特定的 ZK 语言，Rust/C++ 的功能更普适且更强大，更多 web2 的用例跑在 Risc0 VM 上。

c.更具包容性 / 成熟的开发者社区:

对 STARK 和区块链感兴趣的开发者不必再重新学习 DSL，使用 Rust/C++ 即可。

WeaveDB 完成 90 万美元种子轮融资，Permanent Ventures 领投，IOSG Ventures 等参投

* 数据

基于智能合约的去中心化数据库 WeaveDB 宣布完成 90 万美元的种子轮融资，Permanent Ventures 领投，IOSG Ventures、Mask Network、Arweave、Hansa、Next Web Capital、CMTD、Formless Capital 和 Gitcoin 的联合创始人 Scott Moore 参投。

WeaveDB 通过智能合约上类似文档数据库 Firestore 的 NoSQL DB 为 Web3 用户和开发人员带来类似 Web2 的用户体验。用户无需使用加密钱包登录、无需支付 gas fee。开发人员可通过 WeaveDB 构建去中心化的 Twitter、新的 GitHub。

Nil Foundation 完成 2200 万美元融资，Polychain Capital 领投，IOSG Ventures 等参投

* 基础设施

ZK 技术开发商 Nil Foundation 以 2.2 亿美元的估值完成 2200 万美元融资，该轮融资于去年年底结束，Polychain Capital 领投，IOSG Ventures、Blockchain Capital、StarkWare 和 Mina Protocol 等参投。新资金将用于进一步推出证明市场协议，并构建可提高区块链数据速度、安全性和可靠性的解决方案。 

Nil Foundation 成立于 2018 年，是证明市场协议的开发商，该协议使 Layer 1 和 Layer 2 区块链和协议能够按需生成零知识 (ZK) 证明。 

Carry1st 完成 2700 万美元融资，BITKRAFT Ventures 领投

*Web3 发行商

非洲 Web3 和社交游戏发行商 Carry1st 完成 2700 万美元融资，BITKRAFT Ventures 领投，参投方包括 Andreessen Horowitz（a16z）、TTV Capital、Alumni Ventures、Lateral Capital、Kepple Ventures 和 Konvoy 等。

Carry1st 正在开发一个名为 Play1st 的测试平台，允许对 Web3 游戏感兴趣的游戏玩家在该平台上发现游戏，在社区内进行评论，以及可以显示成就和奖励。

2022 年 1 月份，Carry1st 完成 2000 万美元 A 轮融资，Andreessen Horowitz（a16z）领投，Avenir、Google 母公司 Alphabet、Riot Games、Konvoy Ventures、Raine Ventures、TTV Capital 参投，所筹资金将用于进一步扩大在非洲的产品开发。

Syky 完成 900 万美元 A 轮融资，Seven Seven Six 领投

*Web3 时尚

Web3 奢侈时尚社区 Syky 完成 900 万美元 A 轮融资，Seven Seven Six 领投，Brevan Howard Digital、Leadout Capital、First Light Capital Group 和 Polygon Ventures 等参投。Syky 还将于 1 月 20 日发行 NFT 会员通行证 The Keystone，持有者可获得独家访问权限，在平台与其他创作者建立联系和协作，并能够参加线上和线下时尚活动。

Syky 打算利用融资资金组建 Syky 团队、将设计师融入社区以及进行产品和技术的开发。Syky 创始人兼首席执行官 Alice Delahunt 表示，Syky 将成为新一代时装设计师和消费者的孵化器、市场和社交社区。

Blue 完成 320 万美元融资

*DeFi 合规

为 DeFi 协议交易者提供 KYC 与 AML 解决方案的初创公司 Blue 完成 320 万美元种子轮融资，Blockchange Ventures 和 Fenbushi Capital 领投，参投方包括 DoraHacks、Knollwood Investment Advisory、Gate.io。本轮融资将用于完成 Halborn 和 Verilog Solutions 的安全审计以及扩大 Blue 的核心团队。Blue 计划在 2023 年第一季度将公司获得许可的 DeFi 解决方案推向市场。

Blue 是 ETHDenver 2022 黑客松的决赛入围者。之后，该公司参与了 Outlier Venture 的 DeFi Base Camp Accelerator、币安 MVB 计划和 Startup with Chainlink 的孵化器等。

Ulvetanna 完成 1500 万美元种子轮融资，Bain Capital Crypto、Paradigm 共同领投

*ZKP 硬件

ZKP 硬件公司 Ulvetanna 以 5500 万美元估值完成 1500 万美元种子轮融资，由 Bain Capital Crypto 和 Paradigm 共同领投，Jump Crypto 参投。该轮融资将用于进一步扩充其团队，并投资于服务器和硬件计算机芯片，为其平台提供动力。

Ulvetanna 正在构建旨在加速生成 ZKP 过程的硬件，其团队成员来自 Coinbase、微软和英特尔。

PLAI Labs 完成 3200 万美元融资，a16z 投资

*Web3 社交

Web3 和 AI 社交平台 PLAI Labs 完成 3200 万美元种子轮融资，a16z Games 和 a16z crypto 领投。该实验室由技术资深人士 Chris DeWolfe 和 Aber Whitcomb 创立，他们曾是社交媒体平台 MySpace 和游戏工作室 Jam City 的创始人。PLAI Labs 的第一个娱乐体验是基于该平台构建的区块链游戏 Champions Ascension。此外，PLAI Labs 还在构建一个 AI 协议平台，该平台将帮助处理从用户生成的内容 (UGC) 到匹配到 2D 到 3D 资产渲染的所有内容。

MySpace 成立于 2003 年，是首批覆盖全球数百万用户的社交网络之一。Jam City 以 Cookie Jam、Harry Potter：Hogwarts Mystery 和 Disney Emoji Blitz 等手机游戏而闻名。他们每月有超过 3000 万活跃用户，数十亿次下载。

Gateway 完成 420 万美元种子轮融资，Reciprocal Ventures 领投

*Web3 凭证

Web3 凭证协议 Gateway 完成 420 万美元种子轮融资，Reciprocal Ventures 领投，6th Man Ventures、Spartan Group、Figment 以及 Polygon 的 Sandeep Nailwal 和 Messari 的 Ryan Selkis 在内的天使投资人参投。该轮融资于去年第二季度结束，是通过股权加代币认股权证安排实现的，资金将用于继续开发其协议及扩张团队成员。

Gateway 由 Rahman 和 Sanket Jain 于 2021 年创立，用于去中心化证书颁发和维护，其凭据存储在基于区块链的数据存储协议 Arweave 上，它目前支持以太坊区块链上的凭证，并计划在不久的将来整合 Solana。

Cypher 完成由 Y Combinator 领投的 430 万美元种子轮融资

* 钱包

Web3 多链钱包 Cypher 宣布完成 430 万美元的种子轮融资，由 Y Combinator 领投。根据一份公告，这项股权交易于 6 月完成，OrangeDAO、Samsung Next 和 Coinbase 前首席技术官 Balaji Srinivasan 也参与其中。该轮融资将用于进一步的研发、产品开发，并寻求与银行机构建立可能的合作伙伴关系。

Cypher 的 CEO Kuberan Marimuthu 表示，Cypher 的目标是简化加密钱包应用程序的设计。Cypher 允许用户跨 EVM 和 Cosmos 链桥接资产。它不依赖 Ramp 或 MoonPay 等供应商，而是提供专有支持以将法币接入加密货币。Cypher 还在推出一种支付卡，允许用户花费其存储的加密货币。

QuickNode 完成 6000 万美元融资

* 基础设施

区块链开发平台 QuickNode 完成 6000 万美元 B 轮融资，10T Holdings 领投，参投方包括 Tiger Global、776 Management 和 QED Investors。本轮融资将用于支持 Web3 开发人员为「去中心化、全球互联的未来奠定基础的使命」。

Voldex 完成 a16z 领投的 A 轮融资

* 链游

游戏工作室 Voldex 宣布完成由 Andreessen Horowitz（a16z）领投的 A 轮融资，Dune Ventures 和 Makers Fund 继续参与投资，参投方还包括 POW Interactive 以及 Mitch Garber 的 Lalotte Ventures 等新投资方。另外，a16z 的普通合伙人 Andrew Chen 加入了 Voldex 的董事会。Voldex 暂未披露融资金额。

Voldex 通过收购和改进现有游戏来提高 Roblox 和 Minecraft 等用户生成内容平台的质量。Voldex 表示，将使用新融资扩充团队和继续支持现有的游戏，并使其能够从优秀的游戏创作者那里获得令人印象深刻的 UGC 游戏，通过开发与 IP 结合的新功能和更新，帮助释放每个人的潜力。

Asset Reality 完成 491 万美元种子轮融资，Framework Ventures 领投

* 资管工具

总部位于伦敦的数字资产追回解决方案 Asset Reality 完成 491 万美元种子轮融资，Framework Ventures 领投，其他投资方还包括 TechStars、SGH Capital 和 Outrun Ventures 创始人 Chris Adelsbach 等。

Asset Reality 是一个针对复杂资产的端到端解决方案，其平台为调查、管理和恢复资产的公共和私营部门公司提供服务和工具。

StoryCo 完成 600 万美元种子轮融资，Collab + Currency 和 Patron 领投

*Web3 内容

Web3 内容平台 StoryCo（原 Story DAO）完成 600 万美元种子轮融资，Collab + Currency 和 Patron 领投，Floodgate Ventures、Blockchange Ventures、Sfermion、Flamingo DAO 以其天使投资人 Lloyd Braun、Sabrina Hahn、Packy McCormick、GMoney 和人才机构的其他高管 WME 和 UTA 参投。

StoryCo 此前名为 Story DAO，该平台使用基于区块链的平台将创意人员与传统好莱坞生态系统之外的消费者联系起来，并允许观众就故事进行合作。该网站回避了大多数 Web3 术语，NFT 被称为 StoryPass，持有者可以访问项目的资金库，其中包括 NFT 销售、IP 许可收入和版税。

Emperia 完成 1000 万美元 A 轮融资，Base10 Partners 领投

*Metaverse

元宇宙电商 Emperia 完成 1000 万美元 A 轮融资，Base10 Partners 领投，Sony Innovation Fund、Background Capital、Stanford Capital Partners 和 Concept Ventures 以及天使投资人 Jay Radia 参投。新资金将用于扩大其员工人数，并投入资金开发其数据套件。 

Emperia 构建的元宇宙平台可以为零售行业的品牌商打造沉浸式虚拟购物体验，并构建元宇宙商店，目前其合作伙伴包括奢侈品牌 Dior、服装公司 Lacoste 和奢侈品连锁百货公司 Bloomingdale's 等。

Part.3 IOSG 投后项目进展

分布式验证器技术 (DVT) 提供商 Obol Labs 完成 1250 万美元融资，Pantera Capital 和 Archetype 共同领投。Obol Labs 累计融资金额已达到 1900 万美元。此前 Obol 于 2021 年 Q4 完成 615 万美元融资，Ethereal Ventures 领投，其他投资者包括 ConsenSys、IOSG Ventures 等参投。

Obol Labs 将构建去中心化验证器技术。Obol Labs 表示，其已经在与 Lido 和 StakeWise 合作，以使用 DVT 更安全、更高效地在运营商之间分配用户资金。

1inch Network 正在开发一款硬件钱包，目前正处于开发和测试的最后阶段

*DeFi

去中心化交易聚合器 1inch Network 正在开发一款硬件钱包，目前正处于开发和测试的最后阶段，今年晚些时候将上市销售。1inch Foundation 支持的硬件钱包将有一个 2.7 英寸的触摸屏，它将是一个无线设备，使用可充电电池运行，用户可以使用二维码或 NFC 技术无线签署交易。

zkSync 与加密基础设施公司 Espresso Systems 合作，将集成 CAPE 技术以实现隐私交易

* 基础设施

基于 ZK Rollup 的以太坊二层网络 zkSync 正与加密基础设施公司 Espresso Systems 合作，将集成「可配置资产隐私」CAPE（Configurable Asset Privacy）的新技术，以实现隐私交易。其中任何用户都可以在不暴露区块链的私人数据的情况下进行交易，从而为不希望余额、链上活动和其他可公开访问的私人数据暴露的机构消除障碍。该合作仍在计划中，尚未部署在 zkSync 的测试网上，预计今年晚些时候将更新现实世界资产、供应链、身份、支付和贸易融资的代币化。

Aurora 将启动验证节点激励计划

*EVM

NEAR 生态 EVM 兼容网络 Aurora 将启动验证节点激励计划，Aurora 将把验证者费用设置为 99% 以激励验证节点的委托人，并推出 2000 万枚 AURORA 的激励池用于激励验证者，该激励计划将持续一年。

Aztec Network 为以太坊隐私 DeFi 解决方案 Aztec Connect 开发者启动本地开发环境

* 隐私

基于 ZK Rollup 的隐私和扩容解决方案 Aztec Network 发推称，为以太坊隐私 DeFi 解决方案 Aztec Connect 开发者启动本地开发环境，开发者可以通过 Aztec Connect 本地开发者测试网在自己的电脑上运行以太坊主网分叉，并可实现更多的控制、更高的可配置性和更快的测试周期。

Nil Foundation 将推出支持以太坊和 Mina 之间跨链的 zkBridge

* 基础设施

ZK 技术开发商 Nil Foundation 发文称，即将推出实现 Mina Protocol 与以太坊之间的桥梁的 zkBridge。在准备生产部署前，还需完成证明生成、优化证明生成器和验证器部署三个步骤。

TreasureDAO 通过弃用 Atlas Mine 的 TIP23 提案，5000 万枚 MAGIC 于 1 月 25 日开始解锁释放；推出玩家标签 TreasureTag，用户可免费申领

*GameFi

Arbitrum 上 NFT 生态系统TreasureDAO 在 Snapshot 发布的 TIP23 提案现已获得通过，根据提案，将分阶段关闭 Atlas Mine（MAGIC 质押挖矿）的释放形式，并改变治理模式。在禁用 Atlas Mine 存款的第一阶段中，在 Atlas Mine 中质押 1 年的约 5000 万枚 MAGIC 将于 1 月 25 日开始解锁释放；第二阶段将会关闭 Atlas Mine 的产出，无需迁移代码；第三阶段将重新制定释放计划。

TreasureDAO 推出玩家标签 TreasureTag，将作为 Treasure 生态游戏资料和玩家声誉的基础。后续 Treasure 还将推出 TreasureXP、Treasure Achieve 和 Treasure Quests 等玩家经验系统以进一步完善生态体系建设，用户需持有对应标签才可参与，用户现可通过 Treasure 官网免费申领 TreasureTag，后续官方将提供 TreasureTag 免费铸造功能，申领成功的用户可铸造相应的 SBT。

StarkNet 现已推出 Cairo 1.0-alpha.2 版本

*Layer2

StarkNet 宣布推出 Cairo 1.0-alpha.2 版本，其新功能包括：词典、合约中的事件、映射存储变量、特征支持、类型推断和方法。目前，团队正致力于使 Cairo 1.0 与之前的 Cairo 完全兼容，并开发支持在 Cairo 1.0 中编写合约的 StarkNet v0.11.0。

Mina 与 Viable Systems 联合推出概念验证，允许用户在浏览器上运行 Web 节点

* 基础设施

轻量级区块链 Mina 及其生态合作伙伴 Viable Systems 联合发布概念验证，允许用户在浏览器上运行 Web 节点。其中 Mina Web 节点是一个区块链节点，可以在几秒钟内设置并通过标准互联网浏览器（如 Chrome 或 Firefox）进行配置，且对硬件的要求较低，用户甚至可以在手机上运行，此外它通过集成 zk 预言机以链接 Web2 和 Web3 世界。

以太坊基金会工程师：已进行了首次影子分叉测试上海升级

* 以太坊

以太坊基金会工程师 Parithosh Jayathi 表示已于北京时间 1 月 23 日 18:40 进行了上海升级的首次影子分叉，以太坊基金会的软件开发人员 Marius Van Der Wijden 称在分叉发生后的几个小时内，使用 Geth 客户端的以太坊节点出现了一些故障。上海升级的公共测试网将在未来几天内上线。

以太坊基金会举行第二轮学术资助轮，将分配 100 万美元资助以太坊学术研究

* 以太坊

美国前总统特朗普（Donald Trump）在其社交媒体网站 Truth Social 账户宣布推出特朗普数字交易卡 NFT，该系列发行在 Polygon 链上，售价 99 美元，总量 45000 个，可使用 ETH 和法定货币购买。

Sui Network 启动 Sui Testnet Wave 2，专注于测试 Gas 机制、代币经济学等

*Layer1

Layer1 公链 Sui Network 宣布 Sui Testnet Wave 2 已上线，与 Wave 1 类似，将运行数周。该测试网将专注于测试 Sui 网络的 epoch 管理、Gas 机制、代币经济学和权益质押等等，将通过两款测试游戏 Frenemies 和 Validator Game 进行压力测试。

Wave 2 与 Wave 1 相比，验证者的数量增加了一倍，从约 20 人增加到约 40 人。在 Wave 1 期间，一些全节点运营商有资格获得奖励，那些符合性能标准的运营商被邀请作为奖励运营商返回 Wave 2。

阿迪达斯成立 Web3 工作室「/// Studio」，负责其全球 Web 3.0 活动的开发与交付

*NFT

阿迪达斯旗下 NFT 项目 Indigo Herz 发推称，阿迪达斯成立 Web3 工作室「/// Studio」（Three Stripes Studio），三条纹分别代表创新、协作和文化。该工作室将负责所有阿迪达斯全球 Web 3.0 活动的开发与交付，致力于定义和构建品牌战略、合作伙伴关系、社区和活动及产品。

免责声明与风险

请查看免责声明、条款和风险，了解本文档的法律声明、其内容及其风险因素。特别是，您应该在进行任何投资之前进行自己的研究 (DYOR)，并注意本文件中与前瞻性陈述相关的风险。