Het imperatieve transactie model encodeert te veel: "Verplaats 100 tokens van Alice naar Bob" specificeert het mechanisme terwijl alleen de uitkomst belangrijk is. NockApp gebruikt declaratieve intenties: "Ruil 100 tokens voor ETH tegen koers X of beter." Off-chain oplosser vinden uitvoeringspaden. ZK bewijzen verifiëren de correctheid. Nockchain valideert alleen bewijzen, het voert je code niet uit. Groot verschil.