Beaucoup de systèmes considèrent l'état sur la chaîne comme une « base de données partagée »,

toutes les calculs tournent autour de cet état commun.

Le modèle de compte @0xMiden est nettement différent.
Ici, le compte ressemble davantage à une machine à états avec des contraintes intégrées,
chaque changement d'état étant en soi un processus de calcul nécessitant une preuve.

Cela entraîne un résultat important :
la croissance de l'état ne signifie plus nécessairement que le coût de vérification devient incontrôlable,
car les changements d'état sont conçus comme des unités vérifiables.

Cela ne rend pas le développement plus facile,
mais cela permet une gestion plus contrôlée à long terme des systèmes complexes sur le plan technique.