Function create_c_vec

bulletproofs_plus_plus/src/range_proof.rs:1006–1026

(y: F, t_pows: &TPowers<F>)

}

fn create_c_vec<F: PrimeField>(y: F, t_pows: &TPowers<F>) -> Vec<F> {
    let (t_inv, t, t2, t3, t5, t6, t7) = (
        t_pows.nth_power(-1),
        t_pows.nth_power(1),
        t_pows.nth_power(2),
        t_pows.nth_power(3),
        t_pows.nth_power(5),
        t_pows.nth_power(6),
        t_pows.nth_power(7),
    );
    vec![
        y * t_inv,
        y * t,
        y * t2,
        y * t3,
        y * t5,
        y * t6,
        y * t7,
        F::zero(),
    ]
}

/// Vector valued polynomial
#[derive(Debug, Clone)]