Імперативна модель транзакцій кодує надто багато: «Передати 100 токенів від Аліси до Боба» вказує механізм, коли важливий лише результат. NockApp використовує декларативні наміри: «Обміняти 100 токенів на ETH за курсом X або кращим.» Офланцюжкові розв'язувачі знаходять шляхи виконання. Докази ZK перевіряють правильність. Nockchain лише перевіряє докази, не виконує ваш код. Велика різниця.