作者：思嘉

自去年8月发布第一个测试版以来，区块链游戏Dark Forest热度只增不减，目前仅twitter账户就有1.48万粉丝，V神也在YouTube上推荐。

Dark Forest是一款建立在以太坊上的去中心化实时战略（RTS）游戏，灵感来源于刘慈欣《三体》三部曲中的第二部小说《黑暗森林》及其同名思想实验。

Dark Forest是一款MMO太空征服游戏，玩家在一个无限的、程序化生成的、加密指定的宇宙中发现并征服星球。

在游戏中，星球分为两种：一种是普通星球，另一种是有银矿的星球。第二种星球可以不断产生银（Siliver），普通星球需要银来进行升级，提高属性。

玩家所要做的就是不断地探索、占领新的星球，扩张自己的生存区域。

目前来看Dark Forest和Dapp上其他的小游戏没什么太大区别，到底是什么让它火了一年仍热度不消呢？

隐藏信息游戏和zkSNARKs

由于以太坊上的应用零知识（ZK）密码学在过去一年有了飞跃性的发展，像iden3的SnarkJS这样的新工具首次实现了高效的、浏览器内的ZK证明和验证。

这些应用zkSNARK技术的最新进展使得Dark Forest建立了一个基于zkSNARKs的隐藏信息游戏。

zkSNARKs是一个强大的密码学工具，可以用来验证秘密数据的计算。

在一个类似国际象棋的游戏中使用零知识证明可能会得到这样的证明：”我把我的马从秘密地点A移到秘密地点B，我不会告诉你A和B的实际位置，但可以证明从A到B的移动确实是一个有效的L型。”

为了理解zkSNARKs对数字世界可能产生的影响，首先是要理解两类游戏的区别：完全信息游戏和不完全信息游戏。

完全信息游戏

所有玩家都知道游戏宇宙的全部状态的游戏。

例如跳棋和国际象棋是完全信息游戏，所有玩家总是知道棋盘上所有棋子的位置。

因为所有玩家都知道谁拥有什么猫咪，以及每个猫咪的属性是什么，所以CryptoKitties是一个完整的信息游戏。

不完全信息游戏

也被称为 “隐藏信息游戏”，指玩家可能不知道世界的全部状态的游戏。

例如扑克是一种不完全信息游戏，你不知道你的对手手里有哪些牌。像《星际争霸》和《EVE Online》这样的战略游戏也属于这个类别。

在《星际争霸》和其他RTS游戏中，信息隐藏是通过 “战争迷雾 “来实施的——游戏地图上玩家未探索的区域是都是未知的。

不完全信息游戏给予玩家机会，去探索更丰富、更戏剧性的策略空间。

由于信息不对称可能会触发诸如欺骗等许多大规模的突发玩家行为，所以几乎所有流行的MMO游戏都是不完全信息游戏。

在此之前几乎不可能在去中心化系统上建立不完全信息设置，因为大多数去中心化系统的数据层在设计上是完全开放和透明的。

如果将完整的游戏状态存储在一个任何人都可以检查的透明数据层中，就不可能有私人信息的概念。

零知识密码学改变了这一点。有了zkSNARKs，玩家可以保留私人状态，同时公开提交可验证有效的行动。

加密的战争迷雾

Dark Forest的一个核心理念是SNARK安全的加密战争迷雾。

在Dark Forest中，玩家不向核心智能合约提交他们所占领的星球的坐标，而是提交对其星球位置的承诺（通过对星球坐标的哈希运算），以及证明哈希运算有效的零知识证明，这就保障了星球位置的保密性。

而当玩家想要移动时，他们提交他们要移动的星球的哈希值和他们要移动到的星球哈希值，以及一个零知识证明来证明这构成了一个 “有效 “的移动即可。

由于哈希值很难被逆转，检查Dark Forest合同不会告诉你其他玩家的实际位置。找到其他玩家的唯一方法就是简单粗暴地搜索。

在Dark Forest中，这意味着对游戏宇宙的区域进行 “散列”，寻找与已经公布的散列对应的坐标。将战争迷雾引入这种结构，使其只有通过计算才能揭开。

为了赋予这个游戏世界其他更为有趣的属性，Dark Forest还在这个核心思想的基础上添加了一些更复杂的zkSNARK 技巧。效果如何让我们拭目以待。

今年年初Dark Forest 移动到速度相对较快、手续费相对低廉的xDai 网络上后，更加火爆了。

前几天刚结束了V0.6版本的第四轮活动，包括最近的这次活动在内，Dark Forest 场场活动都会在技术和玩法上有一些或多或少的突破，当然取得的效果也是非常不错。

目前YouTube和其他社交媒体上有不少Dark Forest 的高级别玩家发布了攻略，如果你在童年时候对飞机大战之类的街机游戏比较感兴趣，那么Dark Forest 也不失为一个怀旧的好方法。