LQG was initially formulated as a quantization of the Hamiltonian ADM formalism, according to which the Einstein equations are a collection of constraints (Gauss, Diffeomorphism and Hamiltonian). The kinematics are encoded in the Gauss and Diffeomorphism constraints, whose solution is the space spanned by the spin network basis. The problem is to define the Hamiltonian constraint as a self-adjoint operator on the kinematical state space. The most promising work in this direction is Thomas Thiemann 's Phoenix Project.