1. 引言 前序博客见： 有限域的Fast Multiplication和Modular Reduction算法实现 代码实现见： https://github.com/risc0/risc0/blob/main/risc0/core/src/field/baby_bear.rshttps://github.com/risc0/risc0/tree/main/risc0/circuit/r