本文详细介绍了 Solidity 中的算术运算，包括加法、减法、乘法和除法等基本操作，并阐述了 Solidity 不支持浮点数的原因以及溢出和下溢的处理方式。此外，文章还介绍了如何使用未检查块来允许这些操作，适合希望深入理解 Solidity 算术运算的开发者。
本文介绍了一种新的SNARKs构造方法，用于在整数上进行计算，并提供了一种简单但新颖的方法来构建高效的证明系统。该方法通过使用多线性SNARKs，并结合“具有模余数的承诺方案”这一新工具，将现有的SNARKs“编译”成整数上的论证，实现了高效的范围检查、混合域仿真以及RSA群中的计算验证。
RareSkills
zksecurity