An embedding of the BV quantization into an N=1 local superfield formalism

We propose an N=1 superfield formulation of Lagrangian quantization in general hypergauges by extending a reducible gauge theory to a superfield model with a local dependence on a Grassmann parameter θ. By means of θ-local functions of the quantum and gauge-fixing actions in terms of Darboux coordinates on the antisymplectic manifold, we construct superfield generating functionals of Green's functions, including the effective action. We prove the gauge-independence of the S-matrix, obtain the Ward identities and establish a relation of the proposed local quantization with the BV method and the multilevel Batalin-Tyutin formalism.