at includes computation of a response comprising h in the ring R, where h is a function of c and f, and performing of a verification by the second user that includes determination of ??(c) from c, ??(h) from h, and an evaluation that depends on ??(h), ??(c) and ??(f). 39.