DCR ⇒ COM
Statement
Migrated verbatim from decisional-composite-residuosity § Known Results:
- DCR → COM (statistically hiding, computationally binding) — standard
Notes
source: folklore: the claim carried no citation on the page it was
migrated from, and none was invented.
class: unstated: no citing page says which notion of reduction is meant.
Recording a class the wiki does not state would add a claim.
Recorded during migration and not fixed — these are claims about the source text, not changes to it:
- Marked standard; statistically hiding commitments from DCR are attributable (Damgard-Fujisaki), so the folklore exception is likely misapplied.
- SUSPECTED IMPRECISION: the hiding/binding flavours claimed (statistically hiding, computationally binding) should be checked against the standard DCR-based construction.
- Commitment flavour is not part of the conclusion identifier.