Muitos sistemas consideram o estado na cadeia como uma 「base de dados partilhada」,

todas as computações giram em torno deste estado comum.

O modelo de conta do @0xMiden é claramente diferente.
Aqui, a conta assemelha-se a uma máquina de estado com restrições embutidas,
cada mudança de estado é, por si só, um processo de cálculo que precisa ser provado.

Isso traz um resultado importante:
o crescimento do estado não significa necessariamente que os custos de validação vão descontrolar-se,
pois as mudanças de estado são, por design, unidades verificáveis.

Isso não torna o desenvolvimento mais fácil,
mas torna a operação a longo prazo de sistemas complexos mais controlável do ponto de vista técnico.