大多數區塊鏈系統，對用戶的假設非常簡單：

用戶只負責發交易，執行和證明是系統層的事。

@0xMiden 對用戶的假設顯然更高階。
在它的模型裡，用戶不是被動的請求發起者，
而是執行的第一責任人。

邏輯在用戶本地運行，
證明在用戶側生成，
鏈只負責驗證狀態是否合理。

這意味著系統並不追求「降低一切複雜度」，
而是把複雜度交還給願意承擔它的參與者。

這種設計並不討好所有人，
但它更接近現實世界中高價值行為的參與方式。