Struct FunctionsAggregation

pub struct FunctionsAggregation<'a> { /* private fields */ }

Implementations

impl<'a> FunctionsAggregation<'a>

pub fn new(parameters: &'a EnvironmentParameters) -> Self

pub fn calculate_agg_a( &mut self, a_constraint: &[RqMatrix], a_double_prime: &[RqMatrix], vector_alpha: &RqVector, vector_beta: &RqVector, )

calculate a_i = \sum(alpha_k * a_{ij}) + \sum(beta_k * a_{ij}^{‘’(k)}) equation 5, in the verifier process, page 18 from the paper.

@param: a_constraint: a_{ij} @param: a_ct_aggr: a_{ij}^{‘’(k)} @param: random_alpha: alpha_k @param: random_beta: beta_k @param: ep: struct SizeParams

@return: a_i

pub fn calculate_aggr_phi( &mut self, phi_constraint: &[Vec<RqVector>], phi_double_prime: &[Vec<RqVector>], vector_alpha: &RqVector, vector_beta: &RqVector, )

calculate phi_i = \sum(alpha_k * \phi_{i}^{k}) + \sum(beta_k * \phi_{i}^{‘’(k)}) equation 6, in the verifier process, page 18 from the paper.

param: phi_constraint: \phi_{i}^{k} param: phi_ct_aggr: \phi_{i}^{‘’(k)} param: random_alpha: alpha_k param: random_beta: beta_k param: ep: struct SizeParams

return: phi_i

pub fn calculate_aggr_b( &mut self, b_constraint: &RqVector, b_double_prime: &RqVector, vector_alpha: &RqVector, vector_beta: &RqVector, )

calculate b_i = \sum(alpha_k * b^{k}) + \sum(beta_k * b^{‘’(k}) equation 7, in the verifier process, page 18 from the paper.

@param: b_constraint: b^{k} @param: b_ct_aggr: b^{‘’(k)} @param: random_alpha: alpha_k @param: random_beta: beta_k @param: ep: struct SizeParams

@return: b_i

pub fn get_agg_a(&self) -> &RqMatrix

pub fn get_appr_phi(&self) -> &[RqVector]

pub fn get_aggr_b(&self) -> &Rq