Struct zkinterface::reading::Messages

pub struct Messages {
    pub messages: Vec<Vec<u8>>,
    pub first_id: u64,
}

Collect buffers waiting to be read.

Fields

messages: Vec<Vec<u8>>

first_id: u64

Methods

impl Messages

pub fn new(first_id: u64) -> Messages

first_id: The first variable ID to consider in received messages. Variables with lower IDs are ignored.

pub fn push_message(&mut self, buf: Vec<u8>) -> Result<(), String>

pub fn read_file<P: AsRef<Path>>(&mut self, path: P) -> Result<(), String>

pub fn last_circuit(&self) -> Option<Circuit>

pub fn circuits(&self) -> Vec<Circuit>

pub fn connection_variables(&self) -> Option<Vec<Variable>>

pub fn private_variables(&self) -> Option<Vec<Variable>>

impl Messages

Important traits for R1CSIterator<'a>

impl<'a> Iterator for R1CSIterator<'a> type Item = Constraint<'a>;

pub fn iter_constraints(&self) -> R1CSIterator

impl Messages

Important traits for WitnessIterator<'a>

impl<'a> Iterator for WitnessIterator<'a> type Item = Variable<'a>;

pub fn iter_assignment(&self) -> WitnessIterator

Trait Implementations

impl Clone for Messages

fn clone(&self) -> Messages

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> IntoIterator for &'a Messages

type Item = Root<'a>

The type of the elements being iterated over.

type IntoIter = MessageIterator<'a>

Which kind of iterator are we turning this into?

Important traits for MessageIterator<'a>

impl<'a> Iterator for MessageIterator<'a> type Item = Root<'a>;

fn into_iter(self) -> MessageIterator<'a>

Creates an iterator from a value.

impl Debug for Messages

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

Formats the value using the given formatter.