ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Sun 星期日
01.19
2025
https://mp.weixin.qq.com/s/E6GbCexZ6QNFe6_K2i_J9w
Star Li shared the source code structure of RISC0 zkVM, including the Bonsai proving service, Groth16 proof implementation, and circuit interfaces, demonstrating how the zkVM implements complex business logic using Rust. Star Li 分享了RISC0 zkVM的源代码结构，包括Bonsai证明服务、Groth16证明实现、电路接口等，展示了zkVM如何通过Rust语言实现复杂的业务逻辑。
https://eprint.iacr.org/2025/028
Zhu et al. introduced CompGroth16 in their paper on , a variant of Groth16 designed to support disjunctive statements that include both algebraic and arithmetic components, which improves expressiveness and proof efficiency but increases verification cost. Zhu等人在论文中提出了CompGroth16，一个Groth16的变体，旨在支持包含代数和算术组件的析取语句证明，提高了表达能力和证明效率，但验证成本变高了。