A maioria dos sistemas de blockchain faz suposições muito simples sobre os usuários:

Os usuários apenas enviam transações, a execução e a prova são tarefas do nível do sistema.

@0xMiden faz uma suposição claramente mais avançada sobre os usuários.
No seu modelo, os usuários não são apenas solicitantes passivos,
mas os principais responsáveis pela execução.

A lógica é executada localmente no usuário,
a prova é gerada no lado do usuário,
a cadeia é responsável apenas por verificar se o estado é razoável.

Isso significa que o sistema não busca «reduzir toda a complexidade»,
mas devolve a complexidade aos participantes dispostos a assumi-la.

Esse design não agrada a todos,
mas está mais próximo da forma de participação em comportamentos de alto valor no mundo real.