| http://www.w3.org/ns/prov#value | - each gi in the easy basis G in terms of generators gj in the hard basis using the private key of d); i) means for selecting the values xi of the easy generators of i) as signature X of M; and j) means for verifying the signature X by assigning the values xi from the signature to the easy generators gi, computing v1, . . . ,vs of the S hard generators gj of f), evaluating the S hashed forms of M
|
