多方计算

本文介绍了Fiat-Shamir变换在零知识证明（ZKPs）和多方计算（MPC）中的重要性，并强调了正确实现该变换的挑战。为了帮助开发者避免常见错误，Trail of Bits发布了一个名为Decree的Rust库，该库旨在简化Fiat-Shamir transcript的规范和强制执行，并通过Inscribe trait确保包含上下文信息。

本文介绍了图灵奖得主姚期智的贡献，包括姚氏百万富翁问题和混淆电路。姚氏百万富翁问题是一种在不泄露各自财富的情况下，比较两个百万富翁财富多少的方法。混淆电路则是一种在不信任对方的情况下，进行安全计算的方法，文章提供了RSA加密算法和混淆电路的Python代码示例。

本文探讨了可编程密码学和安全硬件的重要性，提出实现可编程密码学的五个安全硬件级别，并分析了每个级别的开发体验与安全性。文章强调，虽然当前安全硬件技术使得开发者可以创造出具有良好性能的应用，但要实现更高的安全性，仍需在硬件层进行创新，并展望未来在全球范围内实现高度安全的应用。

文章主要介绍了Nillion网络，一个支持在加密数据上进行计算而不解密的盲计算网络，它由PETnet和Nil Chain两层结构组成。Nillion通过多方计算（MPC）技术，实现了在保护隐私的前提下进行数据处理，并探讨了Nillion在AI代理、医疗保健、数据市场等领域的应用场景。文章认为数据隐私是Web3大规模采用的关键，而Nillion的盲计算技术有望解决这一问题。

本文详细比较了 Shamir's Secret Sharing (SSS) 和 Threshold Signature Scheme (TSS) 的工作原理，以及它们在 WaaS 解决方案中的应用。文章指出 SSS 在密钥管理方面存在风险，如密钥重构时可能暴露，并介绍了 TSS 如何通过分布式计算生成签名来解决这些问题，同时保持了类似 SSS 的灵活性。

本文介绍了如何在OpenZeppelin Defender中集成Fireblocks，以便直接向Fireblocks提交交易。主要步骤包括：在Defender中生成CSR文件，在Fireblocks中创建API用户并导入CSR，将Fireblocks API密钥连接到Defender，以及创建审批流程。最后，说明了交易的批准或拒绝只能通过Fireblocks进行。

这篇文章探讨了未来一年区块链技术、加密应用和数字身份等领域的主要趋势和发展方向，包括移动区块链、零知识证明、多方计算、全面链上游戏等。不同领域的合作伙伴分享了各自对这些主题的期待和想法，强调了去中心化、开发者引导以及可持续发展的重要性。

本文介绍了协作式 zk-SNARKs 的概念及其在多方计算 (MPC) 中的应用，重点讨论了实现协作 zk-SNARKs 的方法，包括选择合适的 MPC 方案、通用 zk-SNARK 方案的多方扩展和性能优化。文中强调了分布式秘密的安全计算和验证能力，以及在实际应用中的有效性和性能表现。

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

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

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

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