[−][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>
)