Abstract: We introduce a unifying framework for proving that predicate P is hard-core for a one-way function f, and apply it to a broad family of functions and predicates, reproving old results in an ...
Archived as of Sep 4th, 2025: A new implementation with a more recent version of DuckDB can be found in this repo. We integrate Robust Predicate Transfer into DuckDB, when you finish installing DuckDB ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback