Struct ZqVector

pub struct ZqVector { /* private fields */ }

A ZqVector is a vector of Zq elements with a flexible size. Mainly used for store random Zq elements

Implementations

impl ZqVector

pub fn new(coeffs: Vec<Zq>) -> Self

pub fn zero(len: usize) -> Self

pub fn get_coeffs(&self) -> &Vec<Zq>

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn random<R: Rng + CryptoRng>(rng: &mut R, n: usize) -> Self

pub fn iter(&self) -> impl Iterator<Item = &Zq>

pub fn iter_mut(&mut self) -> impl Iterator<Item = &mut Zq>

pub fn inner_product(&self, other: &Self) -> Zq

Dot product between coefficients

pub fn conjugate_automorphism(&self) -> ZqVector

Compute the conjugate automorphism \sigma_{-1} of vector based on B) Constraints…, Page 21.

Trait Implementations

impl Add<&ZqVector> for &ZqVector

fn add(self, other: &ZqVector) -> ZqVector

Add two ZqVector with flexible degree

type Output = ZqVector

The resulting type after applying the + operator.

impl Clone for ZqVector

fn clone(&self) -> ZqVector

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ZqVector

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

Formats the value using the given formatter.

impl<const D: usize> From<ZqVector> for Rq<D>

fn from(zqs: ZqVector) -> Self

Converts to this type from the input type.

impl FromIterator<Zq> for ZqVector

fn from_iter<T: IntoIterator<Item = Zq>>(iter: T) -> Self

Creates a value from an iterator.

impl Mul<&ZqVector> for &ZqVector

Note: This is a key performance bottleneck. The multiplication here is primarily used in: Prover.check_projection() which verifies the condition: p_j? = ct(sum(<σ−1(pi_i^(j)), s_i>)) Each ZqVector involved has a length of 2*lambda (default: 256). Consider optimizing this operation by applying NTT-based multiplication to improve performance.

type Output = ZqVector

The resulting type after applying the * operator.

fn mul(self, other: &ZqVector) -> ZqVector

Performs the * operation.

impl PartialEq for ZqVector

fn eq(&self, other: &ZqVector) -> 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 Eq for ZqVector

impl StructuralPartialEq for ZqVector