noir-optimize-acir

This workflow targets ACIR circuit size for constrained Noir programs. It does not apply to unconstrained (Brillig) functions — Brillig runs on a conventional VM where standard profiling and algorithmic improvements apply instead, and bb gates won't reflect Brillig performance.

Libraries cannot be compiled with nargo compile. Instead, mark the functions you want to measure with #[export] and use nargo export:

Artifacts are written to the export/ directory and named after the exported function (not the package).

制約付きノワール プログラムの ACIR 回路サイズを測定および最適化するためのワークフロー。 Noir プログラムのゲート数や回路サイズを最適化する必要がある場合に使用します。 ソース: noir-lang/noir。