Daily Digest每日摘要View All查看全部

Beimel et al. characterized ideal secret sharing over small domains, proving 4-ideal structures equal F4-linear schemes and 6-ideal schemes require ideality for all domain sizes.Beimel等人在论文中解决了理想秘密共享方案在小域上的特征化问题，证明4理想结构等价于F4线性方案，6理想结构要求所有域大小均理想。

The author measures execution cost in a deterministic RISC-V interpreter and finds up to 23x wall-clock time differences for the same step count across instruction mixes and memory access patterns. Step counting alone cannot tightly bound physical cost, and performance ordering can reverse across machines, challenging protocol-level execution budgets.作者在 deterministic RISC-V 解释器中测量执行成本，发现相同步数下不同指令混合和内存访问模式可导致高达23倍的墙钟时间差异。文章强调，仅靠步数无法紧致约束物理执行成本，且跨机器性能排序会反转，对协议级执行预算提出挑战。

Zhang et al. proposed VERIF, the first dedicated ZK PIOP for IVF-Flat retrieval, verifying the integrity of RAG service retrievals.Zhang等人提出了VERIF，首个针对IVF-Flat检索的专用ZK PIOP，用于验证RAG服务中检索的完整性。

Vitalik Buterin introduces local mixing obfuscation, which removes circuit structure through reversibility, hardening, mixing, and gadgetization.Vitalik Buterin在博客中介绍了局部混合混淆技术，通过可逆化、硬化、混合和 gadgetization 等步骤消除电路内部结构，以实现安全混淆。

Zhang et al. proposed MamaBearZKP, a co-design framework using 49-bit prime fields and AVX-512IFMA to boost ZKP proving throughput on modern CPUs.Zhang等人在论文中提出了MamaBearZKP框架，通过49位素数域与证明栈协同设计，利用AVX-512IFMA指令集大幅提升现代CPU上的ZKP证明吞吐量。

@MystenLabs shared how Sui chose its post-quantum signatures: ML-DSA-65 plus SLH-DSA vaults, with Falcon trade-offs, benchmarks, and a deferred zk migration.@MystenLabs 团队在博客中分享了Sui后量子签名方案的选型，选择ML-DSA-65与SLH-DSA保障高价值资产，并讨论了Falcon的取舍、性能基准和零知识迁移方案。

Lee et al. proposed Sluice, a read-write streaming Groth16 prover that cuts prove-phase memory from O(N) to O(log N) via the SBM algorithm. It preserves the standard interface, trading RAM for sequential storage I/O, and succeeds under an 8GB cap at N=2^23.Lee等人在论文中提出Sluice，一种读写流式Groth16证明器，通过SBM算法将证明内存从O(N)降至O(log N)，在保持标准接口下以顺序存储I/O换取RAM，实验于8GB内存限制下完成N=2^23证明。

Hulek et al. proposed a unified host-agent framework for benchmarking heterogeneous ZK proving systems under a common execution method, ensuring comparability via semantic contracts and validation flags, and evaluated Groth16, Plonky3, and zkVM systems.Hulek等人在论文中提出了统一的主机-代理框架，用于在共同执行方法下对异构ZK证明系统进行基准测试，通过语义合约与验证标志确保各后端在相同声明下可比，并评估了Groth16、Plonky3及zkVM等系统。

Zhang et al. proposed SPEG, the first practical proof system supporting the full image transmission pipeline on personal devices. It supports JPEG compression while preserving C2PA signatures, with optimizations for non-algebraic encoding and floating-point arithmetic. Proving FHD images takes 47s (Poseidon) or 2s (fast mode). Also fixes a security gap in VIMz.张等人提出了SPEG，首个支持个人设备上完整图像传输管道的实用证明系统，支持JPEG压缩并保持C2PA签名有效性，优化了非代数JPEG编码和浮点运算。FHD图像证明耗时47秒（Poseidon模式）或2秒（快速模式），并修复了VIMz的安全漏洞。

Zhong et al. proposed PANDA, a scalable system using ZKPs to prove robustness and fairness of neural networks without revealing private parameters. Its core contribution is a novel algorithm for proving linear relaxation bounds for non-linear activations, enabling lightweight proofs and polynomial scaling.Zhong等人在论文中提出了PANDA系统，利用零知识证明在不泄露模型参数的前提下证明神经网络的鲁棒性与公平性，核心贡献是面向非线性激活层的新型线性松弛界证明算法，显著提升了ZKP的可扩展性。

