pub fn commit_in_cs(
    cs: &mut TurboCS<BLSScalar>,
    blinding_var: VarIndex,
    amount_var: VarIndex,
    asset_var: VarIndex,
    public_key_type_var: VarIndex,
    public_key_scalars: &[VarIndex; 3],
    trace: &AnemoiVLHTrace<BLSScalar, 2, 12>
) -> VarIndex
Expand description

Add the commitment constraints to the constraint system