Struct Vcs

pub struct Vcs<T: PolynomialRingElement> {
    pub k: usize,
    pub n: usize,
    pub l: usize,
    pub beta: usize,
    pub kappa: usize,
    pub theta: f64,
    pub N: usize,
    /* private fields */
}

Instance of a vector commitment scheme. Contains functions for committing to a vector and verifying the commitment.

Fields

k: usize

n: usize

l: usize

beta: usize

kappa: usize

theta: f64

N: usize

Implementations

impl<T: PolynomialRingElement> Vcs<T>

pub fn new(polynomial_degree: usize) -> Self

Construct a new vector commitment scheme instance.

pub fn sample_challenge_vector(&self) -> T

Sample a challenge vector with a specified l_1 and l_infinite norm

l_inf should be 1 and l1 should be kappa

pub fn commit<R: Rng>( &self, x: &Vector<T>, rng: &mut R, ) -> (Matrix2D<T>, Vector<T>, Vector<T>)

Commit to a value x

Returns the public parameters alpha, the commitment vector, and the secret r

pub fn open( &self, commitment: &Vector<T>, alpha: &Matrix2D<T>, x: &Vector<T>, r: &Vector<T>, ) -> bool

Open a previously created commitment commitment: the commitment vector being verified alpha_1: random public parameter selected during commitment x: the message that was committed to r: a polynomial with l2 norm less than 4thetasqrt(N)

Solving for r without previous knowledge should involve solving the modular SIS problem (hard).

pub fn public_params(&self) -> (Matrix2D<T>, Matrix2D<T>)

Generate random public params for use in the scheme

pub fn decompose_alpha(&self, alpha: Matrix2D<T>) -> (Matrix2D<T>, Matrix2D<T>)

Decompose an alpha matrix into A_1 and A_2

pub fn decompose_cm(&self, cm: Vector<T>) -> (Vector<T>, Vector<T>)

Decompose a commitment to c_1 and c_2

pub fn beta_bound() -> BigUint

infinite norm bound for generating S_β elements

Trait Implementations

impl<T: Clone + PolynomialRingElement> Clone for Vcs<T>

fn clone(&self) -> Vcs<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug + PolynomialRingElement> Debug for Vcs<T>

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

Formats the value using the given formatter.