snarkvm-nonnative

lib.rs:

此库为 snarkVM 约束编写平台提供非原生域小工具。在给定的合理非原生小工具参数下，非原生域小工具可以用作标准 FieldVar。

此文件包含三个结构的实现：

• NonNativeFieldParams 指定约束素域（称为 BaseField）、模拟素域（称为 TargetField）以及由 Python 脚本搜索的内部参数（参见 README.md）。
• NonNativeFieldVar 实现了用于在 BaseField 内模拟 TargetField 算术的 FieldVar。
• NonNativeFieldMulResultVar 是乘法结果的中间表示，它从 FieldVar 接口隐藏，并留给希望获得更好性能的高级用户。

上面提到的 Python 脚本可以在 scripts 子目录中找到。