Muchos sistemas consideran el estado en la cadena como una «base de datos compartida»,

todas las computaciones giran en torno a este estado público.

El modelo de cuenta de @0xMiden es claramente diferente.
Aquí, la cuenta es más como una máquina de estado con restricciones incorporadas,
cada cambio de estado en sí mismo es un proceso de cálculo que necesita ser probado.

Esto trae un resultado importante:
El crecimiento del estado ya no implica necesariamente que los costos de validación se descontrolen,
porque los cambios de estado están diseñados desde el principio como unidades verificables.

Esto no hará que el desarrollo sea más fácil,
pero sí hace que la operación a largo plazo de sistemas complejos sea más controlable desde el punto de vista técnico.