In the present paper, we construct Khovanov homology theory with arbitrary coefficients for arbitrary virtual knots. We give a definition of the complex, which is homotopy equivalent to the initial Khovanov complex in the classical case; our definition works in the virtual case as well. The method used in this work allows us to construct a Khovanov homology theory for "twisted virtual knots" in the sense of Bourgoin and Viro [4, 27] (in particular, for knots in RP3). We also generalize some results of the Khovanov homology for virtual knots with arbitrary atoms (Wehrli and Kofman–Champanerkar spanning tree, minimality problems, Frobenius extensions) and orientable ones (Rasmussen's invariant).