Model: other

Statements with model: other. This page only exists because at least one statement currently uses this value – if you add a statement with a new model value not listed under Problems, copy this page as the starting point for its facet page (see CONTRIBUTING.md).

Status Statement Tags
6-round Feistel indifferentiability
Whether 6-round Feistel is fully indifferentiable from a random permutation is open, bridging the proven r=5 attack and the proven r>=8 construction. 2 open
othertight-boundresearch-opennew-idea (ai)
No key agreement from GC-OWF
Open for round complexity growing with the security parameter. Proved in full for two messages, which is public-key encryption; the constant-round extension is sketched in the paper’s appendix without a theorem, its security half deferred to the PKE proof. 5 open
otherseparationresearch-openadaptation (ai)
OWFs are black-box useless for key agreement
Open in the general case, which the paper names as the central open problem left by its work. Settled for three restricted protocol classes: constant-query perfect, constant-round constant-query imperfect, and Merkle-type. 6 open
otherimpossibilityresearch-opennew-idea (ai)
OWFs are black-box helpful for CRHFs
Open in both directions. Two relaxations — distributional and class-reduction helpfulness — are proved conditional on the Simon-oracle amplification conjecture; neither yields the universal auxiliary primitive the full statement needs. 5 open
otherseparationresearch-opennew-idea (ai)
Simon-oracle amplification, strong version
Open. The version without the collision finder is known only when the one-way function is itself a random oracle; with an arbitrary one-way function, with or without the collision finder, nothing is established. 5 open
otherlower-boundresearch-opennew-idea (ai)
No matching items