这是一个Speedrun Ethereum的ZK投票挑战教程，教你使用零知识证明构建一个保护隐私的链上投票dApp，通过Noir编写ZK电路、使用Merkle树证明选民资格，并利用承诺(commitment)和nullifier机制实现一人一票且匿名投票。

• https://speedrunethereum.com/challenge/zk-voting

ZP1是一个基于Circle STARK和Mersenne31域的RISC-V零知识虚拟机(zkVM)，支持RV32IM指令集，使用FRI协议进行证明，并实现了内存一致性检查、范围约束和密码学预编译(Keccak、SHA2等)功能。

• https://github.com/ZippelLabs/ZP1

uv比pip快得多主要归功于Python包管理标准的现代化(PEP 518/517/621/658提供了静态元数据)、大胆放弃了遗留功能(如.egg支持、pip.conf解析等)，以及采用了并行下载、全局缓存、HTTP range请求等与语言无关的优化设计，而非仅仅因为用Rust编写。

• blog原文 https://nesbitt.io/2025/12/26/how-uv-got-so-fast.html

• 中文翻译 https://mp.weixin.qq.com/s/u1Lh2xgFEIS71XSg9AaWcA

这篇论文提出了 Laminate，提出了一个将全同态加密 (FHE) 添加完整性的实用方法，与可验证计算 (VC)结合实现了基于加密数据的可验证计算 (VCoED) 。

• https://eprint.iacr.org/2025/2285

这篇论文改进了用于验证投票有效性的GPZKP，提出了一些电路级优化，降低了指数级 ElGamal 加密投票的证明成本，还提供了一个独立的、可直接使用的 Circom 实现以及具体的基准测试。

• https://eprint.iacr.org/2025/2286

这篇论文提出了FRIVail，一种新的数据可用性采样方案（DAS），通过将每行视为独立单元并配备基于FRI的可用性证明，实现了证明模块化和高效验证，同时支持可扩展至GB级的数据块和轻客户端验证。

• https://eprint.iacr.org/2025/2292

近年来，随着可验证计算（VC）和零知识证明（ZKP）技术的进步，研究人员开始探索如何将这些技术应用于联邦学习，以缓解其使用中隐私泄露的问题。这篇知识系统化文章分析了近期一些尝试将可验证性特征集成到经典联邦学习任务中的研究成果，比较了它们的方法，并重点介绍了当前可验证计算方法所能达到的效果。

• https://eprint.iacr.org/2025/2296

这篇论文提出了首个高性能的SIMD软件实现方案，用于在多项式承诺机制和零知识证明中应用Spielman码。Spielman码在Brakedown框架中被采用，是Reed-Solomon码的有吸引力替代方案，具有线性时间复杂度并且与底层有限域无关。

然而，Spielman码在实际部署中的应用受限于缺乏高效实现的相关研究。其涉及的大量有限域运算和随机内存访问通常需处理超过数GB的数据量，这对性能优化带来了巨大挑战。为应对上述问题，该论文提出了一系列计算和内存相关的优化技术，使得软件性能实现了数量级的提升。在计算方面，本文基于AVX-512-IFMA指令集进行了SIMD优化，并引入了惰性模约简策略以降低模运算开销；在内存方面， 本文设计了更符合缓存机制的内存布局，并引入切片技术以充分利用CPU的内存层级结构。最后，该论文提出了一种多线程并行方法，在不饱和内存带宽的前提下进一步提升吞吐量。与现有的Spielman码软件实现相比，此优化方案在单线程和多线程执行下分别实现了最高26.7倍和20.6倍的加速。此外，在高端CPU上使用64线程实例化时，该软件在处理小型和中等规模多项式时甚至可比最新的FPGA加速器快4.3倍。该优化成果使得Spielman码在软件平台上具有与高度优化的Reed-Solomon码相竞争的能力。

• https://eprint.iacr.org/2025/2301

If you're interested in our ZK Insights or have ideas for similar content to share, we highly encourage everyone to head over to our Github repo and submit a Pull Request. Join forces with like-minded ZKPunks to co-create!

✨ Github repo link: https://github.com/ZKPunk-Org/zk-insights
✨ Web collection version: https://insights.zkpunk.pro/

Special thanks to: Yingfei , Hins

