Added a proof for the logarithmic upper bound on the length of certificates