ModulesΒ§
- general π
- merge_
expressions π - redundant_
range πThe redundant range constraint optimization pass aims to remove any BlackBoxFunc::Range opcodes which doesnβt result in additional restrictions on the value of witnesses. - unused_
memory π
FunctionsΒ§
- Applies backend independent optimizations to a
Circuit
. - optimize_
internal πApplies backend independent optimizations to aCircuit
.