Struct Setup 

pub struct Setup<G> { /* private fields */ }

A setup decides on what group elements we use to commit to vectors and their product.

A setup for an inner product argument for c = <a_i, b_i> needs generators to commit to a_i, which we call G_i, generators for b_i, which we call H_i, and a generator for the product, c, which we call Q, or “the product generator”.

We can support inner products of different sizes, as long as we have enough generators.

To construct this type, see Self::new.

Implementations

impl<G> Setup<G>

pub fn new( product_generator: G, g_and_h: impl IntoIterator<Item = (G, G)>, ) -> Self

Create a new Setup, given specific choices of the generator.

You MUST ensure that all of the values provided to this function are unique.

pub fn g(&self) -> &[G]

The left-side generators G_i.

pub fn h(&self) -> &[G]

The right-side generators H_i.

pub const fn product_generator(&self) -> &G

The product generator Q.

pub const fn supports(&self, lg_len: u8) -> bool

Check if this setup supports claims of a given length.

pub fn eval<F: Field>( &self, f: impl FnOnce(&Setup<Synthetic<F, G>>) -> Option<Synthetic<F, G>>, strategy: &impl Strategy, ) -> Option<G>

where G: Space<F>,

Build a virtual setup, call f to obtain a verification equation, and evaluate it against the concrete generators in self.

Returns None when f returns None (malformed proof). Otherwise returns the evaluated group element, which should be zero for a valid proof.

Trait Implementations

impl<G: Debug> Debug for Setup<G>

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

Formats the value using the given formatter.

impl<G: EncodeSize> EncodeSize for Setup<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<G: PartialEq> PartialEq for Setup<G>

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<G: Read> Read for Setup<G>

type Cfg = (usize, <G 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, (max_len, cfg): &Self::Cfg, ) -> Result<Self, Error>

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

impl<G: Write> Write for Setup<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.

impl<G> StructuralPartialEq for Setup<G>