Module dock_crypto_utils::ff

Finite field utilities like inner product, weighted inner product, hadamard product, etc

Functions

• add_vecs
  Add two vectors of scalars
• hadamard_product
  Hadamard product of two vectors of scalars
• inner_product
  Inner product of 2 vectors a and b
• non_zero_random
• powers
  Powers of a finite field as [1, s, s^2, .. s^{num-1}]
• powers_starting_from
  Powers of a finite field as [start, start*exp, start * exp^2, .. start * exp^{num-1}]
• scale
  Return a scaled vector by multiplying each of its elements by factor. Returns [arr_0 * factor, arr_1 * factor, arr_2 * factor, ...]
• scale_mut
  Mutate a vector arr by multiplying each of its elements by factor.
• sum_of_powers
  SUM of a geometric progression SUM a^i = (1 - a^n) / (1 - a) = -(1-a^n)/-(1-a) = (a^n - 1) / (a - 1)
• weighted_inner_product
  Weighted inner product of 2 vectors a and b with weight w. Calculated as \sum_{i=0}(a_i * b_i * w^{i+1})
• weighted_norm
  Weighted inner product of the vector n with itself. Calculated as \sum_{i=0}(n_i * n_i * w^{i+1})