多方计算

本文介绍了基于零知识证明（ZK）和多方计算（MPC）实现的一种新的游戏机制，该机制支持 PvP、隐藏信息和确定性状态。文章重点介绍了 Oblivious KZG，一种基于双向、可验证、承诺的茫然传输（biVOT）的新结构，并讨论了其在游戏中的应用，例如暗森林（Dark Forest）这类需要隐藏信息和玩家间互动的游戏。

ZK Mesh 是一份月度新闻通讯，涵盖最新的隐私增强密码学、分布式协议开发和零知识系统研究。内容包括近期研究、文章、视频、播客、推文、工具、项目更新和活动等。由 ZK Hack 制作。

Zama 团队发布了一个基于阈值密码学的阈值密钥管理系统 (TKMS)，旨在解决同态加密 (FHE) 应用中的密钥管理问题。该系统将密钥分成多个片段分发给多个参与方，且在密码学操作期间不进行重组，类似于区块链中的多方计算 (MPC) 钱包。Zama 同时开源了 MPC 库，并发布了详细的密码学报告，以促进 FHE 领域的合作和进步。

本文对比了多重签名(Multi-sig)和多方计算(MPC)这两种密钥管理技术。虽然MPC在某些方面有所创新，例如无需在同一机器上重组私钥，但它也引入了可问责性问题，并且缺乏充分的同行评审和硬件安全模块(HSM)支持。文章认为，目前多重签名钱包仍然是更安全的选择，MPC可以作为增强多重签名方案的一种手段，但不应完全替代多重签名。

本文深入探讨了zk-SNARKs技术背后的Pinocchio协议，详细介绍了使用椭圆曲线配对和数学技巧来证明某个二次算术程序（QAP）的解，而不泄露解的其他信息。文章还涉及可信设置、多方计算等安全机制，并指出该领域的最新研究动态。