2024Q4 ZKP新闻
十二月
2024.12.18
【论文】
Frigo等人在论文《Anonymous credentials from ECDSA》中提出了一种基于ECDSA的新匿名凭证方案，通过高效的zk证明解决了SHA256和文档解析问题，无需更改现有发行者流程或设备，适用于隐私保护的数字身份应用。 链接
Gu等人在《PoneglyphDB: Efficient Non-interactive Zero-Knowledge Proofs for Arbitrary SQL-Query Verification》论文中提出了PoneglyphDB，通过非交互式零知识证明支持数据保密性和查询处理的可验证性。 链接
【视频】
- 视频详细介绍了折叠方案的定义、特性、应用及其在Nova方案后的进展，特别是Hypernova的定义和协议。 视频
【博客】
ZKV分享了《ZK in Sui》关于Sui上的ZK技术应用，讨论了隐私保护和安全漏洞等关键问题。涉及到zkLogin登录和Kelp账户恢复等应用。 链接
Succinct团队在ZK-Residency项目中分享了《Your definitive guide to zkVMs》关于zkVM的详细指南，比较了SP1、RISC0、Jolt、Nexus、Delphinus和Powdr等zkVM在多种加密算法上的表现。 𝕏
Crypblizz分享了《Crypto Companions: The PET ecosystem (MPC / FHE / TEE & ZK)》对隐私增强技术（PETs）的深入探讨，涵盖了MPC、FHE、TEE和ZK等技术的历史、演变及其在Web3行业中的重要性。 链接
NPLabs团队分享了《A primer on hybrid Merkle trees》关于hybrid Merkle Trees的技术介绍，探讨了其在plonky3和递归证明中的应用，提供了详细的技术入门指南。 𝕏
Josh Beal在博客《Mira: Generic Accumulation Scheme for Special-Sound Protocols》中提出了一种通用的累积方案，适用于特殊可靠性的协议（类Protostar），显著提高了配对基论证的折叠效率。 博客
【开源】
rkdud007发布了awesome-zkvm开源zkVM列表，涵盖了多个项目和资源，支持并行证明和GPU证明的横向对比等功能。 链接
shield-labs团队发布了zkLogin开源项目，允许用户在Base(兼容EVM)上使用Google/Apple账户进行自托管登录。 链接
Axiom, Scroll等团队发布了OpenVM开源项目，这是一个优先考虑模块化和可扩展性的zkVM框架，支持开发者添加自定义操作码、电路和证明系统。 链接
【信息】
Antalpha Lab发布zkVM的课程安排，从2024年12月30日开始的4周时间，欢迎感兴趣的同学报名。 链接
Lagrange推出了Infinite Proving Layer，扩展了其ZK Prover Network，为ZK rollups提供证明生成。 链接
Daniel Shorr宣布加入Tools for Humanity，致力于构建全球最大的真实人类网络，通过zkAI技术实现隐私和安全的认证。 𝕏
Lita团队发布了Valida 0.7.0更新，首次支持WASM编译器工具链，并增强了zkVM堆栈的开发体验。 链接
2024.12.11
【论文】
Pham等人在《Lova: Lattice-Based Folding Scheme from Unstructured Lattices》论文中提出了一种基于格的折叠方案Lova，旨在实现从格的IVC解决了传统依赖递归SNARKs的局限性。 论文， 博客
Baweja等人在《Scribe: Low-memory SNARKs via Read-Write Streaming》论文中提出了Scribe，一种低内存SNARK，通过利用磁盘存储在廉价设备上高效证明大陈述，显著减少内存需求并优化I/O成本。 论文
【视频】
RISC0上传了PROVABLE Bangkok的活动录屏。 视频列表
在ZK Hack视频《Integrating zkVerify into your dApp》中详细介绍了zkVerify的功能及使用方法。 视频
在ZK Hack视频《Range Checks using Polygon Plonky3 + Puzzle V-3》 中演示了关于使用Plonky3进行范围检查的工作坊，并启动了Puzzle V-3竞赛。 视频
在视频《How (Not) to Simulate PLONK》中讨论了PLONK ZKP系统的关键发展，特别是他们团队发现的原始PLONK中的漏洞及其修复。 视频
ratan总结了关于ZK Benchmarking Standards小组讨论视频的一些要点，包括基准测试的现状及其过去一年的演变。 𝕏， 视频
【博客】
zkSecurity团队深入Jolt zkVM，详细介绍了其基于RISC-V架构的设计，特别是通过Lasso查找参数证明VM执行的正确性，并分析了指令查找、离线内存检查和R1CS等关键组件。 博客
Tekkac在博客《Zero-Knowledge Magic for Cheap》中介绍了如何在Starknet上使用零知识证明，并详细说明了使用Circom和Garaga进行证明生成和验证的过程。 博客
Hannes Huitula在Equilibrium博客《Will ZK Eat The Modular Stack?》中探讨了ZK与模块化堆栈的关系。 博客
Hylé博客《play-by-email provable games》讨论了zkChess，一个使用zkEmail和RISC Zero构建的邮件可验证游戏引擎。 博客
Ingonyama团队在博客中回顾了曼谷的ZK Accelerate大会。 博客
Brave团队在博客《Commitments and zero-knowledge attestations over TLS 1.3: DiStefano protocol》中披露和分享了DiStefano协议，该协议基于TLS 1.3，简言之就是在浏览器中实现了zkTLS。 博客
Nicolas在博客《Chosen-Instance Attack》中讨论了非零知识证明下的应用隐私问题，并介绍了选择实例攻击的概念。 博客
Mina在《Why is Mina One of the Best Environment for Rollups?》中讨论了其作为Rollups最佳环境的理由，包括使用递归证明、同构结构和去中心化证明市场等。 链接
【开源】
- Blockblaz团队发布了Zeam开源项目，这是Beam客户端用Zig进行的生产级实现。 代码
【信息】
Antalpha Labs将于2024年12月11日20:00（UTC+8）举办线上ZOOM分享会，主题为zkTLS用于可验证的Web私有数据集成。 链接
Solana在推特上分享了其zk和可验证性领域的最新动态，介绍了Solana上的zk、可验证性和隐私项目。 𝕏
Aligned Foundation感谢Ethereum和ZK领域的工程师和研究人员，并发放空投（本周五截止）。 链接
Aztec发布了Noir 1.0预发布版本。 𝕏
2024.12.4
【论文】
Liu等人在《On Witness Encryption and Laconic Zero-Knowledge Arguments》论文中探讨了Witness Encryption与Laconic Zero-Knowledge Arguments的等价性，揭示了NP语言的加密与零知识证明之间的紧密联系。 论文
Huber等人在《ZK-SNARKs for Ballot Validity: A Feasibility Study》论文中探讨了使用ZK-SNARKs验证电子投票中选票有效性的可行性，主要贡献包括对多种投票方法和选票格式的实现、基准测试和比较。 论文
【视频】
- ZKM提供了一套一站式的ZKP教学资源视频。 链接
【博客】
Hylé团队讨论了构建可证明应用的挑战，并讲解如何通过证明可组合性简化开发过程，节省时间和精力。 博客
krane等人在一篇博文中讨论了以太坊共识层的未来路线图，包括降低时隙时间、加快最终性和以太坊共识的'snarkification'。 博客
niallinio在Aztec上分享了费用分摊合约的制作教程《Aztec Contracts 0--100》，涵盖了合约编写与演示前端交互等内容。 博客
krishang.eth发布博客《Tornado Cash: a reference manual for developers》全面分析了Tornado Cash，涵盖了架构概述、Circom电路、Solidity智能合约及证明生成与验证的JavaScript实现。 博客
Succinct Labs团队更新了SP1文档，明确指出其与RISC-V官方实现的偏差，包括内存访问对齐和统一地址空间。 𝕏， 博客
WongSSH发布博客《椭圆曲线密码学与 Typescript 实现》详细介绍了椭圆曲线密码学及其在Ethereum中的应用，特别是secp256k1算法的实现。 博客
Cysic团队在《How Fast We Can Go: Proving Million Keccak Function Per Second》博客中展示了Cysic C1芯片在Keccak函数证明中的性能，每秒可证明1.31M Keccak函数，通过GKR证明系统和深度优化实现。 博客
FHE Onchain在博客《zkLWE: Proving Homomorphic LWE Addition Using Plonky2》中介绍了如何使用Plonky2库在Rust中构建一个基于LWE的加密系统，实现同态加法，并通过ZKP进行验证。 博客
【开源】
- Irreducible团队发布了Binius-Models开源项目，包含多种Python实现的加密算法和协议模型，适用于Binius项目，该项目为教学目的。 代码
【信息】
Antalpha Labs发布12月1日的ZKP相关总结笔记。 链接
以太坊基金会启动了Poseidon密码分析计划，旨在提升Poseidon哈希函数的安全性研究。 链接
MatterLabs团队分享了ZK Email项目的安全评估结果，揭示了17个安全问题，其中三个关键漏洞涉及邮件解析差异、ZK正则表达式电路约束不足和URL参数注入。 链接
TACEO团队发布了关于coSNARKs的资源，帮助用户快速了解和掌握coSNARKs技术。 链接
ZKsync团队发布了ZKsync Smart Sign-On (SSO)，简化开发者管理用户认证、会话和交易处理。 链接
Ethereum基金会启动ETH Rangers计划，旨在激励Ethereum生态系统的公共物品安全工作，提供为期六个月的$25,000美元资助。 链接
Paul Gafni回顾了zkVM中"precompiles"的历史及其发展。 𝕏
TACEO在Devcon7活动中展示了与Cursive和PSE合作构建的第一个生产就绪的coSNARKs，并在alphanet中生成了首个使用真实数据的证明。 链接
Oleh发布了关于zklogin与EIP7702的视频，演示了如何使用passkey和Google账户连接EOA，并进行ETH交易，包括恢复过程的详细步骤。 𝕏
欧盟数字身份钱包将引入多项隐私和安全功能，包括选择性披露属性和隐私仪表板，确保用户数据控制和防止身份盗窃。 链接
十一月
2024.11.27
【论文】
Ingonyama在他们最新的notes《New Bears at the Bear Market: Introducing Polar Bear and Teddy Bear Prime Fields》中介绍了两个新域：Polar Bear
和Teddy Bear 及其性质。 论文 Wang等人在《Cirrus: Performant and Accountable Distributed SNARK》论文中提出了首个具有线性计算复杂度的可问责分布式SNARK证明生成协议，支持通用可信设置，并实现了高效的水平扩展和低通信成本。 论文
zkSecurity分享了零知识证明的发展历程，重点回顾了10篇具有里程碑意义的论文。 博客
Yang等人在《Siniel: Distributed Privacy-Preserving zkSNARK》论文中提出了一种zkSNARK隐私委托框架Siniel，基于PIOP和PCS构建，允许计算能力有限的证明者将证明生成任务委托给多个工作者，同时不泄露私有见证信息。 论文
【视频】
Ingonyama发布视频《10x Faster Sumcheck over Binary Tower Fields》针对《The Sum-Check Protocol over Fields of Small Characteristic》论文进行讲解。 视频
Ingonyama发布动画短视频《Sum-Check 101》形象化的介绍Sumcheck协议。 视频
Giacomo Fenzi发布视频《STARKs & Friends》介绍STARK及其相关证明算法。 视频
ZK Hack组织社区系列视频共同阅读和学习《SNARGs Book》，由该书作者Chiesa教授主讲，正在连载。 视频列表
【博客】
Anon Aadhaar团队分享了在Devcon上关于ZKP、可编程加密（ProgCrypto）等隐私安全方向的思考。 博客
zkSecurity在博客《Improving the Security of the Jolt zkVM》中披露了Jolt中的一个bug--将执行轨迹截断也能产生正确的proof，并进一步在博客《zkVM Security: What Could Go Wrong?》中探讨了zkVM的安全性问题。 博客1， 博客2
在Devcon上被重点提出的"圣杯"概念--iO（Indistinguishability Obfuscation），也有博客在讨论。 博客， 中文翻译
Brevis提出了SpaZK，一种专注于ZKML协议，包括通过模型简化技术和专门设计的ZK证明协议实现近100倍的效率提升。 博客， 𝕏
zkSecurity发布博客《ZNARKs: SNARKs for The Integers》，对利用整数域而非有限域的SNARK（出自论文《Fully-Succinct Arguments over the Integers from First Principles》）进行了介绍和解释。 博客， 对应论文
Formal Land分享了针对Noir程序的正式验证工具coq-of-noir的详细内容，包括语义规则、内存处理和循环定义等方面的内容。 博客
【开源】
Polyhedra Network团队开源了Expander，宣称是迄今为止最快的ZK证明系统，其通过GKR协议与多项式承诺方案结合。 代码
RISC0发布了开源 Kailua，这是一个用于将OP升级为混合 ZK Rollup的方案。其引入的欺诈证明游戏，可以减少抵押要求和最终性延迟。 代码， 链接， 原理介绍
zkSecurity与Zircuit团队合作推出了Halo2开发的开源课程，旨在教授Rust开发者从零开始构建Halo2电路。 代码， 课程主页
有人发布了ZKP编程语言使用情况比较，并将比较代码进行了开源。一个有趣的数据：Circom电路代码仓库约600个，zkVM电路代码仓库约1200个。 代码
有人发布了zkVM的开发模版项目，一个脚本完成多个zkVM的设置，包括Jolt、SP1、RISC0。 代码
有人利用SP1存储证明实现以太坊上的存储证明。 代码
【信息】
Antalpha Labs发布11月24日的ZKP相关总结笔记。 链接
SP1/Jolt最近的一个工作重点是实现自动形式化证明（使用Lean），以提高代码实现的正确性。 链接
zkSecurity团队发布了noname 3.0，包括原生提示、标准库和编译器可视化工具等。 链接
2024.11.6
【论文】
Lie等人在《Push-Button Verification for BitVM Implementations》论文中提出了一种针对BitVM实现的正式验证工具，设计了基于寄存器的DSL，简化了复杂堆栈操作，并通过CEGIS过程提升了验证效率，成功验证了94%的基准测试案例。 论文
Tiancheng Xie发布技术报告《Advances in Zero-Knowledge Proofs: Bridging the Gap between Theory and Practice》，详细阐述了一系列零知识证明协议------Libra、deVirgo、Orion和Pianist。 论文
Seungwoo Kim等人在《zkMarket : Privacy-preserving Digital Data Trade System via Blockchain》论文中提出了一种基于区块链的隐私保护数据交易系统zkMarket。该系统可确保交易隐私和公平性，并利用CP-SNARK和MatPRG提高了数据注册和交易的效率。 论文
张宗洋等人在《零知识证明递归与复合技术研究综述》论文中系统研究了零知识证明的递归与复合技术，分析了其在代数、非代数和复合断言中的应用，为提升协议性能和功能拓展提供了全面视角。 论文
【视频】
【博客】
Succinct分享了EVM对象格式（EOF）升级（EIP-7692）对增强ZKP性能等方面的影响。 𝕏， 博客， EOF
Mina讨论了Mina协议上的zkML，包括其在去中心化AI中的应用、计算验证和数据隐私保护等方面的内容。 博客
Polyhedra 团队分享了在 GPU 加速 ZKP 方面的突破，包括 Sumcheck 协议的显著优化、提升轻客户端安全性和状态验证效率等内容。 𝕏， 博客
TACEO团队在博客中探讨了诚实多数多方计算（MPC）在协同SNARKs（coSNARKs）中的效率，包括其安全模型和性能优势等方面的内容。 博客
【开源】
【信息】
Antalpha Labs发布11月3日的ZKP相关总结笔记。 链接
Argument宣布他们的Lurk（ZKP DSL）将在2025支持Lisp以外的语言，如OCaml和JavaScript，同时也将支持除Nova和Plonky3之外的Binius后端。 𝕏
Fabric 和 RISC Zero 达成合作，以加速 VPU 上的 Boundless。 𝕏
=nil; Foundation发布了Testnet v1。 𝕏
BitVM生态参与者Citrea宣布14M的融资。 𝕏
Snarkify团队在ZPrize竞赛中再次获胜，专注于基于BLS12-381使用Plonk证明系统加速Merkle树证明，实现了单个商用GPU上比CPU基准快900倍的突破。 𝕏
RISC Zero团队发布了zkVM的v0.15版本，引入了continuations功能，能够更好的支持并行，并运行任意长度的指令。 链接
Chainlink发布了隐私保护套件，包括CCIP隐私交易、区块链隐私管理器和DECO沙盒，重要特性是利用ZKP确保跨链交易的数据保密性和合规性。 链接
Lagrange发布了DARA，这是一种专为ZK证明网络设计的新型双拍卖资源分配机制，实现证明网络的高效资源分配。 链接
Space and Time发布了SXT Chain Testnet，其提供ZK-proven数据处理能力，使智能合约能够访问更多数据源。 链接
powdr labs 发布了 powdrVM 0.1，包括支持多种后端（Plonky3、Halo2、PIL STARK、Eigen's Starky）、标准 Rust 兼容性和模块化架构，重要特性是未来适应性和高性能。 𝕏， 链接
【工具】
- 有人发布了ZK统计数据，包括以太坊主网ZK项目的证明量及费用支出。 链接
【活动】（曼谷专场ZKP活动精选）
11月8日～10日 白天，《MEME.ZKWASM() Bangkok Hackathon》，主办：Delphinus Lab。 链接
11月9日 白天，《House ZeR0 Day: Fenbushi Research House》，主办：RISC0。 链接
11月10日～11日 白天，《ZK Hub Bangkok》，主办：ZK Hub。 链接
11月10日 下午，《Proof Summit @ Devcon》，主办：Lagrange。 链接
11月10日 晚上，《PROVABLE Bangkok》，主办：RISC0，Celestia。 链接
11月10日～11日 白天，《Aggregation Summit》，主办：Polygon。 链接
11月11日 白天，《ZK Accelerate》，主办：Ingonyama。 链接
11月11日 白天，《Aztec NoirCon 0》，主办：Aztec。 链接
11月11日 下午，《ZK Connect》，主办：Brevis。 链接
11月11日 晚上，《ZK Hack Meetup in Bangkok》，主办：ZK Hack。 链接
11月11日 晚上，《ZK Night @ Devcon》，主办：ETH Belgrade。 链接
11月13日 白天，《FHECon: The Frontier of Digital Sovereignty》，主办：zkBankai。 链接
11月13日 下午，《zkBankai PlonkCafÈ》，主办：zkBankai。 链接
11月14日 下午，《Encryption Day: ZK, FHE, & MPC》，主办：Fhenix。 链接
11月14日 晚上，《zkSecurity + Lita Meetup》，主办：zkSecurity。 链接
11月16日 白天，《zkTLS for Founders》，主办：Madhavan。 链接
十月
2024.10.23
【论文】
Li等人在《fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup》论文中，设计fAmulet工具，检测Polygon zkRollup中的最终化失败漏洞，发现12个零日漏洞，并在Scroll zkRollup中发现另一个零日漏洞，展示了其通用性。 论文
Nitulescu等人在《FLIP-and-prove R1CS》论文中提出通过新的FLIP折叠方案将R1CS实例折叠成宽松R1CS实例，显著减少了SNARK证明生成的时间和通信复杂度，无需递归证明组合，其应用为Filecoin。 论文
Gama等人在《Blind zkSNARKs for Private Proof Delegation and Verifiable Computation over Encrypted Data》论文中，首次实现了将zkSNARK证明生成私有地委托给单个服务器的实际应用。通过同态计算zkSNARK证明生成，显著减少了客户端计算时间，实现客户端几秒的计算，服务器上20分钟的计算。 论文
Pappas等人在《Sparrow: Space-Efficient zkSNARK for Data-Parallel Circuits and Applications to Zero-Knowledge Decision Trees》论文中提出了一种新型空间高效zkSNARK，名为Sparrow，适用于数据并行算术电路。该方案在证明者空间和时间上显著优于现有方案，并在树训练和预测中实现了显著的空间节省。 论文
Bogdanov 等人在《ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs》论文中提出了一种用于零知识证明的领域特定语言 ZK-SecreC。该语言具有独特的类型系统，支持保密性和完整性类型的分配，并通过实证评估展示了其编译器生成的语句大小和运行时间的有效性。 论文， 代码
【视频】
Sumcheck Builders Seminars 举办了一系列关于ZKP中sumcheck协议的研讨会，网站上有过去的视频列表及未来研讨会计划。 网站
ZK Summit 12的剪辑视频，及分会场视频已公开。 视频链接
Tiwari在《3 Pre-Singularity Privacy Problems》中讨论了个人智能代理的隐私计算问题，提到目前仅Apple一家公司在该领域尝试。 视频
Giacomo Fenzi在Nexus Speaker Series中分享了关于STIR和WHIR的邻近测试与约束测试的研究，其形象化的讲解ZKP系统演化历史值得作为学习材料。 视频
Antalpha Labs分享了一系列关于ZKP数学原理的白板展示课程，包括FFT、FRI和STARK等。 视频列表
Reclaim Protocol发布了一系列关于zkTLS的基础讲解视频，从基础加密算法到TEE/MPC/Proxy与TLS结合的对比。 视频列表
【开源】
【信息】
Antalpha Labs发布10月20日的ZKP相关总结笔记。 链接
ZEROBASE获得500万美元融资，由BinanceLabs等多家机构参投。专注于实时ZK证明网络。 𝕏
阿根廷的布宜诺斯艾利斯政府已为360万居民推出基于区块链的数字身份，通过QuarkID和ZKsync Era协议实现去中心化。 新闻
2024.10.16
【论文】
Campanelli等人在《Fully-Succinct Arguments over the Integers from First Principles》论文中提出了一种基于整数的SNARK构造方法，解决了在有限域上模拟整数运算的开销问题。 论文
Arun等人在《Nebula: Efficient read-write memory and switchboard circuits for folding schemes》论文中提出了一种新的折叠方案技术，显著优化了增量可验证计算(IVC)的读写内存和电路设计，实现了更小的约束系统和更快的证明生成速度。 论文
Kothapalli等人在《NeutronNova: Folding everything that reduces to zero-check》论文中提出了一种新的零检查关系折叠方案，该方案通过双轮协议实现，内部调用一轮sum-check协议，相比现有技术更高效，并支持多实例折叠。 论文
Brehm等人在《Blaze: Fast SNARKs from Interleaved RAA Codes》论文中提出了一种多线性多项式承诺方案Blaze，该方案通过结合代码切换技术和重复累积累积（RAA）码。证明、验证效率更高，证据尺寸更小。 论文
Domb等人在《Really Complex Codes with Application to STARKs》论文中提出了一种利用复数域DFT构建实值RS码的方法，该方法在效率上与DCCT相当，并兼容传统技术和优化。 论文， 𝕏
【视频】
Aptos Lab的Benny Pinkas在讲座《Distributed randomness using weighted VRFs》中分享了如何通过加权VRF在区块链中引入共享随机性。 视频
Abhi Shelat在讲座《Threshold ECDSA in 3 rounds》中提到他们团队重写了ECDSA签名方程，并开发了适用于最小MPC协议的分布式密钥生成和阈值签名的计算和验证方法，包括3轮或2轮（带预处理）的签名协议，运行时间仅为毫秒级。 视频
Mysten Labs (Sui)的 Deepak Maram 在讲座《zkLogin》中详解了zkLogin的方法和问题及解决方案。 视频
【博客】
- Telos团队分享了最新的加密证明生成与聚合技术Plonky2 Goldibear，包括在BabyBear域上实现显著性能提升等方面的内容。可以做到聚合1024个RISC0 Proof花费6.1秒。 𝕏
【开源】
【信息】
Antalpha Labs发布10月13日的ZKP相关总结笔记。 链接
Hashflow发布了Exchange OS (xOS)，这是一个利用Risc0的ZK证明和Celestia的DA层技术的通用ZK结算层，旨在使任何(中心化)交易所的交易都可在链上证明。 𝕏， 链接
2024.10.9
【论文】
Mikhail Komarov在《Bitcoin PIPEs: Covenants and ZKPs on Bitcoin Without Soft Fork》论文中提出了一种在不进行软分叉的情况下，通过比特币PIPEs框架实现零知识证明验证的方法。该方法利用PIPE(Polynomial Inner Product Encryption)模拟缺失的契约，并引入nil Foundation新提出的Placeholder证明系统的验证，为比特币上的ZKP验证提供了新途径。 论文， 𝕏
Atapoor等人在《STARK-based Signatures from the RPO Permutation》论文中提出了一种基于RPO排列的数字签名方案，通过DEEP-ALI和BCS变换确保了EUF-CMA安全性，并在单核上实现了13毫秒的签名生成速度和1毫秒的验证速度。 论文
Arnon等人在《WHIR: Reed--Solomon Proximity Testing with Super-Fast Verification》论文中提出了一种新的IOP协议WHIR，验证时间通常在几百微秒内，远快于现有技术的几毫秒。WHIR适用于多线性多项式和单变量多项式的查询，实现了高效的SNARG和多项式承诺方案。 论文， 𝕏
Nick等人在《Shielded CSV: Private and Efficient Client-Side Validation》论文中提出了一种全隐私的客户端验证协议，该协议可在比特币上隐藏交易历史，每笔交易链上成本固定为64字节，支持t-of-n账户和原子交换。 论文， 𝕏
Garreta等人在《FLI: Folding Lookup Instances》论文中提出了FLI和FLI+SOS两种折叠方案，通过PIOP验证矩阵行是否为基本基向量，并结合随机系数进行矩阵组合，FLI+SOS进一步利用SOS可分解性，实现了对大型表的折叠。 论文
【视频】
2024年POW峰会于9月27-29日举行，涵盖比特币L2、新兴协议、挖矿可持续性和隐私保护等主题。 日程， 视频列表。
ZKSummit12在葡萄牙里斯本举行，涵盖了ZKP的最新进展和应用，现已可以看回放。 回放
在ZKSummit12上，ZKV与Cursive合作做了NFC卡片，结合移动端应用实现了ZKP、MPC等功能。 视频， 代码
【博客】
nil Research 讨论了基于FRI的分布式SNARK证明生成，包括透明设置、PQ安全性、效率权衡等方面的内容，可以提高证明生成效率。 博客
zkSecurity分享了WE-KZG（Witness Encryption -KZG）见证加密方案的讲解。 博客
Moudy团队分享了zkVM测试报告《zkVM Testing Report》，评估了用于Nescience架构（他们团队提出的架构）的zkVM，测试包括SP1、RISC0、Nexus、zkMIPS、ZKWASM、Valida。 博客
RAFAL0X分享了关于Nova折叠方案的深入探讨《Nova Folding and Recursive Proofs》，并通过手写Nova的方式进行讲解。 博客
Argument发布博客《Lookups in Lurk》讨论了Lurk的查找架构，包括logUp技术在不同分片间传递计算值的应用，并指出直接应用LogUp可能导致的正确性问题。 部分1， 部分2。
【开源】
Circom 发布2.2.0版本，包括"buses"功能，重要特性是能够结构化电路信号并使用类型区分数据。 代码
1kx发布了zkSafe，这是一个增强Safe多签签名隐私性的模块，重要特性包括使用ZKP隐藏签名者身份，并提供无后端UI，使开发者能够在分叉链上无缝使用Safe。 代码， 博客
【信息】
Antalpha Labs发布10月6日的ZKP相关总结笔记。 链接
zkHack（zkMesh）发布了2024年9月ZKP相关动态回顾。 链接
RISC Zero 发布了 Steel 1.0，这是一个 EVM 智能合约执行证明器，比如可以用300k gas的链上代价证明1.2b gas的合约调用。 𝕏， 博客
Fabric Cryptography 与 Polygon 合作发布了 VPU 加速 ZK 证明系统的创新方案，包括软硬件协同设计以及定制 VPU 指令等。 𝕏
zkP2P继续利用zkTLS和zkEmail相关技术基础，将其业务扩展到Web2域名的二级交易。 𝕏
zkP2P宣布暂时禁用Venmo的集成功能，原因是支付收据邮件更新删除了关键信息。这是zkEmail服务依赖三方信息的典型脆弱案例。 𝕏
有人在组织Sumcheck Builder Group，有兴趣可以去参加。 𝕏