Assertion: commitment | /r/HasProperty | the encryption
Facets:
Source sentences:
text: A better example of a perfectly binding commitment scheme is one where the commitment is the encryption of x under a semantically secure, public-key encryption scheme with perfect completeness, and the decommitment is the string of random bits used to encrypt x.