Pour le code de Kitaev, il existe 2 types de stabilisateurs, les stabilisateurs de plaquettes et de sites.
On peut interpréter ce code comme étant un ensemble de spin-1/2 (qubits physiques) placés sur chaque arête d'un réseau carré 2D.
Il est donc possible de définir les stabilisateurs et un hamiltonien pour ce système.
Il existe deux types de stabilisateurs pour ce code. Les stabilisateurs de sommets
et les stabilisateurs de plaquettes
. En termes des opérateurs de Pauli, on exprime ces stabilisateurs comme:

avec
correspondant à l'ensemble des arêtes sortant du sommet
et
l'ensemble des arêtes autour des plaquettes
.
Connaissant le nombre de qubits physiques et de stabilisateurs indépendants (générateurs), on peut montrer que ce code permet d'encoder 2 qubits logiques.
L'Hamiltonien de ce système est donné par

De plus, on note les relations de commutations suivantes :
;
; ![{\displaystyle [A_{s},B_{p}]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b7870c6e966d07062f866771422912e0b9306c9)
et l'état fondamental de l'Hamiltonien
correspond aussi à l'état code tel que
