ARK:金色觀察｜Dark Forest：零知識證明交互的太空世界_NAR

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

基礎信息

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

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

金色財經合約行情分析 | BTC價格下跌市場情緒低落，持倉量持續增長:據火幣BTC永續合約行情顯示，截至今日16:00（GMT+8），BTC價格暫報8855美元（-4.38%），20:00（GMT+8）結算資金費率為0.010000%。

昨日晚至今，BTC在小幅反彈后持續下跌， 最低至8600美元，成交量出現放大。根據火幣交割合約數據，BTC季度合約成交額大幅上漲，持倉量保持上漲趨勢，精英多頭占比穩定，季度合約處于貼水狀態。市場整體情緒較低，但可注意到近幾天下跌行情持倉量處于持續增長狀態，投資者需注意風險，不宜追漲殺跌。

USDT于火幣全球站OTC的報價為7.11元，溢價率為-0.40%。[2020/5/25]

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

金色沙龍 | 潘超：對于非底層公鏈的應用層而言，雙幣機制是必需的:在今日舉行的《MakerDAO—雙幣機制如何取得更大發展》為主題的金色沙龍中，MakerDAO 中國區負責人潘超表示，MakerDAO 系統里有兩種代幣。一種是穩定幣 Dai，一種是治理和權益代幣 MKR，可以把 Dai 理解成 Maker 的產品，MKR 是系統的股票。MKR 持有者管理 Dai 系統的穩定，在系統運行良好時獲得收益，管理不善時自動兜底。這是一種合理的激勵機制。

對于非底層公鏈的應用層而言，雙幣機制是必需的。試圖用單一的代幣捕獲和保障整個應用（尤其是金融應用）的價值，要么是目前沒有可用的產品，要么是之后沒有人對產品負責。[2020/4/22]

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

金色財經訊:幣多寶發布新公告：幣多寶將于北京時間2017年9月28日20:00前，下線包含比特幣在內的所有虛擬幣交易業務，并于10月15日關停所有業務。[2017/9/29]

隱藏信息游戲和zkSNARKs

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

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

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

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

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

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

密碼學迷霧

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

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

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

Tags：ARKNARDARKOREBenchmarkBinaryX (old)Dark MatterBFCORE

AAVE