零知識證明×秘密計算技術實現無需「信任第三方」的遊戲進行 -「無信任狼人殺」在 Ethereum 上公開

Yoii 公司（總部：東京都澀谷區；代表取締役CEO：宇野 雅晴；以下稱「Yoii」）很高興地宣布，其開發的「無信任狼人殺」已在 Ethereum 測試網（Sepolia）上發布。這款遊戲採用了我們獨特的加密技術「zk-mpc」，結合了零知識證明（ZKP）和多方計算（MPC），無需任何信任的第三方（遊戲主持人）即可完全進行遊戲。

該專案經過大約兩年半的研究開發實現，曾兩次（2024年2月和2025年2月）獲得 Ethereum Foundation 的生態系統支援計畫（ESP）的認可。所有原始碼均以開源形式公開，並預期將其應用範圍拓展到人狼遊戲以外的廣泛領域。

### ■ 開發背景
狼人殺遊戲是一個典型的「不完全資訊遊戲」，玩家各自持有秘密資訊（如村民、預言家、狼人等角色），並在隱藏這些資訊的情況下進行討論、投票、預言和攻擊等行動。在傳統的線上狼人殺遊戲中，角色分配、投票計票、勝利判定、預言結果通知等功能均由伺服器營運者（遊戲主持人）一手包辦。這種機制的前提是玩家需要向該第三方揭露其秘密資訊，並「信任」其處理方式。

然而，當匿名玩家在網路上進行遊戲時，並沒有機制可以偵測遊戲主持人的舞弊或串通行為。在「如何在沒有信任的第三方的環境中實現公平的遊戲進程」是個問題，這不僅限於遊戲，也同樣是金融交易、投票、身份驗證等社會各個層面共同面臨的挑戰。

### ■ zk-mpc 技術概述與「無信任狼人殺」的機制
「無信任狼人殺」結合了以下兩種加密技術，來取代遊戲主持人的所有功能：

### 秘密計算 - 多方計算（MPC: Multi-Party Computation）
利用稱為「秘密分享」的技術，將每位玩家的秘密資訊（角色、投票對象、預言對象等）分割成多個片段，並由不同的計算節點各自持有。除非這些節點串通，否則原始資訊不會向任何人（包括伺服器）洩漏。這使得涉及秘密資訊的所有計算，如角色分配、匿名投票、預言、攻擊和勝利判定，都能在保密的情況下執行。

例如，在匿名投票中，系統可以在隱藏誰投票給誰的同時，僅計算出得票最多者。雖然傳統的僅使用 ZKP 的實施會公開每個候選人的得票數，但結合 MPC 可以實現結果的輸出，同時也隱藏了票數。

### 零知識證明（ZKP: Zero-Knowledge Proof）
這是一種「僅證明某項計算已正確執行，而不透露其內容細節」的技術。重要的是，ZKP 並非保護秘密的技術，而是「一種讓第三方能夠驗證計算是否正確執行的機制」。

在本系統中，會生成一個證明，驗證 MPC 所執行的計算是否正確。該證明允許任何人驗證包括角色分配的隨機性、每個動作的有效性（例如，試圖預言的人確實是預言家）、投票結果的準確性以及勝利判定的正確性在內的整個遊戲過程沒有被竄改，而無需公開內部資料。