ACIR - 抽象电路中间表示

ACIR 是一种 NP 完全语言，它推广了 R1CS 和算术电路，同时通过使用黑色盒函数而不会失去证明系统特定的优化。

ACVM - 抽象电路虚拟机

这可以看作是 ACIR 编译器。它将 ACIR 实例转换为特定证明系统创建证明所需的格式。

如何向工作区添加新的 crate

• 使用其他 crate 的当前版本创建新的 crate。
• 在根目录 Cargo.toml 中，将新 crate 添加到工作区成员列表。
• 如果您想从多个包中导入它，您可以在根 Cargo.toml 中将其作为依赖项添加。
• In release-please-config.json
  • 添加包条目
  • 将 crate 名称添加到 linked-versions 插件列表
  • 如果您已在根 Cargo.toml 中将其作为依赖项添加，请将其添加到根包的额外文件中。
• In .release-please-manifest.json，将新 crate 添加到与其他相同版本的其他 crate。
• In publish.yml，在依赖项之后将其添加到 publish 作业中。