Method commit_decomposed_given_base_powers

smc_range_proof/src/common.rs:58–65

Same as `commit_decomposed` but takes `[1, base, base^2, ..., base^{n-1}]`

(
        &self,
        base_powers: &[G::ScalarField],
        digits: &[G::ScalarField],
        randomness: &G::ScalarField,
    )

    /// Same as `commit_decomposed` but takes `[1, base, base^2, ..., base^{n-1}]`
    pub fn commit_decomposed_given_base_powers(
        &self,
        base_powers: &[G::ScalarField],
        digits: &[G::ScalarField],
        randomness: &G::ScalarField,
    ) -> G {
        (self.g * inner_product(base_powers, digits) + self.h * randomness).into()
    }
}

/// Representation of `value` in `base`-representation. Returns the base `base` digits in little-endian form