ARK:金色观察|Dark Forest:零知识证明交互的太空世界

DarkForest是一款游戏,其名称灵感来自于刘慈欣的三体三部曲中第二部的黑暗森林和同名思想实验。这是一个基于零知识证明的游戏。

基础信息

DarkForest的官宣时间是2020年8月,借助以太坊上的应用零知识(ZK)密码学取得了突飞猛进的发展。像iden3的SnarkJS这样的新工具首次实现了高效的浏览器内ZK证明和验证。应用zkSNARK技术的这些最新进展使我们能够构建黑暗森林:一个完全分散和持久的RTS游戏。

DarkForest可以称为是一款MMO太空征服游戏,玩家在游戏中发现并征服无限的、程序生成的、密码指定的宇宙中的行星。

金色晨讯 | 4月3日隔夜重要动态一览:21:00-7:00关键词:英国FCA、佛罗里达州、新加坡、Handshake

1.英国FCA:新集团正伪装成合法公司加密货币投资者;

2.佛罗里达州联邦法院驳回UAC针对Roger Ver等人的操纵市场指控;

3.美国国税局正寻求获得Kraken客户记录;

4.新加坡总理个人信息被盗用以推销加密货币;

5.FinCEN任命前Chainalysis首席技术官为新代理总监;

6.数据:NFT每周交易量正在稳步下降;

7.Handshake团队已修复可使HNS代币出现通胀的漏洞;

8.1.61亿美元的以太坊期权合约将于4月9日到期。[2021/4/3 19:42:20]

2020年8月7日在以太坊的Ropsten测试网络上发布游戏的第一个测试版v0.3。

金色午报 | 10月23日午间重要动态一览:7:00-12:00关键词:金色财经四周年、央行数字货币、灰度

1.WBTC流通量突破11万枚。

2.灰度BTC信托持仓再增1091BTC

3.国网新疆电力在物资领域开展区块链试点应用。

4.火币朱嘉伟:合规化与金融基建重构是未来5年行业主旋律。

5.央行莫万贵:支持人民银行数字货币研究所在北京设立金融科技中心。

6.中国人民银行莫万贵:要推动央行数字货币在冬奥会应用。

7.证监会高莉:推进区块链技术北京股权债权登记领域应用。

8.Messari:以太坊或将成为首个在一年内结算超1万亿美元的区块链。

9.数据:灰度一天内增加3亿美元资产管理规模 本周增加10亿美元。[2020/10/23]

目前是v0.6版本。登陆需要白名单。

金色晚报 | 8月10日晚间重要动态一览:12:00-21:00关键词:Filecoin、BCH、MakerDao、DAI

1. MakerDao稳定币Dai总量突破4亿枚。

2. Filecoin将在下次测试网重置中实现EIP1559,试图改进拍卖效率。

3. BCH开发者发文支持IFP 称IFP并非强制税收而是手续费。

4. 比特币预计于8月11日凌晨进行难度调整,全网难度或上调。

5. 北大国发院副院长:数字货币不取代银行存款 也没有其他金融交易。

6. Compound总法律顾问:用比特币银行取代传统银行是不够的,因此DeFi出现了。

7. Coinbase:目前市场上DeFi协议存在四大风险。

8. Sperax警示Uniswap已出现假的SPA交易对。[2020/8/10]

金色热搜榜:QTUM居于榜首:根据金色财经排行榜数据显示,过去24小时内,QTUM搜索量高居榜首。具体前五名单如下:QTUM、NULS、XLM、TRUE、HPT。[2020/7/9]

隐藏信息游戏和zkSNARKs

zkSNARKs是一种强大的加密工具,可用于验证秘密数据的计算。例如在类似国际象棋的游戏中使用的零知识证明可能完成证明如下:“我正在将我的骑士从秘密位置A移动到秘密位置B。我不会告诉你位置A和B实际上在哪里,但是这个证明证明从A到B的移动确实是一个有效的L形。”

了解zkSNARKs需要了解两种游戏:完全信息游戏和不完全信息游戏。

完全信息游戏是所有玩家都知道游戏世界的完整状态的游戏。例如,跳棋和国际象棋是完整的信息游戏,因为所有玩家总是知道棋盘上所有棋子的位置。同样,CryptoKitties是一个完整的信息游戏,因为所有玩家都知道谁拥有什么小猫,以及每只小猫的属性是什么。

不完全信息游戏是玩家可能不知道世界完整状态的游戏。例如,扑克是一种不完全信息游戏,因为您不知道对手手中的牌。星际争霸和EVEOnline等策略游戏也属于这一类。在星际争霸和其他RTS游戏中,信息隐藏是通过“战争迷雾”来强制执行的,游戏地图的区域在玩家探索之前会被遮蔽。

不完全信息博弈让玩家探索更丰富、更戏剧化的策略空间。信息不对称会导致、条件协调、复杂的社会动态和大规模的紧急玩家行为等。正因为如此,几乎所有流行的MMO游戏都是不完全信息游戏。

此前,在去中心化系统上构建不完整的信息几乎是不可能的,因为大多数去中心化系统的数据层在设计上是完全开放和透明的。零知识密码学改变了这一点。使用zkSNARK,玩家可以在公开提交可验证有效操作的同时保持私有状态。

密码学迷雾

DarkForest的核心思想是SNARK保护的战争密码学迷雾。在DarkForest中,玩家不会向核心智能合约提交他们征服的行星坐标,而是提交对行星位置的承诺,以及对有效的零知识证明进行哈希运算。这可以使行星位置保密。

类似地,当玩家想要移动时,他们提交他们要移动的行星的哈希值和他们要移动到的哈希值,以及零知识证明,以证明这是一个“有效”的移动。

由于哈希很难反转,检查DarkForest合约不会告诉你其他玩家的实际位置。找到其他玩家的唯一方法就是暴力搜索。在DarkForest中,这意味着“哈希”游戏世界的区域,寻找与已经发布的哈希对应的坐标。这种结构引入了只能通过计算才能发现的战争迷雾。目前该游戏一直在更新玩法设计,很多硬核玩家在试用。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:15ms0-1:987ms