ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Sun 星期日
01.19
2025
https://mp.weixin.qq.com/s/E6GbCexZ6QNFe6_K2i_J9w
Star Li 分享了RISC0 zkVM的源代码结构，包括Bonsai证明服务、Groth16证明实现、电路接口等，展示了zkVM如何通过Rust语言实现复杂的业务逻辑。
https://eprint.iacr.org/2025/028
Zhu等人在论文中提出了CompGroth16，一个Groth16的变体，旨在支持包含代数和算术组件的析取语句证明，提高了表达能力和证明效率，但验证成本变高了。