DLOG ⇒ TDP

Statement

Migrated verbatim from non-interactive-zero-knowledge § Other results:

NIZK for all NP from trapdoor permutations (hence from RSA or DL) in the CRS model — BFM88

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:

SUSPECTED MATHEMATICAL ERROR (reported, not corrected): no trapdoor permutation is known from discrete log — there is no known trapdoor for exponentiation. This sub-edge should be rejected at migration rather than imported.
Uncited; BFM88 (the parent’s citation) makes no such claim.
Second (disjunctive) hypothesis packed into the same bullet - DL ⇒ TDP ⇒ NIZK.
SUSPECT MATH: the first link (DL ⇒ trapdoor permutation) is false as far as is known. Recorded separately precisely so it can be rejected during migration rather than silently imported. Report only; do not fix.