Assertion: signature's key | /r/HasProperty | sk
Facets:
Source sentences:
text: G (key-generator) generates a public key ( pk ), and a corresponding private key ( sk ), on input 1 n , where n is the security parameter.
text: S (signing) returns a tag, t , on the inputs: the private key ( sk ), and a string ( x ).