ゼロ知識は、最適化をやめて実行そのものになったときに面白くなる。

@0xMidenでは、計算はユーザーのデバイス上でプライベートに行われ、ネットワークはそれが正しく行われた証明だけを検証する。実行はローカルに留まり、検証は公開されたまま。

その構造は、より実用的なプライバシーの見方につながる。完全な透明性は実際の金融ワークフローを壊し、全面的な不透明性は信頼を損なうことなく、

敏感なロジックはプライベートに保たれ、結果は証明可能なまま、責任も失われない。

そのバランスは、実際のシステムが本来どのように動作すべきかにより近いと感じられる。