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

Dark Forest是一款MMO（大型多人在线游戏类型）游戏。我比较感兴趣的是这款游戏使用了零知识证明技术。零知识证明技术应用越来越丰富：隐私，跨链，zk Rollup，游戏等等。本文介绍Dark Forest的基本策略，如何结合零知识证明技术。在文章的最后，介绍最新版本v0.6 Round 3的游戏体验和截图。

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

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

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

Starknet推出高性能定序器Madara:7月20日消息，Starknet推出高性能定序器Madara，后者将Starknet为提供创建可定制且高效的应用链的能力。Madara通过使用Substrate框架，增强了Cairo VM的功能，从而生成可证明、安全且灵活的程序。此外，Madara还将提高Starknet的互操作性和链上隐私水平。[2023/7/20 11:07:18]

darkforest-v0.3/eth/contracts

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

一个星球有两种“资源”：人口（population）和矿（目前支持silver-银）。人口和矿慢慢增长，但是有上限。有矿可以升级。DarkForestInitialize.sol定义了几种星球类型。

Treasure DAO推出游戏工作室Darkbright:据官方消息，Treasure DAO推出游戏工作室Darkbright，将负责生态内Smolverse NFT项目游戏的开发。[2023/3/3 12:40:12]

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

DeFi投资基金Mechanism Capital联合创始人Daryl Lau已离职:10月19日消息，DeFi投资基金MechanismCapital联合创始人DarylLau发推表示已从MechanismCapital离职。DarylLau是CoinGecko前研究分析员，与AndrewKang以及BenjaminSimon共同成立聚焦DeFi的投资基金MechanismCapital，提供资金支持新的金融系统和应用、构建生态系统工具、开展研究并积极参与去中心化治理。[2021/10/19 20:39:45]

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

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

Boundary DAO 报名竞选ZT DAO去中心化社区组织:据官方消息，ZT基金会已经推出ZT DAO去中心化社区组织，并于6月1日至6月30日期间启动报名竞选。此次活动吸引了圈内众多区块链社区和区块链爱好者参与，如Boundary DAO 已经成功报名，且锁仓10万枚ZTB。

ZT DAO是由区块链行业的人士和区块链爱好者共同组建的区块链社区，隶属于ZT基金会的去中心化社区组织，旨在以区块链技术为应用底层，丰富和完善ZT生态。同时ZT基金会将拿出1000万枚ZTB用于奖励所有ZT DAO的参与者和贡献者。[2021/6/7 23:17:33]

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

DappRadar报告：DeFi热潮推动2020年DApp交易量涨超1100%:DappRadar发布的最新报告显示，到2020年为止，DApp的交易量已经超过2700亿美元，其中95%属于以太坊的DeFi生态系统。比去年210亿美元的总额增长了1178%。该报告指出，全年都有资金从BTC流向ETH，导致ETH价格从2020年1月1日的0.018 BTC上涨至目前的0.028 BTC价格。DappRadar推测，DeFi诱人的收益率是“比特币流向以太坊的主要诱因”，WBTC和renBTC在利用比特币巨大的流动性储备为DApps提供资金方面发挥了关键作用。报告将2020年描述为“DApps试图不惜一切代价增长的一年”。报告发现，仅10个DeFi DApps就占以太坊总交易量的87%。该报告指出，以太坊的局限性在今年变得明显，因为以太坊网络“在可扩展性方面实际上遇到了瓶颈”，平均Gas价格比去年高出几倍。（Cointelegraph）[2020/12/18 15:39:50]

init电路

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

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

mimc(x,y) 的hash计算正确。x/y是private input，hash值是public input。

move电路

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

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

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

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

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

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

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

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

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

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

标签：DARARKDARKRESTDarsekQWARKDarkPayCoinInterest Protocol

波场热门资讯