D'un point de vue superficiel, @0xMiden utilise une chaîne d'outils ZK mature,

mais sa véritable barrière ne réside pas dans la cryptographie elle-même.

Ce qui est difficile à reproduire, c'est la trajectoire qu'il a suivie dès le départ autour de « preuve d'exécution »,
en concevant à rebours une machine virtuelle, un ensemble d'instructions et un modèle de compte.

Cela signifie qu'il ne s'agit pas simplement d'ajouter une couche ZK sur un modèle d'exécution existant,
mais d'utiliser ZK comme condition préalable au modèle d'exécution.

Une fois ce choix fait, il est difficile de le modifier en cours de route,
ce qui explique aussi pourquoi cette voie semble avancer lentement mais avec une structure cohérente.