Zypher Network 技術白皮書系列解讀（二）：ZK 遊戲引擎—Secret Engine 深度探析

WEEX 唯客博客， 3.1 Secret Engine 認識到每個零知識證明系統都由兩部分組成：一是演算法，二是多項式承諾方案。將程序轉化為零知識證明(ZKP)的初始階段涉及到演算法。這個過程通過在這些多項式之間建立特定的條件來闡明它們之間的關係。 我們的零知識證明系統是基於標準 PlonK 配方實現的，具有高度定製的 gates，主要包括： 小工具：支持遊戲電路開發中使用的各種小工具，包括基本算術電路、哈希、ECC、zkshuffle、zkmatchmaking等。 我們建議訪問我們的 GitHub 存儲庫以獲取有關這些小工具的更多信息。 鏈上驗證器：為證明者和驗證者優化了PLONK/ZKVM，同時支持所有EVM鏈的通用可靠性驗證器。 應用程序特定的 Plonk：使用應用程序特定的 Plonk 作為基本方案ZK證明，用我們的SDK提供的各種小工具來編寫特定的遊戲電路。 同時我們還提供不同虛擬機（EVM/WASM/…）上的驗證合約，可以運行在不同的區塊鏈系統中，實現鏈下證明和鏈上驗證。 接下來，我們將介紹兩個重要的組件，由Secret Engine孵化的zkshuffle和zkmatchmaking。 3.1.1 ZK shuffle SDK 3.1.1.1 介紹 撲克遊戲是一種備受歡迎的紙牌遊戲。在現實生活中,遊戲各方可以相互監督，以確保遊戲的公平性。隨著計算機網路的快速發展,通過網路連接的玩家也有了參與撲克遊戲的機會，儘管如此，網路環境下如何確保遊戲的順利進行和公平性卻是一個不小的挑戰，這也是心理撲克協議所要解決的問題。 心理撲克是一種基於密碼學原理構造的撲克遊戲，自1979年Shamir、Rivest和Adleman提出了第一個心理撲克協議【15】以來，人們就開始研究心理撲克遊戲的可行性。心理撲克與普通撲克玩法類似,主要區別在於心理撲克是在沒有物理卡牌的網路環境中進行，且所有玩家默認是不誠實的，即存在作弊行為。第一個心理撲克協議是一個兩方的撲克協議，該協議已經被證明存在安全漏洞。根據文獻【16】，一場公平的心理撲克必須滿足以下屬性： 1. 唯一性：在傳統撲克遊戲中，通過明示卡牌以驗證沒有重複的卡牌。心理撲克協議應保證同樣的特性。 2. 隨機分佈：在傳統撲克遊戲中，一名玩家進行洗牌，其他玩家可以實時觀察，這意味著洗牌的玩家無法控制最終的洗牌結果。 …