如何用 zkSNARK 做一款鏈上德撲游戲？_ZKS

作者：曼達洛人，MantaNetworkProtocol

在過去一年多時間里，越來越多人意識到ZK這種密碼學工具的強大，我們也看到很多零知識證明應用的興起，比如隱私社交、隱私投票、隱私DAO等等。實際上，零知識證明的應用非常廣闊，有鏈上隱私需求的應用都可能會用到零知識證明。

在剛剛結束的ETHSanFrancisco2022期間的ETHGlobal黑客松活動中，MantaNetwork密碼學開發團隊的小伙伴們就在短短36個小時的時間里做出了一款基于zkSNARK的德撲游戲，并在ApeCoin、ENS、SKALE、Optimism主辦的四個競賽單元拿到獎項。

很多人所熟知的DarkForest就是基于zkSNARK的一款實時策略游戲。非完全信息游戲即玩家不掌握全部狀態的游戲，比如在撲克中，玩家手中的牌是私密信息，摸牌的過程也是完全隱私的。非完全信息的有趣之處就在于可以催生一系列復雜的游戲策略。

美國監管機構認為穩定幣繞過監管漏洞，正在研究如何監管穩定幣:9月20日消息，美國監管機構認為穩定幣繞過監管漏洞，可能會從以下幾個方面監管穩定幣，分別為：把穩定幣指定為系統風險；稱穩定幣為證券；視穩定幣為貨幣市場共同基金；像監管銀行一樣監管穩定幣；美聯儲正在研究與穩定幣有競爭性質的中央銀行數字貨幣 (CBDC)。

此外，全球性監管機構金融穩定委員會正在研究建立穩定幣相關的標準和計劃，可能會在 2023 年出臺相關監管。（紐約時報）[2021/9/20 23:37:37]

在公共區塊鏈上，由于鏈上數據的公開透明，很難構建非完全信息游戲。但是，通過零知識證明技術，玩家可以保持在保持隱私狀態的同時，公開提交可驗證的有效動作。

在此次的黑客松活動中，MantaNetwork基于zkSNARK構建了一款鏈上德撲洗牌和發牌系統。這套系統主要解決了鏈上德撲游戲中存在的兩個問題：如何公平地進行洗牌以及如何隱蔽地在玩家間發牌。

高盛：探索如何確定比特幣和其他加密資產的“基本面”:本周，高盛經濟研究團隊的Zach Pandl和Isabella Rosenberg發布報告，探索了如何確定加密資產的基本面問題。報告指出，將加密資產等同于黃金是確定其基本面的常見框架，但除此之外，加密貨幣價格也與其底層分布式網絡的價值有關。報告使用區塊鏈地址估算網絡用戶數量，并與貨幣市值進行比較，觀察到：“市值與網絡規模之間存在明顯的相關性”，且相關性超過1。他們基于歷史數據計算出的平均增長曲線接近價值=用戶數的1.4次冪，這給出了一個利用基本面作為市值參考的基準比率。基于該推斷，報告指出BTC的市值遠大于基本面，其基于用戶增量的價值（基本面）與市值相比存在嚴重偏差。過去幾年，比特幣市值較2018年平均水平上漲520%，但網絡僅增長60-100%。報告認為這一偏差意味著要么比特幣現在被高估，要么2018年被低估，要么兼而有之。但報告也指出，除基本面因素外，加密貨幣上漲還有眾多其他因素，包括情緒，以及它作為一種快速致富的新方式的吸引力。但投機交易帶來的網絡活動增加并不能完全反應基本面的改善，因為平臺并未獲得更高的經濟價值，要使加密貨幣網絡具備可持續價值，活動需要由非投機性用例驅動，而目前此類用例十分缺乏。（雅虎財經）[2021/7/21 1:06:15]

本質上，基于零知識證明的鏈上德撲，讓發牌主體去中心化，莊家無法通過控制發牌來控制牌局。

幣情觀察室 |幣圈一哥：牛市真的來了嗎？下一步如何布局翻倍幣？:5月23日19:17，金色獨家播主 幣圈一哥 做客金色財經《幣情觀察室》直播間，將分享《牛市真的來了嗎？下一步如何布局翻倍幣？》，敬請關注，掃描下圖二維碼即可觀看直播。[2020/5/23]

在Web2中心化客戶端里玩德撲，會遇到這樣的情況，可能性極小的牌，剛好就發給你了。大概率能得到的牌，卻出不來。

目的就是借發牌操縱牌局，讓你的對手，在線下贏牌概率極低的情況下，在線上恰好贏你。

這就是為什么我們需要去中心化德撲。

ZKShuffle系統有三個功能：

ZKShuffle.setup：每位玩家都生成一個密鑰對，并將每個人對應的公鑰放在一起生成一副聚合公鑰。

分析 | BTC暴跌該如何操作?合約關注8300壓力位:據Huobi數據顯示，BTC現報8078美元，日內漲幅1.87%。針對當前走勢，金色盤面特邀分析師保羅大帝表示：昨晚大餅再次下探了7700支撐，受到支撐反彈8000上方，白天基本維持了震蕩局面。日線布林線呈開口向下擴散，各指標也是空頭排列。

?技術上看，1小時看，比特幣RSI運行在50附近，KDJ經過剛才的反彈后，底部有金叉趨勢。但是可以看到，反彈的上方受到了MA30的壓制，MA30成反彈的阻力位。合約15分鐘看，這個位置與前高8300位置大約重合，BTC要想走穩向上這個點位要突破，是最基本的要求。

今日操作：上方壓力位8200，上方強壓力位9300美元，下方支撐位7700美元。合約方面，空單關注8300能否突破，不能突破站穩、空單可跟進。（若趨勢反轉向上，回踩平倉。）嚴格帶好止盈止損。現貨方面，關注下方7700支撐，跌破減倉。?注1：以上合約操作價格為火幣季度合約價格，現貨為火幣現貨價格。[2019/9/27]

ZKShuffle.shuffle_encrypt:在進行洗牌時，每位玩家都需要依次調用shuffle_encrypt。

動態 | 更多人想通過谷歌知道如何購買XRP:據dailyhodl報道，在谷歌2018年最熱門\"How to”搜索中，“How to Buy Ripple”（如何購買XRP）排名第四，“How to Buy Bitcoin”（如何購買BTC）排名第八。[2018/12/14]

為了保證加密和解密可以任意順序進行，這里我們用到的是同態加密方案。比如說，本局游戲中有三位玩家，在經過一輪加密后，每張牌都會有三個加密鎖：Card{Alice,Bob,Charlie}。

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成員，伯克利大學區塊鏈加速器成員。

Tags：MANANTANTAZKSMANEKIMUTANTSANTAWAR價格zkSync

火幣交易所