Dark Forest ：采用零知識證明技術的游戲_DAR:Forever Burn

DarkForest是一款MMO游戲。我比較感興趣的是這款游戲使用了零知識證明技術。零知識證明技術應用越來越豐富：隱私，跨鏈，zkRollup，游戲等等。本文介紹DarkForest的基本策略，如何結合零知識證明技術。在文章的最后，介紹最新版本v0.6Round3的游戲體驗和截圖。

目前DarkForest版本已經迭代到0.6。但是，github上的最新的代碼并沒有公開電路的部分。為了方便理解它如何采用零知識證明技術，可以查看github公布的0.3的完整代碼：

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

游戲策略

看看智能合約的源代碼，可以對DarkForest的游戲策略有一定的了解。智能合約的源代碼在目錄：

軟件工程師Casey Rodarmor通過分叉比特幣Ordinals協議啟動萊特幣Ordinals項目:2月21日消息，上周日，軟件工程師Anthony Guerrera通過分叉比特幣Ordinals的GitHub存儲庫，在GitHub上啟動了萊特幣Ordinals項目。Guerrera表示，之所以選擇萊特幣，是因為它是Ordinals可以在其上運行的唯一其他區塊鏈，因為它對比特幣中的SegWit和Taproot技術進行了軟分叉，這兩者對于Ordinals的運行至關重要。Guerrera透露，其做此項目是為了應匿名推特用戶“Indigo Nakamoto”發起的挑戰。

該用戶曾在2月10日表示將向可將Ordinals移植到萊特幣的人提供5LTC（約500美元）的獎勵。不過在Guerrera接受這個挑戰前，聯系了Nakamoto，并要求其將賞金從5LTC增加到22LTC，約合2100美元。

此前1月30日消息，軟件工程師Casey Rodarmor在比特幣主網上創建了NFT協議“Ordinals”。（Decrypt）[2023/2/21 12:19:01]

darkforest-v0.3/eth/contracts

網石子公司與網漫平臺Kidari Studio合作，將共同開發NFT項目:4月11日消息，韓國手游巨頭網石旗下網石FC宣布，其與韓國網漫平臺Kidari Studio簽署戰略合作伙伴關系，共同開發游戲內容和區塊鏈平臺業務。根據該協議，網石FC將使用Kidari Studio擁有的知識產權（IP）來開發游戲和元宇宙內容，并計劃共同開發NFT項目。Kidari Studio將加入Netmarble FNC的區塊鏈平臺，并擴大其網絡漫畫和網絡小說平臺的用戶群。（首爾經濟日報）[2022/4/11 14:17:04]

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

一個星球有兩種“資源”：人口和礦。人口和礦慢慢增長，但是有上限。有礦可以升級。DarkForestInitialize.sol定義了幾種星球類型。

Darkside黑客組織向兩非營利組織捐贈1.76枚比特幣:10月20日消息，Darkside黑客組織已將其從從勒索軟件漏洞中獲得的比特幣捐贈給了兩個非營利組織。非營利組織Water Project和Children International已證實均收到了0.88 BTC（約合10,000美元）。（Crypto Potato）[2020/10/20]

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

金色快評 | 花旗推出DAR：降低華爾街大買家投資加密貨幣風險:花旗銀行開發了一種稱為數字資產收據（DAR）的工具。它的工作方式與美國托管收據（ADR）非常相似。這一工具的推出意味著，花旗銀行提出了一種可能是最直接的投資加密貨幣的方式，而無需真正擁有加密貨幣。DAR相當于美國存托憑證(American Depository Receipt)，美國存托憑證存在的意義是外國股票由一家銀行持有，然后由銀行簽發存托憑證，讓美國投資者能夠投資那些不在美國交易所交易的外國股票。而DAR工具的體系下，加密貨幣由托管方持有，DAR由花旗集團發行，這將把加密貨幣置于現有的監管體制下，并讓資產管理公司和對沖基金等華爾街大投資者以一種風險較低的方式投資于加密貨幣市場。[2018/9/10]

聲音 | 密碼學高級研究員Vidyasagar Potdar：許多加密貨幣交易所未建立足夠的密碼安全壁壘:根據Itp.net消息，近日，科廷大學高級研究員Vidyasagar Potdar進行的一項研究表明，現今流行的11種加密貨幣交易所均存在密碼安全性問題，這些安全漏洞可能直接導致用戶的加密貨幣或是用戶憑證被盜用，交易所也會因此喪失聲譽和公信力。同時，Potdar還認為交易所應該普遍提高安全標準，因為安全性對于金融交易至關重要，這也是用戶選擇交易所的信心來源。[2018/9/4]

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

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

零知識證明應用

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

Tags：DARDARKARKFOREDARK幣DarkPayCoinMARKO價格Forever Burn

火幣交易所