ZK中的32位仿真 in 零知识证明之书 本文介绍了如何在零知识证明（ZK）电路中模拟32位算术运算，由于ZK默认数据类型是有限域元素，而实际计算常用32位、64位或256位数字，因此需要用域元素来模拟传统数据类型。文章详细讲解了32位范围检查、加法、乘法、除法与取模、位移以及位运算的实现方法，并提供了相应的Circom代码示例，同时还讨论了ZK EVM如何处理256位数字。 零知识证明 circom 32位算术 有限域 ZK EVM 范围检查 模运算 RareSkills 发布于 2025-04-16 2958 0 0
