上帝之爱之五：黑暗森林

作者：洒脱

昨天刚烤完YAM，今天新推出的CRV又完成了另一个标准的开放，那就是颠覆剧。当然，非公有制已成为一种趋势，但不合理也让不少“新韭菜”蒙受巨大损失。

在这方面，以太坊联合创始人维塔利克提醒我们：

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

随后，vitalik推荐了一个名为dark forest的DAPP，并评论说：

“真的很有趣。”

什么是黑森林？

在过去的18个月里，零知识（zk）密码技术在以太坊上的应用取得了很大进展。新工具iden3snarkjs首次实现了高效的浏览器ZK认证和验证。zksnark技术的这些最新发展使我们能够建立一个完全去中心化和可持续的RTS游戏《黑暗森林》。

第一个测试版

黑暗森林是一款MMO太空征服游戏。玩家可以在由程序生成的无限加密的宇宙中发现并征服行星。虽然最终的黑暗森林宇宙最终会存在，但游戏的第一个版本将是有时间限制的，并且beta宇宙将定期更新。8月7日，黑暗森林游戏v0.3的测试版被部署在以太坊的ropsten测试网络上，该测试网络将持续一周。此外，首轮测试赛的获胜者还获得了1024戴的奖池。然而，在第一轮测试中，行星和游戏资产将没有实际的经济价值。

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

黑森林v0.3

隐藏信息博弈与zksnarks

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

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

为了了解zksnarks对数字世界可能产生的影响，了解这两种游戏之间的区别是很重要的：（1）完全信息博弈；（2）不完全信息博弈。完全信息游戏是一种所有玩家都知道游戏世界的整体状态的游戏。例如，跳棋和象棋是完全的信息游戏，因为所有的玩家都知道棋盘上的棋子。类似地，cryptocat是一个完整的信息游戏，因为所有玩家都知道谁拥有什么小猫以及每只小猫的属性是什么。

不完全信息游戏（也称为“隐藏信息游戏”）是玩家可能不知道整个世界的状态的游戏。例如，扑克是一种不完全信息游戏，因为你不知道对手手中的牌。战略游戏如星际争霸和夏娃在线也属于不完全信息类游戏。在星际争霸和其他RTS游戏中，信息隐藏是通过“战争迷雾”实现的。

不完全信息博弈使玩家可以探索更丰富、更具戏剧性的策略空间。信息不对称使作弊成为可能，协调各种条件和复杂的社会动态。正因为如此，几乎所有流行的MMO游戏都是不完全信息游戏。

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

零知识加密改变了这一点。使用zksnarks，玩家可以维护隐私，公开提交可验证和有效的行为。这使得我们可以建立像黑暗森林这样的游戏，它依赖于zksnarks保护的“密码学战争之雾”

注意：有一些例外，其中一个例外是提交-返回游戏，在这种游戏中，临时私人信息最终会被公开。这种游戏可以在去中心化的环境中实现，包括扑克游戏。所有的加密货币都有一个非常有限的概念，即私有国家内置为私钥。注意，公钥签名方案在技术上是一个零知识协议。

密码学中的战争迷雾

黑暗森林背后的核心思想之一是由snark保护的秘密战争迷雾。在“黑暗森林”中，玩家不必提交他们已经攻克核心智能合约的行星坐标，而是提交他们对行星位置的承诺（通过散列行星坐标），以及散列有效的零知识证明。这使行星的位置保持秘密。

同样，当玩家想要移动时，他们会提交他们想要移动的星球的散列值和他们想要移动到的星球的散列值，以及零知识证明这是一个“有效”的移动。

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

为了给世界提供神韵和其他有趣的特性，黑暗森林基于这个核心思想编写了许多更复杂的zksnark“技巧”

谢谢：

《黑森林》的灵感来源于刘慈欣的三体三部曲，尤其是第二部小说《黑暗森林》及其同名思想实验。