Struct CompilationOptions 

pub struct CompilationOptions {
    pub canonicalize_constraints: bool,
}

Circuit compilation & proving options.

Fields

canonicalize_constraints: bool

Converts all constraints to canonical form using Constraint::canonicalize.

When disabled, proving errors out rather than attempting canonicalization if there are negative exponents.

Canonicalization is carried out inside CircuitBuilder::build.

WARNING: canonicalized constraints may be more permissive than their original form because a negative exponent requires the variable to be different from zero. Starkom does not allow proving with negative exponents, so enable this flag only if your circuit is correctly constrained even when those variables are zero.

Trait Implementations

impl Clone for CompilationOptions

fn clone(&self) -> CompilationOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompilationOptions

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

Formats the value using the given formatter.

impl Default for CompilationOptions

fn default() -> Self

Returns the “default value” for a type.

impl Eq for CompilationOptions

impl PartialEq for CompilationOptions

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CompilationOptions