ARK:一文了解V神的新歡：Dark Forest

昨天剛烤完番薯，今天新上線的CRV又完成一次標準的開盤即顛覆戲劇，DeFi固然已成為了一種趨勢，但不理性也讓不少“新韭菜”吃了大虧。

對此，以太坊聯合創始人Vitalik便提醒稱：

“對于最近很火的defi，除非你真正了解發生了什么，否則你最好坐在一旁觀望，或者只參與很少的資金量。還有很多其它類別的以太坊Dapp，探索它們吧！”

隨后，Vitalik就推薦了一款名為DarkForest的Dapp，并評價稱：

“真的很有趣。”

DarkForest是什么？

Lido 預計 5 月中旬進行主網升級:金色財經報道，Lido 發布關于其以太坊上協議 V2 升級的情況更新，表示 Lido V2 將于下周上線 Goerli 測試網。在進行約 4 周的測試后，以太坊主網上的 Lido 預計將于5月中旬升級至 V2。

此前，Lido 社區以 100% 的支持率通過了 V2 升級提案。Lido 團隊表示，V2 智能合約總共經歷 7 次審計，其中 2 次已經完成，還有 5 次正在進行中。截至上周五，審計中發現的所有關鍵問題都已得到修復。更新后的合約已經部署至以太坊 Zhejiang 測試網進行測試。[2023/3/15 13:05:30]

在過去的18個月里，以太坊上的零知識密碼學應用有了突飛猛進的發展。像iden3SnarkJS這樣的新工具，首次實現了高效的瀏覽器內ZK證明和驗證。這些最新的應用zkSNARK技術進展，使得我們能夠構建DarkForest：一個完全去中心化和可持續的RTS游戲。

美元指數DXY短線拉升近60點，現報111.5:金色財經報道，美元指數DXY短線拉升近60點，現報111.50，收復美聯儲決議后所有失地。

此外，美股三大股指均轉跌，納指、標普500指數均跌超1%，道指跌0.5%。[2022/11/3 12:11:10]

第一個測試版

DarkForest是一款MMO太空征服游戲，玩家可以在一個程序生成的、無限的加密宇宙中發現并征服行星。雖然最終的黑暗森林宇宙最終將持續存在，但該游戲的第一個版本將是有時間限制的，而beta宇宙將會定期更新。

8月7日，DarkForest游戲的一個測試版v0.3部署在了以太坊的Ropsten測試網，這個版本會持續一周的時間。此外項目方已為第一輪測試賽的獲勝者分配了1024DAI的獎金池。然而，在第一輪測試中，行星和游戲資產將沒有實際的經濟價值。

“Web3 X to Earn”公司FUTURE STAR完成1.4億美元融資，Metaverse Tech等參投:金色財經報道，“Web3 X to Earn” 公司 FUTURE STAR宣布完成 1.4 億美元融資，Metaverse Tech、LNK、SkyG和MW9等參投。該公司現在擁有100多項媒體領域核心專利，而且持有迪拜核心數字貨幣交易所牌照和美國MSB數字貨幣交易牌照，他們將利用這筆資金拓展Web3元宇宙廣告生態，同時為用戶提供更多“X to Earn”選擇，讓每一位用戶成為移動媒體公司并成為可以自獲利潤的“流量池”，通過貢獻“關注”和流量獲得基于數字資產的經濟激勵。（digitaljournal）[2022/10/1 18:36:54]

你可以在這里閱讀更多細節。

美國紐約證券交易所總裁馬丁：在沒監管的加密貨幣領域做事是一種挑戰:6月14日消息，美國紐約證券交易所總裁馬丁表示，在沒有監管的情況下，在加密貨幣領域做更多事情是一種挑戰。(金十)[2022/6/14 4:24:01]

DarkForestv0.3

隱藏信息游戲與zkSNARKs

zkSNARKs是一種強大的密碼學工具，它可以用來驗證秘密數據的計算。在類似象棋游戲中使用的零知識證明，可能會證明如下內容：

“我將我的馬從秘密地點A移到秘密地點B。我不會告訴你地點A和地點B的實際位置，但這個proof證明了從A到B的移動確實是有效的L形。”

為了理解zkSNARKs可能對數字世界產生的影響，理解兩種游戲類型之間的區別是很重要的：完全信息游戲和不完全信息游戲。

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

而不完全信息游戲是指玩家可能不知道世界全部狀態的游戲。例如，撲克是一種不完全信息游戲，因為你不知道對手手中的牌。像星際爭霸和EVEOnline這種戰略游戲也屬于不完全信息游戲這一類。在星際爭霸和其他RTS游戲中，信息隱藏是通過“戰爭迷霧”來實現的。

不完全信息游戲允許玩家探索更豐富、更具戲劇性的策略空間。信息不對稱使得欺騙、條件協調、復雜的社會動態等成為可能。正因為如此，幾乎所有流行的MMO游戲都是不完全信息游戲。

截至目前，在去中心化系統上建立不完全信息設置幾乎是不可能的。這是因為大多數去中心化系統的數據層在設計上是完全開放和透明的。如果完整的游戲狀態存儲在一個透明的數據層中，任何人都可以查看，那就不會有私人信息的概念。

零知識加密改變了這一點。有了zkSNARKs，玩家就可以保持隱私狀態，同時公開提交可驗證的有效動作。這使得我們可以建立像DarkForest這樣的游戲，它依賴于由zkSNARKs保護的“密碼學戰爭迷霧”。

注釋：有一些例外，其中一種是commit-reveal游戲，其中臨時的私人信息最終會被公開。此類游戲可以在去中心化的環境中實現，其中包括撲克類的游戲。所有加密貨幣也確實具有以私鑰形式內置的非常有限的私有狀態概念。請注意，公鑰簽名方案從技術上講是一種零知識協議。

密碼學戰爭迷霧

DarkForest背后的一個核心思想是受SNARK保護的秘密學戰爭迷霧。在“黑暗森林”中，玩家無需提交他們征服了核心智能合約的行星坐標，而是提交他們對行星位置的承諾，以及哈希有效的零知識證明。這使行星的位置保持秘密。

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

由于哈希值難以逆轉，因此查看DarkForest合約將不會告訴你其他玩家實際在哪里。找到其他玩家的唯一方法就是暴力搜索。在黑暗森林中，這意味著“哈希”游戲宇宙的各個區域，以查找與已發布的哈希相對應的坐標。這種結構引入了一種只能通過計算才能揭開的戰爭迷霧。

為了給這個世界提供神韻以及其他有趣的屬性，DarkForest還在此核心思想的基礎上編寫了許多更復雜的zkSNARK“技巧”。

致謝：

DarkForest的靈感來源于劉慈欣的《三體》三部曲，特別是第二部小說《黑暗森林》和同名的思想實驗。

Tags：ARKFOREDARFORSparkleFORE ProtocolDARTliveforever

以太坊