pour élaborer : le consensus (c'est-à-dire la blockchain) ne peut pas vérifier chaque propriété utile il existe un ensemble beaucoup plus large de problèmes (non résolus) qui peuvent être résolus en utilisant des techniques de vérification modernes (ZK, FHE, TEE) en particulier, je m'intéresse à l'espace de problèmes des réseaux vérifiables