Dark Forest是一款遊戲，其名稱靈感來自於劉慈欣的三體三部曲中第二部的黑暗森林和同名思想實驗。這是一個基於零知識證明的遊戲。
基礎信息
Dark Forest的官宣時間是2020年8月，借助以太坊上的應用零知識(ZK) 密碼學取得了突飛猛進的發展。像iden3 的SnarkJS這樣的新工具首次實現了高效的瀏覽器內ZK 證明和驗證。應用zkSNARK 技術的這些最新進展使我們能夠構建黑暗森林：一個完全分散和持久的RTS（實時戰略）遊戲。
Dark Forest可以稱為是一款MMO 太空征服遊戲，玩家在遊戲中發現並征服無限的、程序生成的、密碼指定的宇宙中的行星。
2020 年8 月7 日在以太坊的Ropsten 測試網絡上發布遊戲的第一個測試版v0.3。
目前是v0.6版本。登陸需要白名單。
隱藏信息遊戲和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中，這意味著“哈希”遊戲世界的區域，尋找與已經發布的哈希對應的坐標。這種結構引入了只能通過計算才能發現的戰爭迷霧。目前該遊戲一直在更新玩法設計，很多硬核玩家在試用。