Struct CircuitVariable 

pub struct CircuitVariable { /* private fields */ }

Represents a variable within a circuit during construction.

A CircuitVariable is created during circuit building and encapsulates a specific variable type (public, private, local, or constant). It serves as a handle to reference variables in circuit operations and maintains the variable’s type information internally.

Usage

Circuit variables are typically created through:

• VariableIniter methods for creating new variables
• API operations that return intermediate results
• Circuit builder operations that allocate local variables

Implementation Details

The struct contains a VariableType that specifies whether the variable is public input, private witness, local intermediate value, or a constant. This type information is used by the circuit builder to generate proper constraints.

Trait Implementations

impl Clone for CircuitVariable

fn clone(&self) -> CircuitVariable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CircuitVariable

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

Formats the value using the given formatter.

impl Variable for CircuitVariable

fn ty(&self) -> VariableType

Returns the variable type representation for this variable. This is used internally by the circuit builder to track variable usage.