Los problemas de estado son el costo a largo plazo de la cadena.

@0xMiden no se fue a seguir optimizando "cómo escribir el estado global más rápido", sino que se cambió directamente el modelo.
Actor.

En Miden VM, cada cuenta solo modifica su propio estado.
No compartir, no escribir mutuamente.
No hay escritura global, por lo tanto, no hay competencia de bloqueo.

La paralelización no se logra mediante programación, sino que se establece por defecto en la estructura.

El cambio que esto trae no es solo en el rendimiento, sino que la complejidad del estado se ha localizado.
El comportamiento de una cuenta ya no afecta de forma implícita toda la cadena.

Puedes entenderlo como:
Arquitectura de microservicios en blockchain.

Mientras la mayoría de las cadenas todavía están parcheando la expansión del estado, Miden elige cortar el estado mismo desde la raíz.