1. Nockchain прискорює основні операції, такі як перевірка доказу ZK, не змінюючи правила консенсусу. Вони називаються "jets": оптимізація з нативним кодом для критично важливих функцій. Детальніше розглянемо форсунки, як вони працюють і чому вони важливі. 🧵👇

2. Реактивний літак замінює загальну функцію Nock оптимізованою вручну рутиною з власним кодом. Визначення Нока залишається канонічною специфікацією, що гарантує незмінність семантики. Якщо струмінь відсутній, клієнт просто повертається до повільнішої, універсальної реалізації Nock.

3. Для вузлів форсунки означають швидшу перевірку блоків. Нещодавній доданий спільнотою jet для багатоточкового обчислення поліноміалів ('mpeval' скоротив час перевірки блоків для кожного вузла. Це збільшує пропускну здатність розрахункового рівня за рахунок зниження вартості валідації.

4. Для шахтарів реактивні літаки є санкціонованим шляхом до більшої продуктивності. Оптимізуючи гарячі шляхи в генерації ZK proof, майнери збільшують свою «proofpower» — швидкість виробництва proof. Це сприяє створенню конкурентоспроможної та ефективної екосистеми майнінгу, побудованої на оптимізації з відкритим вихідним кодом.

5. Реактивні літаки безпечні для консенсусу, оскільки вони оптимізують лише швидкість виконання, а не логіку. Визначення функції за методом Нока є основою істини, а система доведення ЗК є кінцевим арбітром правильності.