La majorité des systèmes blockchain font une hypothèse très simple sur l'utilisateur :

l'utilisateur se contente d'envoyer des transactions, l'exécution et la preuve étant du ressort du système.

@0xMiden a une hypothèse sur l'utilisateur nettement plus avancée.
Dans son modèle, l'utilisateur n'est pas un simple demandeur passif,
mais le premier responsable de l'exécution.

La logique s'exécute localement chez l'utilisateur,
la preuve est générée côté utilisateur,
la chaîne ne fait que vérifier si l'état est raisonnable.

Cela signifie que le système ne cherche pas à « réduire toute la complexité »,
mais à renvoyer cette complexité aux participants prêts à en assumer la charge.

Ce type de conception ne plaît pas à tout le monde,
mais il se rapproche davantage des modes de participation aux comportements à haute valeur dans le monde réel.