多くのブロックチェーンシステムは、ユーザーに対する仮定が非常にシンプルです：

ユーザーはトランザクションの送信のみを担当し、実行と証明はシステムレイヤーの責務です。

@0xMiden のユーザーに対する仮定は明らかにより高度です。
そのモデルでは、ユーザーは受動的なリクエスト開始者ではなく、
実行の第一責任者です。

ロジックはユーザーのローカルで実行され、
証明はユーザー側で生成され、
チェーンは状態が妥当かどうかの検証のみを担当します。

これは、システムが「すべての複雑さを低減する」ことを追求せず、
複雑さをそれを引き受ける意思のある参加者に返すことを意味しています。

この設計はすべての人に好まれるものではありませんが、
それは現実世界における高価値行為の参加方法に、より近いものです。