search

rfc-editor / draft-irtf-cfrg-hash-to-curve

Hashing to Elliptic Curves
Other
0 stars 0 forks source link

Section 10.5: composability of indifferentiability proofs #35

Closed sginoza closed 1 year ago

sginoza commented 1 year ago

Section 10.5: We had trouble following this sentence. Will "By composability of indifferentiability proofs, this also holds" be clear to readers?

Original: By composability of indifferentiability proofs, this also holds when expand_message is proved indifferentiable from a random oracle relative to an underlying primitive that is modeled as a random oracle.

armfazh commented 1 year ago

This one is tricky, I understand this text is correct, but I have no better suggestion to improve clarity. I defer this one to my coauthors.

kwantam commented 1 year ago

Perhaps something like this would be clearer:

"Since indifferentiability proofs are composable, this also holds when expand_message is proved..."

sginoza commented 1 year ago

closing this; see #60