Нове використання OP_CAT: ризики та переваги

OP_CAT and the Infinite Nothing

Introduction

Ти можеш бути почув, що OP_CAT може бути знову увімкнутий як потенційне оновлення для скриптової мови біткоїна. Залежно від джерела новин, OP_CAT був названий `лише 10 рядків коду`, `найкращий спосіб для експериментів з завереними um[yi, `надто потужний`, `небезпечний та призводить до централізації майнерів`, або `гарантовано до спекулятивного хард форку`. Я хочу аргументувати, що всі ці погляди є помилковими. OP_CAT є дуже корисним, може бути використаний як заверена угода, і не (сам по собі) кращий наступний крок для біткоїна. Нічого більше і нічого менше.

Для цього я збираюся дослідити кілька (явно розрізаних) тем, деякі з яких були новими для мене всього кілька місяців тому. Я збираюся спробувати організувати це так, щоб надати необхідні фонові знання в одному місці. Як і що робить OP_CAT Інтроспекція з CAT

Давайте розглянемо головне питання, яке багато хто мають, коли вперше встають на OP_CAT. Як декілька рядків коду, які комбінують два елементи зі стеку в один (A B CAT -> AB), можуть дещо цікавого увімкнути? Ендрю Поелстра елоцюентно пояснив у недавніх інтерв`ю, і я опублікував дурний та короткий пояснення:

Біткоїн трохи дивний, тому він може також розкласти речі. Потім SHA256 дозволяє нам скасувати хеші. Потім, бо криптографія це просто математика, і ми знаємо, як розмелювати, CAT дозволяє нам видобути хеш з перевірки підпису. І внаслідок цього ми можемо інспектувати будь-що, що хещували всередині підпису... - Ріарден 🍯🦡 🦢 | прийняти вілса) 17 травня 2024 року

Підключаючи ці техніки, дозволяє OP_CAT перевіряти будь-яку частину своєї транзакції на витрати, яку можна підписати, а навіть дивитися на її батьківські транзакції деякими обмеженими способами. З деякими обережними кодами одну можна побудувати Purrfect Vaults, CatVM, та багато інших. Інші використання для CAT

• Проте ми не повинні. Будівля цих речей з OP_CAT призводить до складно того, щоб уникати образливостей. Замість цього ми повинні використовувати OP_CAT для того, для чого він корисний, і цих багато: Він дозволяє еквівалент OP_CHECKSEPARATESIG, перевірку включення Merkle proofs, комбінування даних для перевірки підпису з OP_CHECKSIGFROMSTACK, та багато інших. Проблеми з CAT

Після того, як ми знаємо, що робить CAT, де проблема? Чому люди (включаючи себе) казали, що це небезпечна тварина? Використовуючи техніку інтроспекції, описану вище, CAT дозволяє дві конкретні конструкції: Hashrate escrows та (припущено) автоматизовані майстерні ринки (AMMs). До нещодавна обидві ці конструкції вважалися значущими ризиками приведення централізуючого MEV до біткоїна. MEV, MEVілю та централізація майнерів