Invoke Yosys to perform circuit optimization.
This pass invokes Yosys to convert an arithmetic circuit to an optimized boolean circuit that uses the arith and comb dialects.
Note that booleanization changes the function signature: multi-bit integers
are transformed to a tensor of booleans, for example, an
i8 is converted
The optimizer will be applied to each
secret.generic op containing
arithmetic ops that can be optimized.
abc-fast: Run the abc optimizer in “fast” mode, getting faster compile time at the expense of a possibly larger output circuit.
unroll-factor: Before optimizing the circuit, unroll loops by a given factor. If unset, this pass will not unroll any loops.
print-stats: Prints statistics about the optimized circuits.
total circuit size : The total circuit size for all optimized circuits, after optimization is done.