DAR:Dark Forest ：采用零知识证明技术的游戏_DARK

DarkForest是一款MMO游戏。我比较感兴趣的是这款游戏使用了零知识证明技术。零知识证明技术应用越来越丰富：隐私，跨链，zkRollup，游戏等等。本文介绍DarkForest的基本策略，如何结合零知识证明技术。在文章的最后，介绍最新版本v0.6Round3的游戏体验和截图。

目前DarkForest版本已经迭代到0.6。但是，github上的最新的代码并没有公开电路的部分。为了方便理解它如何采用零知识证明技术，可以查看github公布的0.3的完整代码：

https://github.com/darkforest-eth/darkforest-v0.3.git

游戏策略

看看智能合约的源代码，可以对DarkForest的游戏策略有一定的了解。智能合约的源代码在目录：

darkforest-v0.3/eth/contracts

整个游戏宇宙由“星球”组成：

萨尔瓦多聘请《Bitcoin Standard》作者担任国家比特币办公室经济顾问:金色财经报道，据萨尔瓦多国家比特币办公室官推宣布，该国已聘请《Bitcoin Standard》作者 Saifedean Ammous 担任国家比特币办公室经济顾问，据悉 Saifedean Ammous 还得到萨尔瓦多总统 Nayib Bukele 的接见并分享了闪电网络开发者计划。[2023/5/31 11:48:54]

一个星球有两种“资源”：人口和矿。人口和矿慢慢增长，但是有上限。有矿可以升级。DarkForestInitialize.sol定义了几种星球类型。

DappRadar研究人员：Arbitrum空投对DeFi表现出兴趣:金色财经报道，DappRadar 的研究主管 Pedro Herrera 表示，传统市场的银行业紧张局势以及监管机构对中心化交易所的打击可能会促使用户转向去中心化金融应用程序。如果你开始看到 DeFi 的这些用例如何开始适应并赋予你更多的自主权来基本管理自己的资产和投资，这就是 DeFi 被高度使用的原因。像 Arbitrum 这样的项目正在他们的社区中创造一种忠诚度和参与感，这反过来又可以“吸引开发人员构建更好的产品，并最终吸引更多用户参与该项目。

DappRadar 的一份新报告发现，第一季度 DeFi 锁定的总价值从去年第四季度的 600 亿美元增长了 37% 至 833 亿美元。[2023/4/4 13:43:11]

从一个星球能将资源移动到另外一个星球。星球的移动存在速度。移动的同时可以指明携带的资源。当到达时，如果携带的人员超过该星球的人口，就可以攻占星球。攻占逻辑可以查看darkforest-v0.3/eth/contracts/DarkForestLazyUpdate.sol的applyArrival函数：

DApp商店平台DappRadar推出跨链Token Staking平台:金色财经报道，DApp商店平台DappRadar宣布推出跨链Token Staking平台，专注于解决不同区块链之间的质押障碍，据称此举或是业内首创。根据 DappRadar 的说法，他们提出的跨链质押平台不需要使用桥接资产，而且跨链代币质押机制确保投资者不会仅限于与 EVM 兼容的区块链。 （finbold）[2022/7/1 1:45:15]

如果是到达自己的星球，人口和银矿直接累加。如果是其他人的星球，如果作战人数不够，到达星球的人口相应减少。如果作战人数大于到达星球人口，攻占星球，并更新人口。

星球的移动和攻占是整个游戏的策略重点。既然是移动攻击，每个星球有一个坐标。为了增加游戏的策略体验，星球的具体坐标并不公开。有点像在浩瀚的宇宙中，只能观察周围有限空间寻找其他星球。为了在不公开星球坐标的情况，还能证明星球的移动正确，引入了零知识证明技术。

Fold推出类似PokémonGO的游戏FoldAR，用比特币奖励玩家:金色财经报道，加密货币公司Fold推出了一款类似于PokémonGO的游戏，用比特币奖励玩家。该游戏于8月首次宣布，当时Fold为其开设了候补名单。今天这款游戏已经正式发布，Fold表示已经与PokémonGO的创作者Niantic合作。该游戏称为FoldAR（增强现实），可在Fold应用程序中使用。它允许玩家在“每10分钟”搜索比特币和其他奖励的同时探索周围环境。（The block）[2021/11/24 22:13:02]

零知识证明应用

asDarkForest游戏V0.3利用零知识证明技术证明了两个和星球位置有关的操作：1/星球初始化(init)2/星球移动(move)。电路逻辑在darkforest-v0.3/circuits/中。电路采用circom开发。电路的证明采用Groth16协议。两个电路相对都比较简单：

init电路

init电路用来确保星球创建的时候，坐标在范围内。x和y坐标都不超过2^32次方。

动态 | Radar推出新闪电网络项目ION:据bitcoinexchangeguide报道，技术初创公司Radar刚刚发布了一个新的闪电网络（LN）项目。该项目被称为ION，是一个交互式指南，允许用户了解闪电网络的工作原理。[2019/3/5]

在半径为r的圆形范围内：

mimc(x,y)的hash计算正确。x/y是privateinput，hash值是publicinput。

move电路

在星球移动时，检查移动的范围不能超过半径为distMax的圆：

确定原始坐标的hash值以及移动后的hash值，显然具体坐标是privateinput，hash值是publicinput。

随着DarkForest版本的迭代，更新了不少新的玩法。和位置有关的证明的电路也变多了，但是基本逻辑类似，感兴趣的小伙伴可以自行查看。

体验v0.6Round3

体验了一下最新的游戏版本：v0.6Round3。目前参加游戏需要邀请码。

进入游戏的主界面如上，由4部分组成：1/最左边是工具栏，玩家可以查看自己的星球和装备。游戏支持各种插件。2/最右边是交易记录3/中间是整个宇宙星球分布图。从某个玩家的视角看，整个宇宙由黑色背景和雾色组成。黑色背景是已经开拓的宇宙世界。雾色区域是没有开拓的宇宙世界。在开拓的宇宙世界中有各种等级的星球。4/底部是开拓扫描控制栏，可以控制扫描是否开始，从什么坐标扫描。注意在宇宙分布图中的靶向图标，这个图标就是指明正在扫描的宇宙空间。进入游戏的时候，向导程序会引导熟悉基本的功能按钮。默认情况下，扫描程序不停的扫描未知宇宙空间。

点击某个星球，可以查看该星球的具体参数。下图是攻占的一个星球的参数信息：

红色：当前人口数/人口上限。蓝色：当前的矿数/矿上限。粉红色：防御率/移动速度/攻击范围。咖啡色：装备。“send”按钮可以发送人口和矿到其他星球上。“send”功能就是对应电路中的move操作。在move的移动过程中，两个星球中间有白色连线。白色连线上会显示移动的进度。

各种星球的属性不同，有些可以产矿，有些有装备，有些能升级，有些不能升级等等。

每个星球从level1开始。Round3的目标是攻占并拥有level3以上的星球。离原点越近的星球，分数越高者排名越高。在原点还设置了level9的星球，攻占了这个星球的玩家为第一名。

总结：

DarkForest是一款实时策略游戏。星球的移动和攻占是整个游戏的策略重点。为了在不公开星球坐标的情况，还能证明星球的移动正确，引入了零知识证明技术。

标签：DARFORERESDARKradar币最新消息ForesightNew Frontier PresentsDarkShield Games Studio

比特币热门资讯