Model imperativních transakcí kóduje příliš mnoho: "Převést 100 žetonů od Alice do Boba" specifikuje mechanismus, když záleží pouze na výsledku. NockApp používá deklarativní záměry: "Vyměňte 100 tokenů za ETH s kurzem X nebo vyšším." Off-chain řešiče nacházejí cesty vykonání. ZK důkazy ověřují správnost. Nockchain jen ověřuje důkazy, nespouští váš kód. Velký rozdíl.