Struct Claim 

pub struct Claim<F, G> {
    pub commitment: G,
    pub product: F,
    pub y: F,
    pub log_len: u8,
}

The public claim we’re making about the inner product.

We claim that our commitment P is equal to <a_i, G_i> + <b_i, y^i H_i>, and that our product c is equal to <a_i, b_i>.

Fields

commitment: G

product: F

y: F

log_len: u8

The claimed vector length, stored as log2(len).

Inner product arguments require power-of-two vector lengths, so storing the logarithm is enough to recover the full claimed length.

Trait Implementations

impl<F: Debug, G: Debug> Debug for Claim<F, G>

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

Formats the value using the given formatter.

impl<F: EncodeSize, G: EncodeSize> EncodeSize for Claim<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: PartialEq, G: PartialEq> PartialEq for Claim<F, G>

fn eq(&self, other: &Claim<F, G>) -> bool

Equality operator ==.

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

Inequality operator !=.

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

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

The Cfg type parameter allows passing configuration during the read process. This is crucial for safely decoding untrusted data, for example, by providing size limits for collections or strings.

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

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

impl<F: PartialEq, G: PartialEq> StructuralPartialEq for Claim<F, G>

impl<F: Write, G: Write> Write for Claim<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.