零知识证明

L2 Iterative Ventures（L2IV）发布了2023年第三季度市场回顾与前景展望报告，尽管经历波动，L2IV预示加密和数字资产生态系统将继续发展。报告分析了宏观动态、主要生态系统及关键主题，强调了去中心化基础设施的重要性及其在金融和高级应用中的未来潜力。

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

Simperby是一个多链互操作性平台，允许DAO与各种区块链上的Dapps进行交互。它使用轻客户端技术在不同区块链之间实现无需信任的消息传递，例如在Simperby链和结算链之间。Simperby DAO可以控制各种多链应用，如资金库、代币发行和DeFi服务，并具备通用互操作性，甚至可以扩展到现实世界。

ZK Mesh是关于隐私增强密码学、分布式协议开发和零知识系统研究的月度新闻通讯，涵盖了最新的研究、文章、视频、播客、推文、工具、项目更新和活动。本期内容包括了zkSpeed、线性时间累积方案、GIGA协议等研究，以及硬件友好的HyperPlonk、后量子密码学代码优化等文章，以及多个零知识证明相关的视频和项目更新。

本文介绍了Cysic公司正在进行的零知识证明（ZKP）专用硬件研究工作，目标是开发一种定制的证明加速芯片，专门用于ZKP工作负载。

本文档旨在对 Spartan 协议进行温和的介绍，Spartan 是一种基于 sum-check 的 zkSNARK，具有高效的证明者。文章详细介绍了 Spartan 的特性，包括与多线性多项式承诺方案的兼容性、对算术化的灵活性以及将证明者工作分解为 witness 相关和 witness 无关部分的能力。同时还介绍了 Spartan 协议在零知识证明、zkVM以及身份验证等领域的应用。

使用Halo2开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。

本文总结了以太坊基金会在2025年第一季度提供的资助项目，这些项目涵盖了社区与教育、共识层、密码学与零知识证明、开发者体验与工具、执行层等多个领域，以及协议增长与支持。总资助金额为32,647,065.32美元。

RISC Zero 发布了 R0VM 2.0，这是一个为实时时代构建的 zkVM，它更快、更大、更安全。R0VM 2.0 的证明速度更快，成本更低，内存更大，并支持所有主要的以太坊预编译，目标是在 2025 年 7 月实现实时证明，同时，R0VM 2.0 还非常注重安全性，通过形式化验证来确保系统的可靠性。

RISC Zero 宣布其 zkVM 能够运行 DOOM 游戏，通过在 zkVM 中运行 DOOM 端口，并使用 demo 文件作为输入，利用 ZK 证明来验证游戏帧的真实性，实现了在零知识证明下运行 DOOM。他们还提到这为速通游戏（speedrunning）开辟了新的可能性，例如使用工具辅助的速通，并用ZK证明来验证记录。

Ola推出了名为Massive的移动应用和加密钱包，旨在通过“验证即挖矿”的方式，降低Web3的参与门槛。用户通过邀请码注册成为节点，利用手机验证ZKP（零知识证明）即可获得Massive积分、推荐奖励等。同时，Ola承诺保护用户隐私，不收集个人信息，并计划支持包括BTC、ETH、Solana在内的多链资产Staking。

Zkopru利用零知识证明在以太坊上实现layer2隐私交易的新方案

本文介绍了Suffragium，一个利用零知识证明（ZKP）和全同态加密（FHE）构建的链上加密投票系统，该系统利用Zama的fhEVM来保护投票的隐私性、完整性和可验证性。Suffragium旨在通过加密技术，实现安全、私密且防篡改的投票过程，同时确保投票结果的透明和可信。