The parameter c' included in equation (54) noted above is a parameter that is dependent on the verification key and the electronic signature.
Even if the attacker knows the pre-update signature key sk, he or she does not identify the two unknown variables x1' and x2' from one included in equation (54).