Dans le secteur ZK de la blockchain, on observe un phénomène assez courant : la plupart des équipes investissent leurs efforts dans le branding et les récits d’écosystème, mais sur le plan du moteur de preuve sous-jacent, elles optent plutôt pour la location de solutions déjà prêtes. En laissant de côté les formules marketing, chaque zkRollup répète essentiellement la même chose : « Ce calcul est correct, voici une preuve cryptographique. » La chaîne se contente de diffuser cette déclaration ; ce qui la rend réellement solide, c’est le zkVM en coulisses.

Cela amène une question centrale : puisque le moteur de preuve fixe directement la limite de sécurité de tout le réseau, pourquoi autant d’équipes acceptent de confier les “manettes” à quelqu’un d’autre ?
Évidemment, tout créer soi-même de zéro a un coût que tout le monde connaît : un cycle de développement long, des frais d’audit élevés, et des proveurs partagés qui évoluent rapidement. Pour beaucoup de chaînes d’applications, louer est donc un choix plus pragmatique. Mais l’externalisation a un coût implicite rarement mentionné dans les schémas d’architecture : à partir de là, votre niveau de sécurité dépend de la feuille de route de l’autre, du rythme d’audit de l’autre et des changements que l’autre apporte à son jeu d’instructions. Si le moteur sous-jacent est mis à niveau, la sémantique de vos preuves peut dériver. Pour une chaîne d’applications “classique”, on peut peut-être l’accepter ; mais pour un réseau dont le positionnement est : « un réseau capable de faire des règlements sans recours à un tribunal » — c’est-à-dire un Bitcoin L2 construit spécifiquement pour des agents IA — cette dépendance devient tout simplement inacceptable.