[][src]Function dusk_blindbidproof::gadgets::proof_gadget

pub fn proof_gadget<CS: ConstraintSystem>(
    cs: &mut CS,
    d: LinearCombination,
    k: LinearCombination,
    y_inv: LinearCombination,
    q: LinearCombination,
    z_img: LinearCombination,
    seed: LinearCombination,
    constants: &Vec<Scalar>,
    toggle: Vec<Variable>,
    items: Vec<LinearCombination>
)