金色觀察｜Dark Forest：零知識證明交互的太空世界_區塊鏈

Dark Forest是一款游戲，其名稱靈感來自于劉慈欣的三體三部曲中第二部的黑暗森林和同名思想實驗。這是一個基于零知識證明的游戲。

基礎信息

Dark Forest的官宣時間是2020年8月，借助以太坊上的應用零知識 (ZK) 密碼學取得了突飛猛進的發展。像 iden3 的SnarkJS這樣的新工具首次實現了高效的瀏覽器內 ZK 證明和驗證。應用 zkSNARK 技術的這些最新進展使我們能夠構建黑暗森林：一個完全分散和持久的 RTS（實時戰略）游戲。

Dark Forest可以稱為是一款 MMO 太空征服游戲，玩家在游戲中發現并征服無限的、程序生成的、密碼指定的宇宙中的行星。

金色晨訊 | 9月15日隔夜重要動態一覽:21:00-7:00關鍵詞：YAM Finance、Compound、SushiSwap、以太坊2.0

1. YAM Finance將于本周五重新啟動Yam協議;

2. 泰國央行啟動基于區塊鏈的政府儲蓄債券發行平臺;

3. Tether聯合創始人Brock Pierce涉嫌證券欺詐;

4. 尼日利亞SEC發布針對數字貨幣及加密公司的監管指南;

5. 本月以太坊2.0將推出新測試網Spadina 與Medalla并行運行;

6. MakerDAO發起多項治理投票;

7. 瑞士加密銀行正合作開發瑞士法郎穩定幣;

8. 韓國投資者就Upbit“荷蘭拍賣”代幣上市策略提起正式投訴;

9. 北京比特大陸法人由詹克團變回吳忌寒;

10. Sushiswap投票已通過 明日將進行1400萬美元SUSHI代幣回購。[2020/9/15]

2020 年 8 月 7 日在以太坊的 Ropsten 測試網絡上發布游戲的第一個測試版v0.3。

金色晨訊 | SEC鐵腕治理ICO欺詐? 比特幣結算量已超場外黃金:1.新西蘭稅務局表示，加密資產不是真正的貨幣，是應稅財產。

2.美國SEC對ICO欺詐公司創始人發布兩項永久禁令。

3.美國加州法官不同意將Ripple投資者訴訟交還給下級法院。

4.漢莎航空發起航空區塊鏈（BC4A）計劃，旨在集合潛在應用。

5..肯尼亞當地的一家商店利用區塊鏈技術交易了第一批西紅柿。

6.蘇寧將借助區塊鏈等經驗為直采供應鏈建設提供支持。

7.花花公子起訴加拿大區塊鏈創業公司GBT存在欺詐行為。

8.以太坊聯合創始人表示投機者正推動加密貨幣價格波動。

9.加密貨幣研究人員表示，比特幣的結算量已超過了場外黃金市場。[2018/8/15]

目前是v0.6版本。登陸需要白名單。

金色財經獨家采訪：Zilliqa CEO Xinshu Dong談EOS漏洞看法:今日，360公司Vulcan（伏爾甘）團隊發現了區塊鏈平臺EOS的一系列高危安全漏洞。對此金色財經獨家采訪了Zilliqa CEO Xinshu Dong，Zilliqa CEO 表示：360公有鏈出現安全漏洞大家都很關心，因為區塊鏈本身的不可逆性和多中心化。一旦出現漏洞，中心化的系統可以快速修復，但是多中心化的系統需要投票分叉解決，經常錯過最好的修復時機。但這次也是給整個區塊鏈領域一個很好的提醒。區塊鏈安全是多方面的，包括協議層的抗攻擊，智能合約語言層的可驗證，當然也包括對智能合約運行時的基本的隔離。其實這些都是在安全研究領域眾所周知的機制，但是需要區塊鏈項目都把這些都設計好、實現好。面對這樣的挑戰，大家需要共同努力。[2018/5/29]

隱藏信息游戲和 zkSNARKs

zkSNARKs 是一種強大的加密工具，可用于驗證秘密數據的計算。例如在類似國際象棋的游戲中使用的零知識證明可能完成證明如下：“我正在將我的騎士從秘密位置 A 移動到秘密位置 B。我不會告訴你位置 A 和 B 實際上在哪里，但是這個證明證明從 A 到 B 的移動確實是一個有效的 L 形。”

了解 zkSNARKs 需要了解兩種游戲：完全信息游戲和不完全信息游戲。

完全信息游戲是所有玩家都知道游戲世界的完整狀態的游戲。例如，跳棋和國際象棋是完整的信息游戲，因為所有玩家總是知道棋盤上所有棋子的位置。同樣，CryptoKitties是一個完整的信息游戲，因為所有玩家都知道誰擁有什么小貓，以及每只小貓的屬性是什么。

不完全信息游戲（也稱為“隱藏信息游戲”）是玩家可能不知道世界完整狀態的游戲。例如，撲克是一種不完全信息游戲，因為您不知道對手手中的牌。星際爭霸和EVE Online等策略游戲也屬于這一類。在星際爭霸和其他 RTS 游戲中，信息隱藏是通過“戰爭迷霧”來強制執行的，游戲地圖的區域在玩家探索之前會被遮蔽。

不完全信息博弈讓玩家探索更豐富、更戲劇化的策略空間。信息不對稱會導致欺騙、條件協調、復雜的社會動態和大規模的緊急玩家行為等。正因為如此，幾乎所有流行的 MMO 游戲都是不完全信息游戲。

此前，在去中心化系統上構建不完整的信息幾乎是不可能的，因為大多數去中心化系統的數據層在設計上是完全開放和透明的。零知識密碼學改變了這一點。使用 zkSNARK，玩家可以在公開提交可驗證有效操作的同時保持私有狀態。

密碼學迷霧

Dark Forest 的核心思想是 SNARK 保護的戰爭密碼學迷霧。在Dark Forest中，玩家不會向核心智能合約提交他們征服的行星坐標，而是提交對行星位置的承諾（通過行星坐標進行哈希運算），以及對有效的零知識證明進行哈希運算。這可以使行星位置保密。

類似地，當玩家想要移動時，他們提交他們要移動的行星的哈希值和他們要移動到的哈希值，以及零知識證明，以證明這是一個“有效”的移動。

由于哈希很難反轉，檢查Dark Forest合約不會告訴你其他玩家的實際位置。找到其他玩家的唯一方法就是暴力搜索。在Dark Forest中，這意味著“哈希”游戲世界的區域，尋找與已經發布的哈希對應的坐標。這種結構引入了只能通過計算才能發現的戰爭迷霧。目前該游戲一直在更新玩法設計，很多硬核玩家在試用。

Tags：ARK區塊鏈DARFORSKYLARK玩區塊鏈的都是什么人DarexTravelTERRAFORM幣

DYDX