ACIR - 抽象电路中间表示

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

ACVM - 抽象电路虚拟机

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

如何将新的crate添加到工作区

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