基于公钥密码学的数字签名方案被定义为一个算法三元组(Gen,Sig,Ver)，其中Sig是（）。