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 所运行的计算是否正确。该证明允许任何人验证包括角色分配的随机性、每个动作的有效性(例如,试图预言的人确实是预言家)、投票结果的准确性以及胜利判定的正确性在内的整个游戏过程没有被窜改,而无需公开内部数据。