Struct Options 

#[non_exhaustive]
pub struct Options {
    pub enable_gate_fusion: bool,
    pub enable_constant_propagation: bool,
    pub enable_common_subexpression_elimination: bool,
    pub enable_dead_code_elimination: bool,
    pub enable_algebraic_folding: bool,
    pub enable_scratch_pooling: bool,
    pub enable_zero_propagation: bool,
}

Which compiler passes run.

This is the only knob: a circuit compiles the same way whatever the process environment holds. A caller that wants a non-default pass set builds through CircuitBuilder::with_opts, overriding the fields it cares about:

use binius_frontend::{CircuitBuilder, Options};

let mut opts = Options::default();
opts.enable_gate_fusion = false;
let builder = CircuitBuilder::with_opts(opts);

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

enable_gate_fusion: bool

Inline linear definitions into the non-linear gates that consume them.

enable_constant_propagation: bool

Fold gates whose inputs are all constants.

enable_common_subexpression_elimination: bool

Collapse structurally identical gates.

enable_dead_code_elimination: bool

Drop gates that cannot affect the constraint system.

enable_algebraic_folding: bool

Apply the identities that make an operation return a wire it already has.

• Covers a repeated operand, an absorbing or neutral constant operand, and a zero shift.
• Off means every operation emits its gate.

enable_scratch_pooling: bool

Share scratch slots between values whose lifetimes do not overlap.

• Shrinks the uncommitted segment to the largest number of values alive at once.
• Changes no constraint, since an uncommitted value appears in no operand.
• An uncommitted value’s slot can then be reused by a later one.
• Reading an uncommitted value back through a witness filler panics as a result.

enable_zero_propagation: bool

Forward past the gates a zero operand turns into the identity.

Trait Implementations

impl Clone for Options

fn clone(&self) -> Options

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Options

impl Debug for Options

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Options

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Options

impl PartialEq for Options

fn eq(&self, other: &Options) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Options