Le modèle de transaction impératif encode trop de choses : "Transférer 100 tokens d'Alice à Bob" spécifie le mécanisme alors que seul le résultat compte. NockApp utilise des intentions déclaratives : "Échanger 100 tokens contre des ETH à un taux X ou meilleur." Les solveurs hors chaîne trouvent des chemins d'exécution. Les preuves ZK vérifient la justesse. Nockchain ne valide que les preuves, elle n'exécute pas votre code. Grande différence.