Samanta et al. proposed Lumora, an arithmetization-oriented family of permutation-based wide-block ciphers optimized for zkSNARK verification and post-quantum signatures.Samanta等人在论文中提出了一族面向算术化的置换型宽分组密码Lumora，用于优化zkSNARK电路中的验证效率，并支持后量子数字签名应用。

Jayaraman et al. proposed TeleZK-FL, combining INT8 post-training quantization with LUT arguments to enable on-device zero-knowledge proving for verifiable federated learning, achieving ~25x faster proofs.Jayaraman等人在论文中提出了TeleZK-FL，结合INT8后训练量化与LUT参数，使边缘设备能够直接生成零知识证明，实现无需信任的联邦学习，证明速度提升约25倍。

STRK20 organized the Private Sprint hackathon, running from Aug 14 to 31, focused on building privacy apps on Starknet mainnet, with a $5,000 STRK prize pool, requiring public building and mainnet deployments.STRK20组织了Private Sprint黑客松，于8月14日至31日举行，聚焦在Starknet主网上构建隐私应用，提供5000美元STRK奖金，参赛者需公开构建并提交主网部署。

Setty instantiated Spartan over binary fields using Ligerito commitments and ring-switching, yielding a transparent, plausibly post-quantum SNARK that proves BLAKE3 at 410,000 hashes/sec on consumer hardware.Setty等人在论文中提出将Spartan实例化至二进制域，采用Ligerito承诺与ring-switching技术，实现无需可信设置的透明后量子SNARK，并在消费级硬件上达成每秒41万次BLAKE3证明。

@drakefjustin announced EF is dropping Poseidon for SHA/BLAKE, as binary-field SNARKs like Binius and Flock make traditional hashes efficient. Targets leanVM in 2027 and deployments in 2028.@drakefjustin 宣布以太坊基金会放弃Poseidon，转向SHA或BLAKE。基于二进制域的SNARK设计（如Binius、Flock）使传统哈希在SNARK中高效可用，计划2027年推出leanVM，2028年部署。

Xia et al. proposed Limber, a low-overhead integer SNARK with an integer mod-PCS, enabling generic non-native arithmetic over any PCS, achieving 67x faster RSA proofs.Xia等人在论文中提出了一种低开销整数SNARK方案Limber，通过构造整数模PCS实现任意PCS的非原生算术处理，可证明RSA算术比现有电路方案快67倍以上。

Frolov et al. propose zk-Cinema, proving video provenance in zero knowledge. They model video edits as matrix multiplications, design a SNARK-friendly video representation (sfvr), and optimize NeutronNova folding for scalable, efficient proofs.Frolov等人在论文中提出zk-Cinema，用于零知识证明视频来源。该系统将视频编辑表示为矩阵乘法，设计了SNARK友好的视频表示sfvr，并优化NeutronNova折叠方案，实现高效的大规模视频溯源证明。

Collomosse proposes soft redaction of image provenance via ZKPs, enabling privacy-preserving distance proofs over hidden data, such as location proximity, biometric likeness, and perceptual hash, compatible with C2PA.Collomosse在论文中提出基于零知识证明的图像来源软删除机制，可在C2PA框架下用ZKP证明隐藏属性的距离性质，兼顾隐私与信任，支持位置、生物特征和感知哈希等场景。

Blockstream Research shared their parameter search for the SHRINCS post-quantum signature scheme, screening 25,935 candidates to find options ~25% smaller than SLH-DSA with lower verification cost, and open-sourced an explorer.Blockstream Research在博客中分享了为SHRINCS后量子签名方案搜索参数的过程，通过筛选25,935个候选，找到了比SLH-DSA小约25%且验证成本更低的备选方案，并发布了开源参数探索器。

fightfake.ai released open media-authenticity tooling that combines hardware-rooted capture signatures, edit proofs, and C2PA manifests so browsers can verify genuine capture and claimed modifications.fightfake.ai 发布开放媒体真实性工具，结合相机安全硬件签名、逐次编辑证明与C2PA清单，让浏览器验证影像是否源自真实采集，以及后续改动是否与声明一致。

@openvm_org released OpenVM 2.1 Preview with 64-bit RISC-V and native recompilation, enabling real-time Ethereum block proving on four RTX 5090 GPUs. It is unaudited and not recommended for production.@openvm_org 发布OpenVM 2.1预览版，引入64位RISC-V与原生重编译，使用4张RTX 5090即可实时证明以太坊主网区块；该版本尚未完成审计和形式化验证，不建议用于生产环境。