Struct zkinterface::zkinterface_generated::zkinterface::Command

pub struct Command<'a> {
    pub _tab: Table<'a>,
}

Optional: Command messages can be used to request actions from the receiver. This makes it possible to write code that works in different environments. Commands and parameters can be passed over the same byte stream as other messages; if so Command must be the first message. This reduces the need for environment-specific methods (it can replace CLI --flags, etc).

Fields

_tab: Table<'a>

Implementations

impl<'a> Command<'a>

pub fn init_from_table(table: Table<'a>) -> Self

pub fn create<'bldr: 'args, 'args: 'mut_bldr, 'mut_bldr>(
    _fbb: &'mut_bldr mut FlatBufferBuilder<'bldr>,
    args: &'args CommandArgs<'args>
) -> WIPOffset<Command<'bldr>>

pub const VT_CONSTRAINTS_GENERATION: VOffsetT

pub const VT_WITNESS_GENERATION: VOffsetT

pub const VT_PARAMETERS: VOffsetT

pub fn constraints_generation(&self) -> bool

For gadget flows. Request the generation of a constraint system (or part thereof). If true, this must be followed by a Circuit. The response must be another Circuit message with a greater free_variable_id followed by one or more ConstraintSystem messages.

pub fn witness_generation(&self) -> bool

For gadget flows. Request the generation of a witness (or part thereof). If true, this must be followed by a Circuit, and the connections variables must contain input values. The response must be another Circuit message, with a greater free_variable_id, with output values in connections variables, followed by one or more Witness messages.

pub fn parameters(&self) -> Option<Vector<'a, ForwardsUOffset<KeyValue<'a>>>>

Optional: Any complementary parameter that may be useful.

Trait Implementations

impl<'a> Clone for Command<'a>

fn clone(&self) -> Command<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for Command<'a>

impl<'a> Debug for Command<'a>

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

Formats the value using the given formatter.

impl<'a> Follow<'a> for Command<'a>

type Inner = Command<'a>

fn follow(buf: &'a [u8], loc: usize) -> Self::Inner

impl<'a> PartialEq<Command<'a>> for Command<'a>

fn eq(&self, other: &Command<'a>) -> bool

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

fn ne(&self, other: &Command<'a>) -> bool

This method tests for !=.

impl<'a> StructuralPartialEq for Command<'a>