Struct Proof 

pub struct Proof<F, G> { /* private fields */ }

A proof demonstrating knowledge of a Witness satisfying a Claim relative to a Circuit.

See prove and verify.

Trait Implementations

impl<F: Clone, G: Clone> Clone for Proof<F, G>

fn clone(&self) -> Proof<F, G>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: EncodeSize, G: EncodeSize> EncodeSize for Proof<F, G>

fn encode_size(&self) -> usize

Returns the encoded size of this value (in bytes).

fn encode_inline_size(&self) -> usize

Returns the encoded size excluding bytes passed to BufsMut::push during Write::write_bufs. Used to size the working buffer for inline writes. Override alongside Write::write_bufs for types where large Bytes fields go via push; failing to do so will over-allocate.

impl<F: Read, G: Read> Read for Proof<F, G>

where F::Cfg: Clone, G::Cfg: Clone,

type Cfg = (usize, (<G as Read>::Cfg, <F as Read>::Cfg))

(max_len, (g_cfg, f_cfg)) where max_len bounds the IPA round count.

fn read_cfg(buf: &mut impl Buf, cfg: &Self::Cfg) -> Result<Self, Error>

Reads a value from the buffer using the provided configuration cfg.

impl<F: Write, G: Write> Write for Proof<F, G>

fn write(&self, buf: &mut impl BufMut)

Writes the binary representation of self to the provided buffer buf.

fn write_bufs(&self, buf: &mut impl BufsMut)

Writes to a BufsMut, allowing existing Bytes chunks to be appended via BufsMut::push instead of written inline. Must encode to the same format as Write::write. Defaults to Write::write.