Non-Falsifiable

Status Statement Tags
Dream DPT for a moderately hard function
Open: whether there exists a function family, and a standard fine-grained hardness hypothesis (the paper suggests NSETH as an example), for which solving t independent instances requires resources within a subexponentially small factor of solving them one at a time, with no loss in the exponent. The source reduces its permissionless consensus protocol to exactly this statement and leaves it unconstructed. 5 open
Direct Product TheoremsFine Grained CryptographyassumptionIOG
Subexponential-query PCF from sparse LPN
Open in both directions, and the source paper poses it as a question rather than conjecturing an answer; the affirmative direction is this page’s reading. The one follow-up construction from sparse LPN inherits the same superpolynomial ceiling and says so. 6 open
Learning Parity With NoisePseudorandom Correlation FunctionsRandom Oracle Modelromassumption
Standard-model weak PCF from sparse LPN
Open, posed by the source as its second open question with an obstruction it names explicitly; the affirmative direction is this page’s reading. An independent follow-up construction reports the same random oracle as inherent to the same recursion. 6 open
Learning Parity With NoisePseudorandom Correlation FunctionsRandom Oracle Modelassumption
No matching items