Method commit_decomposed

smc_range_proof/src/common.rs:47–55

Given `base`-ary representation of a value, commit to its `digits`, `g * (1 * digits[0] + base * digits[1] + base^2 * digits[2] + base^{n-1} * digits[n-1]) + h * randomness`

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

    /// Given `base`-ary representation of a value, commit to its `digits`, `g * (1 * digits[0] + base * digits[1] + base^2 * digits[2] + base^{n-1} * digits[n-1]) + h * randomness`
    pub fn commit_decomposed(
        &self,
        base: u16,
        digits: &[G::ScalarField],
        randomness: &G::ScalarField,
    ) -> G {
        let base_powers = powers(&G::ScalarField::from(base), digits.len() as u32);
        self.commit_decomposed_given_base_powers(&base_powers, digits, randomness)
    }

    /// Same as `commit_decomposed` but takes `[1, base, base^2, ..., base^{n-1}]`
    pub fn commit_decomposed_given_base_powers(