Багато систем вважають стан у ланцюгу «спільною базою даних»,

усі обчислення зосереджені навколо цього спільного стану.

Модель облікового запису @0xMiden явно відрізняється.
Тут обліковий запис більше схожий на стан-машину з власними обмеженнями,
кожна зміна стану сама по собі є обчислювальним процесом, який потрібно довести.

Це приводить до важливого результату:
зростання стану більше не обов’язково означає неконтрольовані витрати на верифікацію,
оскільки зміни стану з проектування є перевірюваними одиницями.

Це не робить розробку легшою,
але дозволяє довгострокове функціонування складних систем бути більш керованим з інженерної точки зору.