DAR: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的游戲策略有一定的了解。智能合約的源代碼在目錄：

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

鏈游Dark Forest v0.6版本將于2月18日開啟最后一輪:2月14日，鏈游DarkForest宣布v0.6版本的第五輪也是該版本最后一輪游戲將于2月18日開啟，至2月28日結束。新一輪游戲的主題是：JunkWars。

新一輪游戲將引入Spaceships道具，作為星球探索的輔助道具，Spaceships可在任何星球著陸，而不受星球所有權影響，同時改變其著陸星球的特定屬性。此外，與此前相似的是前63名玩家將獲得Valhalla的DarkForestNFT。DarkForest將向上一輪成功得分的玩家發送白名單密鑰，還會向部分候補名單內的用戶發送密鑰。[2022/2/14 9:50:17]

整個游戲宇宙由“星球”（Planet）組成：

黑客組織Darkside已收到價值超9000萬美元的比特幣:金色財經報道，區塊鏈分析公司Elliptic今天發布的一份報告稱，到目前為止，黑客組織DarkSide的錢包已經收到了總價值超過9000萬美元的比特幣贖金。共99個組織在被DarkSide的勒索軟件感染后向其錢包進行了47項付款。此前消息，美國最大的成品油管道運營商Colonial Pipeline于5月7日遭受DarkSide攻擊后支付了75枚比特幣贖金，隨后，DarkSide組織決定在其服務器被劫持并關閉后自行解散。[2021/5/19 22:17:07]

一個星球有兩種“資源”：人口（population）和礦（目前支持silver-銀）。人口和礦慢慢增長，但是有上限。有礦可以升級。DarkForestInitialize.sol定義了幾種星球類型。

DARK.LAND首款中土世界觀故事流游戲今晚20點上線發布:據官方消息，DARK.LAND將于北京時間2021年5月2日20點正式上線發布。DARK.LAND是Dark團隊開發的一款基于區塊鏈的中土世界觀故事流游戲，游戲致力于打造一個公平透明的多人游戲環境。用戶將參與整個故事情節，一起屠龍，獲得屠龍徽章與勇敢者徽章。[2021/5/2 21:18:19]

從一個星球能將資源移動到另外一個星球。星球的移動存在速度。移動的同時可以指明攜帶的資源。當到達時，如果攜帶的人員超過該星球的人口，就可以攻占星球。攻占邏輯可以查看darkforest-v0.3/eth/contracts/DarkForestLazyUpdate.sol的applyArrival函數（當移動完成后觸發）：

動態 | DappRadar將在其平臺中添加WAX:去中心化應用程序（dApps）的數據提供商DappRadar宣布將在其平臺中添加WAX。從現在開始，DappRadar將過濾運行在WAX區塊鏈上的Dapps數據。（Cryptoslate）[2019/12/11]

如果是到達自己的星球，人口和銀礦直接累加。如果是其他人的星球，如果作戰人數不夠（小于星球人口），到達星球的人口相應減少。如果作戰人數大于到達星球人口，攻占星球，并更新人口（作戰犧牲）。

星球的移動和攻占是整個游戲的策略重點。既然是移動攻擊，每個星球有一個坐標。為了增加游戲的策略體驗，星球的具體坐標并不公開。有點像在浩瀚的宇宙中，只能觀察（枚舉）周圍有限空間（hash碰撞）尋找其他星球。為了在不公開星球坐標的情況，還能證明星球的移動正確，引入了零知識證明技術。

asDark Forest游戲V0.3利用零知識證明技術證明了兩個和星球位置有關的操作：1/ 星球初始化(init) 2/ 星球移動(move)。電路邏輯在darkforest-v0.3/circuits/中。電路采用circom開發。電路的證明采用Groth16協議。兩個電路相對都比較簡單：

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是一款實時策略游戲。星球的移動和攻占是整個游戲的策略重點。為了在不公開星球坐標的情況，還能證明星球的移動正確，引入了零知識證明技術。

Tags：DARDARKARKRESDarkPayCoinDark MatterMarkaccyUnityVentures

AVAX