Enum InputTrust 

pub enum InputTrust {
    Trusted,
    Checked,
}

Whether an emission entry point checks its input program first.

Emission needs the WF-9 per-node merge either way (it is what the backend emits from); this only selects whether the full T2 well-formedness audit runs alongside it. The default is Trusted, so ordinary emission does not run that audit.

Use Checked to request the audit before emitting. In trusted mode, malformed input can produce a wrong circuit, although plan construction and emission still report errors they encounter.

Variants

Trusted

Skip the full T2 audit; still build the required emission plans.

Checked

Run the full T2 audit before emitting.

Trait Implementations

impl Clone for InputTrust

fn clone(&self) -> InputTrust

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for InputTrust

impl Debug for InputTrust

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

Formats the value using the given formatter.

impl Default for InputTrust

fn default() -> InputTrust

Returns the “default value” for a type.

impl Eq for InputTrust

impl Hash for InputTrust

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for InputTrust

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InputTrust