ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
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证明验证的脚本长度。Kolobovらは論文でColliderVMを提案しました。これは、従来の署名ストレージコンポーネントをハッシュ衝突コミットメントに置き換えることで、Bitcoin上でのステートフルな計算を実行する新しい手法であり、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电路的转换。Xieらによる論文では、zkPyTorchが提案されています。これは、PyTorchのようなMLフレームワークとExpanderのようなZKPエンジンをシームレスに統合し、ZKML開発を簡素化するコンパイラです。本ツールは、3つの主要なコンポーネントを通じてML操作を自動化し、ZKPサーキットの最適化を実現します。