文章探讨了在素数域 $ ext{F}_p$ 中整数除法的挑战,特别是在零知识证明(ZKP)中的应用。强调了传统除法符号可能导致多个有效解的问题,并提供了两种解决方案:比特位除法算法和约束商的其他方法,以确保唯一性和安全性。讨论了使用 Circom 实现的具体代码示例及其优缺点。