Verifiable decryption of individual proofs

[au681633]

In the 2.0 specification, the verifier only uses the joint response v and the joint challenge c in verification step 9 (Correctness of tally decryptions). Page 40 in the 2.0.0 design specification states that the guardians will check that a_i’=a_i and b_i’=b_i.

What happens if the guardians conclude that the check does not verify? What is the intended behavior if this happens? If the joint response is published anyway, the verifier cannot report which guardian misbehaves when (v_i, c_i) is not published.