Modules§
- common_
subexpression 🔒 - 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.
- unused_
memory 🔒
Functions§
- optimize
- Applies backend independent optimizations to a [
Circuit]. - optimize_
internal 🔒 - Applies backend independent optimizations to a [
Circuit].