ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Wed 星期三
04.09
2025
https://eprint.iacr.org/2025/591
Kolobov et al. proposed ColliderVM in the paper, a new method for executing stateful computations on Bitcoin, replacing traditional signature storage components with hash collision commitments, significantly reducing the length of STARK proof verification scripts. Kolobov等人在论文中提出了ColliderVM，一种在比特币上执行状态计算的新方法，通过基于哈希碰撞的承诺替代传统签名存储组件，显著缩短了STARK证明验证的脚本长度。
https://eprint.iacr.org/2025/535
Xie et al. proposed zkPyTorch in the paper, a compiler that seamlessly integrates ML frameworks like PyTorch with ZKP engines like Expander, simplifying ZKML development. It automates ML operations to optimize ZKP circuits through three key components. Xie等人在论文中提出了zkPyTorch，一个将ML框架如PyTorch与ZKP引擎如Expander无缝集成的编译器，简化了ZKML的开发。通过三个关键组件自动化ML操作到优化ZKP电路的转换。