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

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的游戏策略有一定的了解。智能合约的源代码在目录:

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

darkforest-v0.3/eth/contracts

整个游戏宇宙由“星球”(Planet)组成:

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

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

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

DARK.LAND首款中土世界观故事流游戏今晚20点上线发布:据官方消息,DARK.LAND将于北京时间2021年5月2日20点正式上线发布。DARK.LAND是Dark团队开发的一款基于区块链的中土世界观故事流游戏,游戏致力于打造一个公平透明的多人游戏环境。用户将参与整个故事情节,一起屠龙,获得屠龙徽章与勇敢者徽章。[2021/5/2 21:18:19]

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

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

EfficientFrontier获AlamedaResearch200万美元投资:位于以色列特拉维夫的加密货币做市商EfficientFrontier宣布获得AlamedaResearch的200万美元投资。该笔融资额将用来扩张资产负债表,并且建立其在加密资产领域的地位。EfficientFrontier表示他们处理的月交易量接近100亿美元,横跨50个加密货币交易所,涵盖超过1000个交易对,包括现货和衍生品市场。[2021/3/15 18:45:50]

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

动态 | DappRadar完成233万美元种子轮融资 纳斯帕斯投资基金领投:9月5日,DApp应用发现和分析平台DappRadar宣布完成233万美元种子轮融资,国际互联网集团和全球最大的科技投资者之一纳斯帕斯(Naspers,又称南非报业)通过纳斯帕斯投资基金(Naspers Vetures)领投,Blockchain.com Ventures和Angel Invest Berlin参投。DappRadar将会把投资主要用于研发、开发新功能以扩展其业务,实现下一阶段的增长。[2019/9/5]

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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

SHIB对话黄孙权、MetaDAO:在元宇宙复现「乡建中国」

采访者:唐晗、白鱼 访谈嘉宾:Flynn、黄孙权编者按:2021年4月9日-5月7日,由中国美术学院视觉中国协同创新中心空间生产与乡土实践研究组主办的“乡建中国思想展”在杭州市萧山区高帆摄影艺术馆暨高帆纪念馆举办.

莱特币OpenLaw:自动化法律协议

启动时间: OpenLaw于2017年首次发布。于2018年8月2日推出并托管在Eventbrite平台。OpenLaw通过重新设想法律协议的创建、执行和存储,解决合约协议中存在的不同问题.

[0:15ms0-1:314ms