这是一个Speedrun Ethereum的ZK投票挑战教程，教你使用零知识证明构建一个保护隐私的链上投票dApp，通过Noir编写ZK电路、使用Merkle树证明选民资格，并利用承诺(commitment)和nullifier机制实现一人一票且匿名投票。

• https://speedrunethereum.com/challenge/zk-voting

ZP1是一个基于Circle STARK和Mersenne31域的RISC-V零知识虚拟机(zkVM)，支持RV32IM指令集，使用FRI协议进行证明，并实现了内存一致性检查、范围约束和密码学预编译(Keccak、SHA2等)功能。

• https://github.com/ZippelLabs/ZP1

uv比pip快得多主要归功于Python包管理标准的现代化(PEP 518/517/621/658提供了静态元数据)、大胆放弃了遗留功能(如.egg支持、pip.conf解析等)，以及采用了并行下载、全局缓存、HTTP range请求等与语言无关的优化设计，而非仅仅因为用Rust编写。

• blog原文 https://nesbitt.io/2025/12/26/how-uv-got-so-fast.html

• 中文翻译 https://mp.weixin.qq.com/s/u1Lh2xgFEIS71XSg9AaWcA

这篇论文提出了 Laminate，提出了一个将全同态加密 (FHE) 添加完整性的实用方法，与可验证计算 (VC)结合实现了基于加密数据的可验证计算 (VCoED) 。

• https://eprint.iacr.org/2025/2285

这篇论文改进了用于验证投票有效性的GPZKP，提出了一些电路级优化，降低了指数级 ElGamal 加密投票的证明成本，还提供了一个独立的、可直接使用的 Circom 实现以及具体的基准测试。

• https://eprint.iacr.org/2025/2286

这篇论文提出了FRIVail，一种新的数据可用性采样方案（DAS），通过将每行视为独立单元并配备基于FRI的可用性证明，实现了证明模块化和高效验证，同时支持可扩展至GB级的数据块和轻客户端验证。

• https://eprint.iacr.org/2025/2292

近年来，随着可验证计算（VC）和零知识证明（ZKP）技术的进步，研究人员开始探索如何将这些技术应用于联邦学习，以缓解其使用中隐私泄露的问题。这篇知识系统化文章分析了近期一些尝试将可验证性特征集成到经典联邦学习任务中的研究成果，比较了它们的方法，并重点介绍了当前可验证计算方法所能达到的效果。

• https://eprint.iacr.org/2025/2296

这篇论文提出了首个高性能的SIMD软件实现方案，用于在多项式承诺机制和零知识证明中应用Spielman码。Spielman码在Brakedown框架中被采用，是Reed-Solomon码的有吸引力替代方案，具有线性时间复杂度并且与底层有限域无关。

然而，Spielman码在实际部署中的应用受限于缺乏高效实现的相关研究。其涉及的大量有限域运算和随机内存访问通常需处理超过数GB的数据量，这对性能优化带来了巨大挑战。为应对上述问题，该论文提出了一系列计算和内存相关的优化技术，使得软件性能实现了数量级的提升。在计算方面，本文基于AVX-512-IFMA指令集进行了SIMD优化，并引入了惰性模约简策略以降低模运算开销；在内存方面， 本文设计了更符合缓存机制的内存布局，并引入切片技术以充分利用CPU的内存层级结构。最后，该论文提出了一种多线程并行方法，在不饱和内存带宽的前提下进一步提升吞吐量。与现有的Spielman码软件实现相比，此优化方案在单线程和多线程执行下分别实现了最高26.7倍和20.6倍的加速。此外，在高端CPU上使用64线程实例化时，该软件在处理小型和中等规模多项式时甚至可比最新的FPGA加速器快4.3倍。该优化成果使得Spielman码在软件平台上具有与高度优化的Reed-Solomon码相竞争的能力。

• https://eprint.iacr.org/2025/2301

If you're interested in our ZK Insights or have ideas for similar content to share, we highly encourage everyone to head over to our Github repo and submit a Pull Request. Join forces with like-minded ZKPunks to co-create!

✨ Github repo link: https://github.com/ZKPunk-Org/zk-insights
✨ Web collection version: https://insights.zkpunk.pro/

Special thanks to: Yingfei , Hins