零知识证明

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

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

本文介绍了 Circom 中 public input 和 output 的概念，以及如何在 Circom 电路中定义和使用它们。

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

本文探讨了AI在零知识电路和应用程序中发现漏洞的能力，zkSecurity开发了一款名为SnarkSentinel的AI驱动的ZK审计工具。

本文深入探讨了KZG多项式承诺方案的多种单变量变体，包括用于批量处理多个开放的技术以及实现无条件隐藏属性的方法。文章详细介绍了Plain KZG、Batched Variants等方案，并探讨了如何使用随机多项式或随机群元素来实现无条件隐藏特性，为构建zkSNARKs提供理论基础。

本文探讨了利用 WebGPU 加速客户端零知识证明（ZKP）的方法。WebGPU 是一种可以在多种平台（包括移动设备）上利用 GPU 的技术，通过并行计算和优化内存使用，能够显著提升证明速度。文章详细介绍了 WebGPU 的基本原理、内存层级结构，以及在 WGSL 中实现 NTT（数论变换）的优化过程，最后讨论了将 WebGPU 集成到 ZK 框架中的挑战和未来方向。

本文介绍了clean，一个为零知识电路（ZK circuits）构建的嵌入式DSL和形式验证框架，目标是使用Lean4定义电路、指定属性并进行形式化验证。clean通过将电路定义、规范和正确性证明置于一处，旨在创建一个可重用的、经过形式验证的电路组件库，并以AIR算法为目标，最终发展成通用的零知识证明框架。文章还提供了一个8位加法的具体例子，展示了如何使用clean来定义、验证电路的正确性

ZK Mesh June 2025 Recap 是一个关于零知识证明（ZKP）的每月通讯，内容涵盖最新的隐私增强加密技术、分布式协议开发和零知识系统研究。ZK Mesh 由 ZK Hack 制作，内容包括研究论文、文章、视频、播客、项目更新和活动等。

本文介绍了零知识虚拟机（zkVMs）的概念，zkVMs 利用零知识证明（ZKPs）来验证在特定指令集架构上执行的计算的正确性。文章回顾了zkVMs的基本原理，并讨论了多个对zkVMs的设计和发展产生重大影响的项目，包括vnTinyRAM、Cairo、RISC Zero zkVM、Jolt等，并且 zkSecurity 正在开发 zkVM 的形式化验证框架。

本文是schnorr签名安全系列的第一篇文章，主要介绍了Schnorr身份认证协议。文章从零知识证明的角度，探讨了Schnorr身份协议的完整性、可靠性和诚实验证者零知识性，并论证了该协议在离散对数问题上的安全性，为后续将身份证明协议转化为签名协议奠定了基础。

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

本文是 RISC Zero 的高级协议工程师 Rami Khalil 参加的炉边访谈的总结，讨论了使用 RISC Zero zkVM 构建应用程序的设计空间，包括 zkVM 的原理、开发者体验、安全性保证、去中心化证明网络 Boundless，以及 zkVM 如何赋能新的应用场景，还分享了开发者的建议和 Veridise 的安全审计经验，和RISC Zero的未来发展方向。

本文介绍了MPC-in-the-Head（MPCITH）转换，这是一种从多方计算（MPC）协议构建零知识证明的方法。MPCITH将MPC协议视为黑盒，通过模拟MPC协议来生成零知识证明，并探讨了如何将此结构应用于开发后量子签名方案。文章还讨论了其在构建后量子签名中的应用，以及对MPCITH的一些改进。