acvm::compiler

Module optimizers

Source

Modules§

common_subexpression 🔒
The CommonSubexpressionOptimizer: a meta-transformer which factors common subexpressions out of a Circuit into intermediate witnesses, reducing the total number of opcodes.
general 🔒
redundant_range 🔒
The redundant range constraint optimization pass aims to remove any BlackBoxFunc::Range opcodes which doesn’t result in additional restrictions on the values of witnesses.

Functions§

optimize
Applies backend independent optimizations to a Circuit.
optimize_internal 🔒
Applies backend independent optimizations to a Circuit.