表面上見ると、 @0xMiden は成熟した ZK ツールチェーンを使用していますが、

その真の壁は暗号学そのものにあるわけではありません。

模倣しにくいのは、最初から「証明可能な実行」を中心に
仮想マシン、命令セット、アカウントモデルを逆設計した道筋です。

これは、既存の実行モデルに「ZKを外付け」しているのではなく、
ZKを実行モデルの前提条件としていることを意味します。

この選択が一度なされると途中で調整するのは難しく、
また、このルートが遅々として進まないように見える一方で、構造は完全です。