Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits

本文研究的是零知识机器学习（ZKML）电路中的「冗余检查」问题及其可证明安全的去膨胀（debloating）技术。背景是：面向神经网络推理的零知识证明系统会把模型编译成大规模算术约束系统，其中包含大量范围证明、符号查找（sign looku

历史摘要 · 未重新核验 · arXiv cs.CR