نموذج المعاملة الضرورية يشفر الكثير: "نقل 100 رمز من أليس إلى بوب" يحدد الآلية عندما يكون النتيجة فقط هي الأهمية. يستخدم NockApp نوايا إعلانية: "استبدل 100 رمز مقابل ETH بمعدل X أو أفضل." محللات خارج السلسلة تجد مسارات التنفيذ. تؤكد براهين ZK صحة النتائج. Nockchain فقط تتحقق من صحة البرهانات، ولا تنفذ الكود الخاص بك. فرق كبير.