作者：曼达洛人，MantaNetworkProtocol
在过去一年多时间里，越来越多人意识到ZK这种密码学工具的强大，我们也看到很多零知识证明应用的兴起，比如隐私社交、隐私投票、隐私DAO等等。实际上，零知识证明的应用非常广阔，有链上隐私需求的应用都可能会用到零知识证明。
在刚刚结束的ETHSanFrancisco2022期间的ETHGlobal黑客松活动中，MantaNetwork密码学开发团队的小伙伴们就在短短36个小时的时间里做出了一款基于zkSNARK的德扑游戏，并在ApeCoin、ENS、SKALE、Optimism主办的四个竞赛单元拿到奖项。
很多人所熟知的DarkForest就是基于zkSNARK的一款实时策略游戏。非完全信息游戏即玩家不掌握全部状态的游戏，比如在扑克中，玩家手中的牌是私密信息，摸牌的过程也是完全隐私的。非完全信息的有趣之处就在于可以催生一系列复杂的游戏策略。
Terra 2.0 社区已启动就有关如何分配 0.5% 应急资金提案的投票:6月9日消息，Terra 2.0 社区已启动就有关如何分配 0.5% 应急资金提案的投票，该提案建议将这部分资金分配给在 Terra Classic 上推出过符合市场需求的产品，包括产生了一定量的 TVL 和没有产生 TVL 的项目以及尚未推出过符合市场需求产品的项目，并提议向以上三类项目分别分配 250 万枚 LUNA、100 万枚 LUNA 和 150 万枚 LUNA。此外，该提案建议组件一个由部分 Terra 社区的长期成员组成的理事会监督分配工作。[2022/6/9 4:13:09]
在公共区块链上，由于链上数据的公开透明，很难构建非完全信息游戏。但是，通过零知识证明技术，玩家可以保持在保持隐私状态的同时，公开提交可验证的有效动作。
观点：英国加密监管的关键因素是如何处理零售问题:4月5日消息，在IFGS会议的第二天，金融服务行业集团Shearman & Sterling全球负责人Barnaby Reynolds在“Crypto重启：2021年及未来”的发言中，淡化了英国财政部日前关于英国稳定币使用的监管声明的重要性。Reynolds称：英国正在考虑如何监管加密货币，但昨天宣布将稳定币纳入支付体系的声明相对没有太大影响。就加密货币监管而言，伦敦和纽约是值得关注的两个重要市场，因为这两个市场是全球“脉搏”所在。Reynolds解释说，英国的关键因素是如何处理零售问题。英国对加密货币交易的禁令是争议所在，因为零售市场非常希望进入加密货币市场。
此前消息，英国财政部在官网宣布推出一系列举措，将把稳定币视为一种有效的支付方式，作为使英国成为全球加密资产技术和投资中心的计划的一部分。（Finextra）[2022/4/5 14:05:21]
在此次的黑客松活动中，MantaNetwork基于zkSNARK构建了一款链上德扑洗牌和发牌系统。这套系统主要解决了链上德扑游戏中存在的两个问题：如何公平地进行洗牌以及如何隐蔽地在玩家间发牌。
Peter Schiff：无论其他风险资产走向如何，比特币都会下跌:7月21日消息，黄金支持者、比特币反对人士Peter Schiff在最近的一条推文中表示，30000美元现在已经变成了比特币的阻力。周一，其他风险资产被抛售，比特币被抛售得更多；周二，随着风险资产反弹，比特币再次下跌。无论其他风险资产走向如何，比特币都会下跌。（U.today）[2021/7/21 1:07:17]
本质上，基于零知识证明的链上德扑，让发牌主体去中心化，庄家无法通过控制发牌来控制牌局。
在Web2中心化客户端里玩德扑，会遇到这样的情况，可能性极小的牌，刚好就发给你了。大概率能得到的牌，却出不来。
目的就是借发牌操纵牌局，让你的对手，在线下赢牌概率极低的情况下，在线上恰好赢你。
大咖零距离 | 合约交易秘籍 如何穿越牛熊市:3月27日19:00，金色盘面邀请资深金融从业者，有超20年投资交易经验的丁一老师做客金色财经《大咖零距离》直播间，将分享《合约交易秘籍 如何穿越牛熊市》，敬请关注，欲进群观看直播扫描海报二维码报名即可！[2020/3/27]
这就是为什么我们需要去中心化德扑。
ZKShuffle系统有三个功能：
ZKShuffle.setup：每位玩家都生成一个密钥对，并将每个人对应的公钥放在一起生成一副聚合公钥。
ZKShuffle.shuffle_encrypt:在进行洗牌时，每位玩家都需要依次调用shuffle_encrypt。
为了保证加密和解密可以任意顺序进行，这里我们用到的是同态加密方案。比如说，本局游戏中有三位玩家，在经过一轮加密后，每张牌都会有三个加密锁：Card{Alice,Bob,Charlie}。
声音 | 迅雷链张慧勇：区块链技术如何在实体经济中应用是亟待解决的问题:5月15日，在世界智能大会2019全球区块链科技创新峰会上，迅雷链开放平台研发负责人张慧勇受邀出席了峰会并发表了“看迅雷链如何助力实体经济”的演讲。张慧勇表示，区块链3.0时代亟待解决的问题是让区块链技术在实体经济得以运用以发挥其价值。而只有符合实体企业应用需求的区块链，才能真正落地。这就要求区块链企业，从实体企业的现实需求出发，升级自己的技术架构，为实体经济赋能构建有力基础。迅雷链自2018年上线以来，始终在强化自身技术的同时踏实助力实体商业场景落地，已在版权、溯源、出行、营销等多个领域有了规模级行业应用。[2019/5/16]
ZKShuffle.decrypt:如果想要向一位指定玩家发牌，每个玩家都需要调用解密功能。比如说，如果游戏的逻辑是要将牌发给Charlie，正确的顺序应该是：Alice拿到加密牌Card{Alice,Bob,Charlie}，用她的密钥进行解密，然后将解密后的牌Card{Bob,Charlie}在链上进行提交，同时提交一个零知识证明来验证解密的有效性。
Bob在链上拿到Alice提交的这张部分解密的牌Card{Bob,Charlie}后，再用自己的密钥进行解密，并在链上提交这张牌Card{Charlie}以及验证解密有效性的零知识证明。最后Charlie就拿到了Card{Charlie}，只用他自己的密钥解密就可以查看他的牌了。
MantaNetwork密码学开发团队用ZKShuffle构建了一套德州扑克demo，这是一个基于Solidity,React和Ether.js的去中心化应用。在这个demo中，每当一轮新的游戏开始，所有的玩家都要进行一轮设置，以保证在链上的这幅扑克牌是公平洗过的。然后，每位玩家都需要进行一轮解密后拿到两张牌。这些，玩家就可以在一条EVM区块链上玩德州扑克啦。
Manta目前已将这个DApp部署在了OptimismGoerli,EthereumGoerli和Skale区块链上。
实现原理
整个项目由3部分组成：
ZK电路；
用于验证解密和洗牌的智能合约，包括ZKShuffle合约和游戏逻辑合约DApp前端，使用React和ether.js以及CircomlibJS库构建的Demo；
CircomlibcryptographicJS库。
在Circom的实现中，采用ElGamal加密方案，并使用现有的Circom库，如poseidonhashes。
加密电路有87308个R1CS约束，在DApp中的证明生成时间为4.5秒。解密电路有1522个R1CS约束，在DApp中的证明生成时间为0.1秒。使用SnarkJs来生成DApp中的零知识证明。
智能合约由两部分组成：ZKShuffle框架合约和德扑游戏逻辑合约。ZKShuffle合约简易封装了ZKP验证逻辑和两个电路。逻辑合约部署了一个状态机，从RPC节点获得游戏当前阶段和轮到哪个玩家的次序。
DApp使用React框架和Ether.js实现，展示德扑桌面以及每位玩家的动作动画。当需要玩家做出动作时，这个玩家只需点击UI中的按钮，使用metamask进行交易签名即可。
观看Demo
关于MantaNetwork
MantaNetwork致力于通过隐私保护构建一个更好的Web3世界。Manta的产品设计从第一性原理出发，通过zkSNARK等领先的密码学架构为区块链用户提供端对端的隐私保护。在保障隐私的同时，Manta兼具互操作性、便捷性、高性能以及可审计性，允许用户进行任意平行链资产间的隐私转账和交易。Manta的愿景是为整个区块链世界提供更便捷的隐私保护服务。
Manta的创始团队由多位加密货币资深人士，教授和学者组成，他们的经验包括哈佛大学，麻省理工学院和Algorand。Manta的投资机构包括Polychain、ParaFi、BinanceLabs、Multicoin、CoinFund、Alameda、DeFiance以及Hypersphere等。Manta也是波卡官方Web3基金会资助获得者，SubstrateBuilderProgram成员，伯克利大学区块链加速器成员。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。