一文读懂V神的新欢：Dark Forest

昨天刚烤完番薯（YAM），今天新上线的CRV又完成一次标准的开盘即颠覆戏剧，DeFi固然已成为了一种趋势，但不理性也让不少“新韭菜”吃了大亏。

对此，以太坊联合创始人Vitalik便提醒称：

“对于最近很火的defi，除非你真正了解发生了什么，否则你最好坐在一旁观望，或者只参与很少的资金量。 还有很多其它类别的以太坊Dapp，探索它们吧！”

随后，Vitalik就推荐了一款名为Dark Forest（黑暗森林）的Dapp，并评价称：

“真的很有趣。”Dark Forest（黑暗森林）是什么？

在过去的18个月里，以太坊上的零知识（ZK）密码学应用有了突飞猛进的发展。像iden3SnarkJS这样的新工具，首次实现了高效的浏览器内ZK证明和验证。这些最新的应用zkSNARK技术进展，使得我们能够构建Dark Forest（黑暗森林）：一款完全去中心化和可持续的RTS（实时策略）游戏。

第一个测试版

Dark Forest（黑暗森林）是一款MMO太空征服游戏，玩家可以在一个程序生成的、无限的加密宇宙中发现并征服行星。虽然最终的黑暗森林宇宙最终将持续存在，但该游戏的第一个版本将是有时间限制的，而beta宇宙将会定期更新。

8月7日，Dark Forest（黑暗森林）游戏的一个测试版 v0.3部署在了以太坊的Ropsten测试网，这个版本会持续一周的时间。此外项目方已为第一轮测试赛的获胜者分配了1024 DAI的奖金池。然而，在第一轮测试中，行星和游戏资产将没有实际的经济价值。

你可以在这里阅读更多细节。

Dark Forest v0.3

隐藏信息游戏与zkSNARKs

zkSNARKs是一种强大的密码学工具，它可以用来验证秘密数据的计算。在类似象棋游戏中使用的零知识证明，可能会证明如下内容：

“我将我的马从秘密地点A移到秘密地点B。我不会告诉你地点A和地点B的实际位置，但这个proof证明了从A到B的移动确实是有效的L形。”

为了理解zkSNARKs可能对数字世界产生的影响，理解两种游戏类型之间的区别是很重要的：（1）完全信息游戏和（2）不完全信息游戏。

完全信息游戏是指所有玩家都知道游戏世界全部状态的游戏。例如，跳棋和国际象棋都是完全的信息游戏，因为所有棋手都知道棋盘上的棋子。同样，加密猫也是一个完全的信息游戏，因为所有玩家都知道谁拥有什么小猫，以及每只小猫的属性是什么。

而不完全信息游戏（也称为“隐藏信息游戏”）是指玩家可能不知道世界全部状态的游戏。例如，扑克是一种不完全信息游戏，因为你不知道对手手中的牌。像星际争霸和EVE Online这种战略游戏也属于不完全信息游戏这一类。在星际争霸和其他RTS游戏中，信息隐藏是通过“战争迷雾”来实现的 （指：游戏地图上的区域会被遮蔽，直至玩家发现为止）。

不完全信息游戏允许玩家探索更丰富、更具戏剧性的策略空间。信息不对称使得欺骗、条件协调、复杂的社会动态等成为可能。正因为如此，几乎所有流行的MMO游戏都是不完全信息游戏。

截至目前，在去中心化系统上建立不完全信息设置几乎是不可能的（除了一些非常有限的例外 —— 见注释）。这是因为大多数去中心化系统的数据层在设计上是完全开放和透明的。如果完整的游戏状态存储在一个透明的数据层中，任何人都可以查看，那就不会有私人信息的概念。

零知识加密改变了这一点。有了zkSNARKs，玩家就可以保持隐私状态，同时公开提交可验证的有效动作。这使得我们可以建立像Dark Forest（黑暗森林）这样的游戏，它依赖于由zkSNARKs保护的“密码学战争迷雾”。

注释：有一些例外，其中一种是commit-reveal游戏，其中临时的私人信息最终会被公开。此类游戏可以在去中心化的环境中实现，其中包括扑克类的游戏。所有加密货币也确实具有以私钥形式内置的非常有限的私有状态概念。请注意，公钥签名方案从技术上讲是一种零知识协议。

密码学战争迷雾

Dark Forest（黑暗森林）背后的一个核心思想是受SNARK保护的秘密学战争迷雾。在“黑暗森林”中，玩家无需提交他们征服了核心智能合约的行星坐标，而是提交他们对行星位置的承诺（通过哈希行星坐标），以及哈希有效的零知识证明。这使行星的位置保持秘密。

类似地，当玩家想要移动时，他们会提交他们要移动的星球的哈希值以及要移动到的星球哈希值，以及证明这是“有效”移动的一个零知识证明。

由于哈希值难以逆转，因此查看Dark Forest（黑暗森林）合约将不会告诉你其他玩家实际在哪里。找到其他玩家的唯一方法就是暴力搜索。在黑暗森林中，这意味着“哈希”游戏宇宙的各个区域，以查找与已发布的哈希相对应的坐标。这种结构引入了一种只能通过计算才能揭开的战争迷雾。

为了给这个世界提供神韵以及其他有趣的属性，Dark Forest还在此核心思想的基础上编写了许多更复杂的zkSNARK“技巧”。

致谢：

Dark Forest（黑暗森林）的灵感来源于刘慈欣的《三体》三部曲，特别是第二部小说《黑暗森林》和同名的思想实验。