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

Implementations

impl Messages

pub fn new() -> Messages

pub fn new_filtered(first_id: u64) -> Messages

Collect messages. Methods will filter out irrelevant variables. 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<()>

pub fn read_from(&mut self, reader: &mut impl Read) -> Result<()>

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

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

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

pub fn iter_constraints(&self) -> R1CSIteratorⓘ

Important traits for R1CSIterator<'a>

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

impl Messages

pub fn iter_witness(&self) -> WitnessIteratorⓘ

Important traits for WitnessIterator<'a>

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

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 Debug for Messages

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

Formats the value using the given formatter.

impl<'_> From<&'_ Messages> for MessagesOwned

fn from(messages: &Messages) -> MessagesOwned

Convert from Flatbuffers messages to owned structure.

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?

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

Important traits for MessageIterator<'a>

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

Creates an iterator from a value.