Struct zkinterface::writing::CircuitOwned

pub struct CircuitOwned {
    pub connections: VariablesOwned,
    pub free_variable_id: u64,
    pub r1cs_generation: bool,
    pub field_maximum: Option<Vec<u8>>,
}

Fields

connections: VariablesOwned

free_variable_id: u64

r1cs_generation: bool

field_maximum: Option<Vec<u8>>

Methods

impl CircuitOwned

pub fn simple_inputs(num_inputs: u64) -> CircuitOwned

pub fn simple_outputs(
    num_inputs: u64,
    num_outputs: u64,
    num_locals: u64
) -> CircuitOwned

pub fn build<'bldr: 'args, 'args: 'mut_bldr, 'mut_bldr>(
    &'args self,
    builder: &'mut_bldr mut FlatBufferBuilder<'bldr>
) -> WIPOffset<Root<'bldr>>

pub fn write<W: Write>(&self, writer: W) -> Result<()>

Trait Implementations

impl Eq for CircuitOwned

impl PartialEq<CircuitOwned> for CircuitOwned

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Clone for CircuitOwned

fn clone(&self) -> CircuitOwned

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> From<Circuit<'a>> for CircuitOwned

fn from(circuit: Circuit) -> CircuitOwned

Performs the conversion.

impl Debug for CircuitOwned

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

Formats the value using the given formatter.