Les coûts de gaz ne sont pas le véritable goulot d'étranglement. @brevis_zk souligne ce qui casse réellement les systèmes. La logique répétée, la vérification de l'historique et la revalidation des hypothèses fragmentent la composabilité. Ce n'est pas de la sécurité. C'est une coordination gaspillée. ZK change le modèle en permettant aux protocoles de réutiliser des vérités vérifiées. L'efficacité vient de ne pas exécuter ce qui a déjà été prouvé.