Consider the following natural generalization of the wellknown Oblivious Transfer (OT) primitive, which we call Oblivious Affine Function Evaluation (OAFE): Given some finite vector space IFk q , a designated sender party can specify an arbitrary affine function f : IFq → IFk q , such that a designated receiver party learns f(x) for a single argument x ∈ IFq of its choice. This primitive is of particular interest, since analogously to the construction of garbled boolean circuits based on OT one can construct garbled arithmetic circuits based on OAFE. In this work we treat the quite natural question, if general IFk q -OAFE can be efficiently reduced to IFq-OAFE (i.e. the sender only inputs an affine function f : IFq → IFq). The analogous question for OT has previously been answered positively, but the respective construction turns out to be not applicable to OAFE due to an unobvious, yet non-artificial security problem. Nonetheless, we are able to provide an efficient, information-theoretically secure reduction along with a formal security proof based on some specific algebraic properties of random IFq-matrices.
Information Theoretic Security (ICITIS)
2012
2026-07-14