零知识证明

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旨在通过加密技术，实现安全、私密且防篡改的投票过程，同时确保投票结果的透明和可信。

该文章总结了以太坊基金会在2024年第四季度资助的多个项目，这些项目涵盖社区教育、共识层、密码学与零知识证明、开发者工具、执行层、通用研究、L2等方面，旨在推动以太坊生态系统的发展。总计资助金额超过一千一百万美元。

CUDA - cuda-fixnum源代码导读

TFHE-rs v0.11 版本发布，带来了多项重要改进和新功能，包括Zero Knowledge Proof性能的显著提升，以及通过 FheAsciiString 类型在高级 API 中使用加密字符串的新模块。新版本还引入了 TUniform 噪声分布来代替高斯分布，GPU 性能也得到提升，并支持在 GPU 上轻松执行加密数组的计算。