Il modello di transazione imperativo codifica troppo: "Trasferisci 100 token da Alice a Bob" specifica il meccanismo quando solo il risultato conta. NockApp utilizza intenti dichiarativi: "Scambia 100 token per ETH a un tasso X o migliore." I risolutori off-chain trovano percorsi di esecuzione. Le prove ZK verificano la correttezza. Nockchain convalida solo le prove, non esegue il tuo codice. Grande differenza.