V神强荐Dapp：Dark Forest 真的很有趣

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

对此，以太坊联合创始人 Vitalik 便提醒称：「对于最近很火的 defi，除非你真正了解发生了什么，否则你最好坐在一旁观望，或者只参与很少的资金量。还有很多其它类别的以太坊 Dapp，探索它们吧！」  

随后，Vitalik 就推荐了一款名为 Dark Forest（黑暗森林）的 Dapp，并评价称：「真的很有趣。」 Dark Forest（黑暗森林）是什么？ 

在过去的 18 个月里，以太坊上的零知识（ZK）密码学应用有了突飞猛进的发展。像 iden3 SnarkJS 这样的新工具，首次实现了高效的浏览器内 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「技巧」。