黑暗森林是一个MMO(大多数人的在线游戏)游戏。我更感兴趣的是这个游戏使用了零知识证明技术。零知识证明技术的应用越来越广泛:隐私、跨链、ZKRollup、游戏等等。本文介绍了黑暗森林的基本策略以及如何结合零知识证明技术。文章最后介绍了第三轮最新版本v0.6的游戏体验和截图。
目前黑暗森林版本已经迭代到0.6。不过GitHub上的最新代码并没有透露一些电路。要了解它是如何使用零知识证明技术的，可以查看GitHub发布的0.3完整代码。
游戏策略
看看智能契约的源代码，就能对黑暗森林的游戏策略有一定的了解。智能协定的源代码位于以下目录中:
黑暗森林-v0.3/ETH/contracts
整个游戏世界由“行星”组成:
一个星球有两种“资源”:人口和矿业(目前支持白银)。人口和矿业增长缓慢，但有上限。有些矿可以升级。Darkforestinitialize。SOL定义了几个行星类。
资源可以从一个星球转移到另一个星球。行星以一种速度运动。你可以指明你移动时所携带的资源。当你到达的时候，如果你带的人比地球上的人口还多，你就可以占领地球。对于捕获逻辑，您可以检查黑暗森林-v 0.3/eth/contracts/黑暗森林lazyupdate.sol的ApplyRival函数(在移动完成后触发):
如果它要到达自己的星球，人口和银矿会直接积累。如果是别人的星球，如果战斗机数量不够(少于星球人口)，到达星球的人口会相应减少。如果战斗者的数量大于到达星球的人口，占领星球并更新人口(战斗牺牲)。
移动并占领地球是整个游戏的战略重点。因为是移动攻击，每个星球都有坐标。为了增加游戏的战略体验，没有透露星球的具体坐标。这有点像在浩瀚的宇宙中，我们只能观察(枚举)周围有限的空空间(哈希碰撞)，寻找其他星球。为了在不暴露行星坐标的情况下证明行星的正确运动，引入了零知识证明技术。
零知识证明的应用
Asdark forest游戏v0.3使用零知识证明技术证明了与行星位置相关的两个运算:1/行星初始化(init)2/行星运动。电路逻辑在darkforest-v0.3/circuits/中。该电路由circom公司开发。该电路通过groth16协议验证。两种电路都相对简单:
初始化电路
初始电路用于确保创建行星时坐标在范围内。x和y坐标不超过2的32次方。
在半径为r的圆内:
MIMC(x，y)的哈希计算是正确的。X/y是私有输入，哈希值是公共输入。
移动电路
当行星移动时，检查移动范围不能超过半径为distmax的圆:
确定原始坐标的哈希值和移动后的哈希值。显然，特定坐标是私有输入，哈希值是公共输入。
随着黑暗森林版本的迭代，更新了很多新的玩法。位置相关的证明电路比较多，但基本逻辑都差不多。有兴趣的小伙伴可以自己查一下。
体验第三轮v0.6
体验最新游戏版本:v0.6 round 3。目前需要一个邀请码才能参与游戏。
进入游戏主界面如上所述，游戏主界面由四部分组成:1/最左边是工具栏，玩家可以在这里查看自己的星球和神器。游戏支持各种插件。2/最右边是交易记录3，中间是整个宇宙的分布图。从玩家的角度来看，整个宇宙由黑色背景和雾色组成。黑色背景是一个发达的宇宙。雾区是一个未被探索的宇宙。宇宙中有不同层次的行星。4/底部是显影扫描控制条，可以控制是否开始扫描，从什么坐标开始扫描。请注意宇宙地图上的目标图标，表示正在扫描的空房间。进入游戏时，向导会引导你熟悉基本的功能按钮。默认情况下，扫描器会持续扫描unknown 空 rooms。
点击一个星球，查看该星球的具体参数。下图是拍摄到的星球的参数信息:
red:当前人口/人口上限。蓝色:当前矿石数量/矿石上限。粉色:防御率(百分比制)/移动速度/攻击范围。咖啡:装置的“发送”按钮可以将人和矿发送到其他星球。“发送”功能是在相应电路中的移动操作。在运动过程中，两颗行星之间有一条白线。移动的进度将显示在白线上。
不同的星球有不同的属性。有的能出矿，有的有装备，有的能升级，有的不能升级，等等。
每个星球从1级开始。第三轮的目标是夺取并拥有3级以上的行星。离原点越近的星球得分越高，排名也越高。第九个星球也被设定在原点，夺取这个星球的玩家是第一个。
总结:
黑暗森林是一款即时战略游戏。移动并占领地球是整个游戏的战略重点。为了在不暴露行星坐标的情况下证明行星的正确运动，引入了零知识证明技术。
温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信(j7hr0a@163.com)，我们会及时处理和回复。
原文地址"黑暗森林概念，黑暗森林解读"：http://www.guoyinggangguan.com/qkl/186812.html。
微信扫描二维码关注官方微信
▲长按图片识别二维码
