Статья «Воскрешение» была удалена Операционным кодом Сатоши Накамото?, читается OP_CATSoft Fork

Оригинальная статья от Jaleel, BlockBeats

В кодовой базе Биткоина может быть «воскрешен» операционный код «OP _CAT», который был удален Сатоши Накамото и долгое время был запечатан историей.

Около OP_CAT Operation Code проект невзаимозаменяемых токенов биткоина Taproot Wizards запустил новую серию Non-fungible Token Quantum Cats. Хотя термин OP_CAT не относится к знакомой «кошке», Taproot Wizard использовал изображение кошки для выпуска нового невзаимозаменяемого токена под названием Quantum Cats, используя культуру мемов, чтобы помочь OP_CAT набрать обороты. Материалы по теме: «Биткоин «Квантовый кот»: как добиться динамической смены надписей без смарт-контракта?»

OP_CAT, Операционный код, который когда-то был удален Сатоши Накамото из скриптового языка Биткойна, теперь был возвращен на стол для обсуждения, и некоторые разработчики Биткойна хотят «воскресить» этот Операционный код и проложить путь для Биткойна для реализации смарт-контракта с помощью софтфорка из 13 строк кода. Движимые разработчиками биткоина и создавшие импульс в образе кошачьего мема, накал страстей и дискуссии о OP_CAT достигли новых высот.

Код операции «Воскрешение» удален Сатоши Накамото

Операционные коды, также известные как инструкции или функции, являются основными строительными блоками языка сценариев Биткойна. Исторически сложилось так, что некоторые операционные коды были удалены из более ранних версий Биткойна из-за опасений по поводу возможных уязвимостей в клиентских реализациях, OP_CAT Операционный код является одной из них.

OP_CAT изначально был частью официального набора команд Биткойна, позволяя соединять строки, соединяя два элемента в один. Однако, поскольку критическая уязвимость, обнаруженная в операционном коде, такая как OP_LSHIFT, может привести к сбою любого узла BitcoinNode, существует опасение, что OP_ CAT кода операции может привести к экспоненциальному росту элементов стека, что может привести к экспоненциальному увеличению использования памяти и размера скрипта.

Поэтому, из соображений предосторожности, 15 августа 2010 года Сатоши Накамото удалил OP_CAT. Эти удаленные операционные коды часто называют «отключенными», но это не точно, поскольку они полностью удалены из протокола, что делает операционный код недоступным для всех, кто использует биткойны.

В октябре 2023 года разработчик Bitcoin Core Итан Хейлман и главный инженер-программист Botanix Labs Армин Сабури совместно выпустили проект предложения по улучшению биткоина (BIP) под названием «OP_CAT», который вывел эту дискуссию на новый уровень.

Этот черновик, состоящий всего из 13 строк кода, имеет четкую и интуитивно понятную функциональную природу, определяя новый код операции tap, который позволяет объединять два значения в стеке. Эта реализация кода явно была вдохновлена оригинальным удаленным OP_CAT.

Условия для «воскресения» выполнены

Что касается того, почему операционный код, который был удален Сатоши Накамото, теперь восстанавливается разработчиками, мотивационный раздел этого черновика BIP объясняется довольно подробно: это в основном основано на соображениях использования памяти, а OP_CAT приводит к экспоненциальному увеличению использования памяти скриптовыми конструкциями от размера самого скрипта. В частности, простой сценарий, который просто помещает значение размером 1 байт в стек, затем реплицирует его с помощью кода операции OP_DUP и объединяет его 40 раз с кодом операции OP_CAT может привести к раздуванию значения стека до огромного размера более 1 ТБ.

Тем не менее, с течением времени и развитием технологий этот вопрос уже не является препятствием. В архитектуре TAP существует четкое правило, что максимальный размер элемента стека строго ограничен 520 байтами. Это изменение эффективно решает проблемы использования памяти, которые могут быть вызваны OP_CAT, обеспечивая возможность ее «воскрешения» и интеграции.

Из этого следует, что OP_CAT снова выносится на обсуждение и рассматривается для повторного использования, в основном из-за его потенциальной ценности для создания более сложных и мощных скриптов. Кроме того, ряд причин и изменений соответствовал условиям для «воскрешения», в том числе:

1. Спрос на продвинутые смарт-контракты и протоколы: По мере роста экосистемы биткоина увеличился спрос на более продвинутые и сложные смарт-контракты и протоколы. OP_CAT повышает выразительность и функциональность метчиков, позволяя комбинировать объекты в стеке. Например, его можно использовать для построения и оценки дерева Меркла и других структур хэш-данных, поддерживающих подписи деревьев, постквантовые подписи Лампорта, контракты без отказа, хранилища и многое другое.

2. Другие истории успеха ончейна: Некоторые форки биткоина, такие как Bitcoin Cash и Sidechain Liquid, повторно включили OP_CAT и использовали его для реализации создания и управления токенами, платежных каналов и способов встраивания и извлечения данных в блокчейне. Это означает, что OP_CAT можно безопасно и эффективно использовать в соответствующих условиях и ограничениях.

3. Исследование квантовой безопасности: Некоторые исследования показали, что если можно использовать такие операции, как OP_CAT, в сочетании с такими технологиями, как подписи Lamport, можно создать квантово-безопасные транзакции и протоколы Биткойна. Это исследование имеет потенциальную ценность для повышения безопасности системы Биткойн в будущем.

4. Развитие сообщества и технологий: Продолжающееся развитие сообщества и технологий Биткойна побудило людей пересмотреть и оценить предыдущие решения. По мере более глубокого понимания протокола Биткойна и новых технологий функции, которые ранее считались проблематичными или неприменимыми, могут найти безопасные и полезные варианты использования в новых контекстах.

Софтфорк, о котором легко говорить

На техническом уровне немногие другие предложения Биткойна так же просты для интерпретации и понимания, как OP_CAT. Но OP_CAT Код операции будет активирован путем переопределения софтфорка Кода операции OP_SUCCESS 126, что, очевидно, является непростой задачей.

Напомним, что последний софтфорк биткоина произошел три года назад, когда был активирован Taproot, что помогло проложить путь к рождению ординалов.

Консенсус и прозрачность высоко ценятся сообществом Биткойна, и любые значительные изменения в коде широко обсуждаются и рассматриваются в сообществе, включая софтфорки. Для того, чтобы фрагмент кода был объединен с кодовой базой Биткойна, он должен пройти строгий и подробный процесс, который обеспечивает качество предложения и консенсус сообщества. Вот основные этапы этого процесса:

1. Напишите предложение и код: Во-первых, разработчику нужно написать подробный документ с предложением. В этом документе должна быть четко описана мотивация, технические детали, оценка воздействия и любые потенциальные проблемы или проблемы, связанные с предложением.

2. Обсуждение в сообществе: После того, как предложение по коду представлено сообществу Биткойна, оно обсуждается и рассматривается членами сообщества (включая разработчиков, майнеров, инвесторов и пользователей). Этот этап является ключевым для обеспечения осуществимости предложения и сбора отзывов.

3. Модификации и улучшения: Основываясь на отзывах сообщества, авторам кода может потребоваться внести изменения и улучшения в предложение.

4. Голосуйте, достигайте консенсуса: Некоторые важные улучшения (особенно те, которые касаются самого протокола Биткойна) требуют определенного уровня консенсуса среди членов сообщества. Обычно это включает в себя поддержку майнера, который должен продемонстрировать свою поддержку предложения, включив определенный сигнал в блок, который они добывают.

5. Реализация кода: Как только будет достигнут консенсус, код будет рассмотрен командой разработчиков Bitcoin Core. Этот шаг требует обеспечения качества и безопасности кода.

6. Слияние с кодовой базой: После утверждения код будет объединен с официальной кодовой базой Биткойна.

7. Развертывание и активация: Наконец, новый код должен быть развернут в их системах майнерами и операторами узлов. Для изменений на уровне протокола, как правило, существует порог активации, который вступает в силу только после того, как достаточное количество участников сети обновится до новой версии.

Очевидно, что реализация софтфорка OP_ CAT все еще находится на очень ранней стадии, менее чем через четыре месяца после написания черновика BIP, номер BIP еще не определен, и он все еще находится на первой фазе написания предложения и кода и второй фазе обсуждений сообщества с участием разработчиков и пользователей.

Что говорят разработчики биткоина

Уделим особое внимание обсуждению OP_CAT среди разработчиков биткоина в последние годы.

Несмотря на то, что OP_CAT Operation Code был удален, потенциальная полезность OP_CAT для упрощения сложных контрактов и улучшения скриптовых языков Биткойна неоднократно обсуждалась среди разработчиков. Например, его способность соединять значения стека считается препятствием для развития некоторых протоколов Биткоина, таких как TumbleBit, размер транзакции которого может быть значительно уменьшен при поддержке OP_CAT.

Теперь, когда мы собрали информационный бюллетень Optech и разнообразный связанный с ним контент, давайте разберемся с некоторыми обсуждениями разработчиков Биткойна об OP_CAT Operation Code в хронологическом порядке.

2019

Итан Хейлман, один из спонсоров проекта OP_CAT Bitcoin Improvement Proposal (BIP), сказал в электронном письме в октябре 2019 года, что он понимает, почему он был удален из-за тяжелой ситуации, с которой столкнулись скрипты в то время, но он подчеркнул ценность OP_CAT как операционного кода: «Большинство протоколов, которые сегодня хотят строить на основе биткоина, имеют ограничение: значения стека не могут быть связаны. Как исследователь, если я сталкиваюсь с этим ограничением, то, скорее всего, оно также препятствует прогрессу других. Если бы я мог взмахнуть волшебной палочкой, чтобы снова включить один из отключенных кодов операций, я бы выбрал OP_CAT. Конечно, это будет сопровождаться условием: размер каждого объединенного значения должен быть ограничен 64 байтами или меньше. 」

Когда дело доходит до обсуждения OP_CAT, Эндрю Поэльстра - человек, который никогда не может обойти стороной. 30 января 2021 года он написал статью под названием «CAT и трюки Шнорра I», которая вызвала волну дискуссий о OP_CAT. Эндрю Поэлстра — директор по исследованиям в Blockstream и опытный разработчик сценариев BitcoinCryptography с сильным присутствием в отрасли.

В статье Эндрю Поэлстра объясняет: «OP_CAT помогает объединить два элемента в стеке и отправить объединенный результат обратно в стек. Эта функция может быть использована для сборки нескольких маленьких элементов в один большой элемент или для разложения большого элемента на несколько меньших элементов. CHECKSIGFROMSTACK (CSFS) — это невиданный ранее операционный код в Биткойне, который позволяет пользователям выполнять проверку подписи на произвольных данных, в отличие от кода операции CHECKSIG, который проверяет только подписи транзакций. 」

Более того, он отмечает, что использование OP_CAT в сочетании с CHECKSIGFROMSTACK может обеспечить гениальный подход к транзакционной интроспекции.

Примечание: Интроспекция транзакций относится к способности изучать и анализировать различные компоненты самой транзакции в Bitcoin Script. Проще говоря, это позволяет сценарию «понимать» и обрабатывать детали транзакции, которые он обрабатывает, такие как проверка выходных данных транзакции, суммы или конкретной подписи. Таким образом, сценарии могут более разумно и детально реагировать на конкретное содержание транзакции.

ЭТО ПОЗВОЛЯЕТ ПОЛЬЗОВАТЕЛЮ ПРЕДОСТАВИТЬ ДАННЫЕ ДЛЯ ВСЕЙ ТРАНЗАКЦИИ В СТЕКЕ, А СЦЕНАРИЙ ИСПОЛЬЗУЕТ OP_CAT ДЛЯ УПАКОВКИ ДАННЫХ В SINGLE ITEM, ХЭШИРОВАНИЯ ИХ, А ЗАТЕМ ПЕРЕДАЧИ В CHECKSIGFROMSTACK ДЛЯ ПРОВЕРКИ ПОДПИСИ НА ДАННЫХ. Затем он передает ту же подпись и секретный ключ в CHECKSIG. Если обе проверки пройдены, это означает, что данные транзакции, предоставленные пользователем, действительно являются реальными данными транзакции. Таким образом, скрипт может напрямую использовать эти данные для выполнения любых проверок, требуемых контрактом.

Влияние Эндрю Поэлстры и идея статьи привлекли внимание разработчиков Биткойна, и на конференции на той неделе было много дискуссий об этой комбинации кодов операций и о том, как внесение небольших изменений в язык сценариев после активации Taproot может повысить гибкость контрактов.

Примерно через две недели после выхода книги «CAT и «Трюки Шнорра I» Эндрю Поэльстра опубликовал вторую статью «CAT и «Трюки Шнорра II», в которой Эндрю Поэльстра рассказывает о деталях и своих мыслях:

В мае 2019 года разработчик биткоина Джереми Рубин предложил операционный код биткоина CHECKOUTPUTSHASHVERIFY с целью реализации базового и ограниченного смарт-контракта, который позволяет избежать технических и социальных рисков, характерных для предыдущих дизайнов смарт-контрактов. Впоследствии этот операционный код был заменен на SECURETHEBAG, а затем на CHECKTEMPLATEVERIFY, который в январе 2020 года официально стал Предложением по улучшению биткоина BIP 0119.

В то же время Рассел О’Коннор предлагает добавить CHECKSIGFROMSTACK и OP_CAT Operation Code непосредственно в Биткойн для поддержки смарт-контрактов, которые не ограничены предложением Рубина. Хотя предложение было встречено с некоторым сопротивлением, и дискуссия в конечном итоге уменьшилась, в основном из-за неэффективности смарт-контрактов типа CAT+CHECKSIG и долгосрочного негативного впечатления о полном владении универсальными смарт-контрактами.

Эндрю Поэлстра также поначалу неохотно поддерживал так называемую функцию смарт-контракта Bitcoin. Однако осенью 2019 года частная переписка с Итаном Хейлманом изменила его мнение. Итан Хейлман отметил, что, несмотря на опасения, на самом деле возможно реализовать смарт-контракты, которые считаются вредными через CHECKMULTISIG и на самом деле не принимаются кошельками и пользователями из-за их недостаточного распознавания и доступности. Чтобы доказать это, Итан Хейлман призвал людей в социальных сетях придумать жизнеспособные «темные» смарт-контракты, но до сих пор никому это не удалось.

Поэтому Эндрю Поэлстра пришел к выводу, что всеобщий страх перед смарт-контрактами может быть преувеличен. В статье также утверждается, что смарт-контракт неизбежен в развитии Биткойна, даже если есть опасения, и поощряется дальнейшее изучение возможности создания смарт-контракта с использованием невыделенного кода операции OP_CAT.

В 2021 году

За этим последовала статья Джереми Рубина от 6 июля 2021 года, объясняющая OP_CAT с точки зрения квантовой безопасности биткоина. Джереми Рубин является не только разработчиком биткоина, но и основателем Judica, научно-исследовательской организации по биткоину, специализирующейся на разработке языка программирования смарт-контрактов биткоина Sapio.

В электронных письмах и сообщениях в блоге Джереми Рубин обсуждает, как квантово верифицировать биткоин с помощью OP_CAT Operation Code и подписей Lamport. Автор начинает с обзора предыдущего поста в блоге о том, как регистрировать 5-байтовые значения с помощью арифметики скриптов Биткойна и подписей Lamport. Несмотря на то, что этот метод хорош, у него есть свои ограничения. Джереми Рубину пришла в голову идея: что, если бы мы могли подписывать более длинные сообщения, особенно если бы мы могли подписывать до 20 байт, мы могли бы подписать потенциально квантово-безопасный дайджест HASH 160.

Джереми Рубин (Jeremy Rubin) далее исследует последствия подписания дайджеста HASH 160 в статье и объясняет возможность раскрывать только закрытый ключ, не изменяя фактическое подписанное содержимое, даже если квантовый компьютер взломает ECDSA. Для этого авторы обратились за консультацией к ученому-криптографу Мадарсу Вирзе и получили утвердительный ответ.

Джереми Рубин (Jeremy Rubin) отмечает, что если мы требуем, чтобы подписи ECDSA были подписаны с использованием алгоритма подписи квантового доказательства, мы можем получить квантовое доказательство биткоина. Схема 5-байтовой подписи, рассмотренная ранее, на самом деле является квантово-безопасной подписью Лампорта. К сожалению, этот метод требует не менее 20 последовательных байтов.

Поэтому Джереми Рубин предположил, что необходима какая-то операция, подобная OP_CAT. В статье объясняется, что OP_CAT не может быть софтфорком непосредственно в Segwit v 0, потому что он изменяет стек. Итак, для упрощения автор показывает, как использовать новый код операции OP_SUBSTRINGEQUALVERIFY который проверяет равенство некоторой части строки, проверяя семантику.

5 ноября 2021 года на конференции по биткоину в Атланте Джереми Рубин и Эндрю Поэлстра были среди докладчиков, обсуждавших предложение о повторном включении Operation Code OP_CAT, утверждая, что OP_CAT важен в контексте биткоина, и подчеркивая его потенциал, особенно с точки зрения квантовой безопасности и создания сложных смарт-контрактов. Например, в сочетании с CAT и кодом операции проверки подписи Шнорра теоретически может быть реализован нерекурсивный смарт-контракт. Этот смарт-контракт способен помещать хеш SHA 2 данных транзакции непосредственно в стек. Таким образом, на различные части сделки могут быть наложены ограничения в той или иной степени.

В ходе дискуссии также было упомянуто, что если CAT будет введена вновь, это может в некотором роде усложнить Биткойн, а также ввести новые функции и возможности. Перезапуск OP_CAT требует тщательного рассмотрения, чтобы избежать проблем, которые возникали в прошлом, таких как взрывы памяти.

2022

В обсуждении в списке рассылки разработчиков биткоина от 18 мая 2022 года о повторном введении кода операции OP_CAT, который был удален из биткоина в 2010 году, разработчик ZmnSCPxj предположил, что для достижения неизбежного рекурсивного смарт-контракта OP_CAT необходимо будет объединить с предлагаемым кодом операции, таким как OP_TX, OP_CHECKSIGFROMSTACK (CSFS) и т. д. Рекурсивный смарт-контракт использует правила BitcoinConsensus, чтобы гарантировать, что все биткойны, полученные от контракта, могут быть потрачены только на тот же контракт.

Рекурсивные смарт-контракты основаны на методах интроспекции транзакций, то есть код операции может анализировать часть транзакции, для которой выполняется код операции. Существующий Операционный кодекс предусматривает ограниченный самоанализ. Для того, чтобы создать рекурсивный смарт-контракт, необходимо убедиться, что предыдущий и следующий выход совпадают. Следовательно, либо предыдущий выход, либо следующий выход, либо оба должны быть динамически построены из составляющих их элементов, поэтому для реализации рекурсивных смарт-контрактов нужны CAT или аналогичные структуры.

Надав Ивги отмечает, что CAT по-прежнему необходим для решения проблемы хеширования при создании рекурсивных смарт-контрактов, но это означает, что такие функции, как CTV и APO, которые сосредоточены на интроспекции выходных данных, также могут быть объединены с CAT для создания рекурсивных смарт-контрактов. Ivgi утверждает, что при использовании в сочетании с функциональностью taproot, проверка предыдущего вывода следующим выводом упрощает написание сценариев смарт-контрактов и предоставляет ссылки на два примера рекурсивных смарт-контрактов.

ZmnSCPxj согласился с анализом Ивги и повторил свои опасения по поводу рисков, связанных с включением рекурсивных смарт-контрактов на Биткойне, хотя он также отметил в следующем посте, что рекурсивные смарт-контракты могут быть безопасными, потому что они на самом деле не являются полными по Тьюрингу. Рассел О’Коннор цитирует статью Эндрю Поэлстра, описывающую, как сама CAT может быть объединена с существующей функциональностью Биткойна в достаточной степени для создания нерекурсивных смарт-контрактов, и теоретически, если она будет повторно добавлена в Биткойн, также может быть способна создавать рекурсивные смарт-контракты самостоятельно.

В 2023 году

В январе Энтони Таунс запустил Bitcoin Inquisition, копию Bitcoin Core, предназначенную для работы на печатке по умолчанию для тестирования предлагаемых софтфорков и других крупных изменений протокола. По состоянию на конец 2023 года Bitcoin Inquisition поддержала ряд предложений, и, кроме того, в ее кодовую базу были внесены PR (запросы на вытягивание), предназначенные для OP_CAT, OP_VAULT и ограничения 64-байтовых транзакций, что, как ожидается, еще больше расширит возможности этого тестового стенда.

23 августа 2023 года в списке рассылки Lightning-Dev Томас Фёгтлин выдвинул идею доказательства мошенничества о статусе просроченных резервных копий. Фёгтлин отмечает, что это доказательство мошенничества можно использовать в блокчейне, если OP_CHECKSIGFROMSTACK (CSFS) и OP_ CAT Operation Code будут добавлены в Биткойн путем софтфорка. Предложение вызвало много дискуссий, при этом Питер Тодд отметил, что базовый механизм является универсальным и не ограничивается LN и может быть полезен в различных протоколах, но он также предложил более простой механизм, который здесь не будет обсуждаться.

К октябрю Расти Рассел работал над смарт-контрактом общего назначения для скриптового языка биткоина с минимальными изменениями. В то же время, что очень важно, Итан Хейлман и Армин Сабури совместно опубликовали проект BIP, предлагающий добавить OP_CAT Operation Code, код операции для соединения двух элементов в стеке. Дискуссии по этим двум темам продолжались и в ноябре.

В 2024 году

На дворе январь 2024 года, и Quantum Cats действительно удалось вывести дискуссию о BIP и процессе биткоина для OP_CAT на новый уровень.

В общении с сообществом разработчик Bitcoin Core Ава Чоу сказала: «Я не думаю, что CTV — это грубый консенсус. Я думаю, что другие, более общие предложения по смарт-контрактам на самом деле ближе, такие как txhash или CAT. Однако я не следил внимательно за дискуссией. 」

Ава Чоу (@achow 101) в настоящее время занимает 5-е место в рейтинге участников кода Bitcoin Core с 1 292 коммитами и является одной из немногих, кто имеет право объединять код Bitcoin. В результате она также имеет большое влияние в сообществе разработчиков.

«Я не предлагаю активировать OP_CAT. Я поддерживаю OP_CAT, потому что именно Операционный кодекс с наибольшей вероятностью приведет к консенсусу. Если вы не знаете о OP_CAT, я резюмирую ситуацию на этом изображении. Так считает Эрик Уолл (@ercwl), один из создателей Taproot Wizard.

Тем не менее, Ава Чоу, похоже, не является абсолютным сторонником внедрения OP_CAT: «Как я уже сказала, я не думаю, что какое-либо предложение по смарт-контрактам приближается к приблизительному консенсусу или имеет приблизительный консенсус. Я не думаю, что мы должны пытаться активировать какой-либо из них. 」

Десять строк кода, позволяющие Биткоину реализовать смарт-контракт

Как объясняет Эрик Уолл (@ercwl), один из создателей Taproot Wizard: «Люди не понимают этого, но OP_CAT на самом деле является одним из строительных блоков zkrollup на Биткойне. 」

Повторное введение OP_CAT предоставляет Биткойну мощный инструмент для поддержки таких проектов, как BitVM, недавно представленная концепция проверки произвольных вычислений в Биткойне, которая станет проще и эффективнее благодаря OP_CAT. Экосистема биткоина позволяет создавать более универсальные и выразительные смарт-контракты.

Читайте по теме: Что думают разработчики-ветераны о BitVM для вычислений на Bitcoin?

С помощью OP_CAT могут быть реализованы так называемые смарт-контракты, т.е. заранее оговоренные условия устанавливаются для конкретного выхода Bitcoin. Это не только открывает двери для новых методов масштабирования, таких как Blockstream Ark, но и поддерживает многие другие инновационные подходы, основанные на смарт-контрактах. Кроме того, это означает, что Биткойн — это не просто платежная сеть, но и универсальная, масштабируемая вычислительная платформа.

В то время как один из создателей Taproot Wizard Эрик Уолл в восторге от концепции BitVM, он считает, что предложение может стать «техническим тупиком» для Биткойна из-за его огромных накладных расходов и длительного цикла реализации. Он опасается, что BitVM может отвлечь сообщество и помешать реальному развитию. Несмотря на это, предложение BitVM по-прежнему демонстрирует активный дух исследований и инноваций в области технологии блокчейн и смарт-контрактов.

На самом деле, команда проекта Taproot Wizard сама работает над внедрением решения уровня 2 на Bitcoin, и в предыдущем пространстве они также заявили, что завершенный раунд финансирования в размере $7,5 млн будет использован для изучения вариантов масштабирования Bitcoin.

Поэтому софтфорк OP_CAT также станет для них важным шагом. Эрик Уолл, который раньше был членом совета директоров StarkNet Foundation, проявляет большой интерес к созданию DeFi поверх создания уровня расчетов, не требующего разрешения, поэтому, когда Ethereum начал появляться в 2019 году, его, естественно, привлекло пространство децентрализованных финансов на Ethereum.

Исследование Биткойном децентрализованных финансов было почти полностью прекращено, когда в 2019 году стало очевидно, что Ethereum и другие блокчейны могут масштабироваться с помощью zk-роллапов или оптимистичных доказательств мошенничества. Изучив возможность масштабирования zk-rollup для Биткойна, Уолл обратился к поддержке децентрализованных финансов на Ethereum. Но, в конце концов, он пытается привнести эту систему и эти технологические преимущества в Биткойн.

Кроме того, в ветке обсуждения на OP_CAT на форуме bitcointalk Картера Фельдмана (@cmpeq), основателя проекта QED, спросили, как он намерен использовать этот операционный код в скриптах Биткойна, и вычисляет ли он средние байты стека-свидетеля и комиссии, которые могут быть понесены.

Картер Фельдман (Carter Feldman) сказал, что он признает, что это может быть немного дорого, но объясняет, что доказательство Меркель в основном используется в его проекте по созданию сценария блокировки без доверия или системы привязки в рамках второго уровня zk для Биткойна. Эта система направлена на то, чтобы доказать, что определенное количество биткойнов может быть выведено на определенный адрес, учитывая корень дерева вывода средств (в качестве общедоступного входа в доказательство с нулевым разглашением).

Что касается расходов, он отметил, что это будет крайняя мера. Он предполагает, что обычные пользователи могут покупать обернутые BTC на втором уровне, попросив продавца обернутых BTC заблокировать свой токен на L2 на определенный период времени, в течение которого покупатель должен доказать, что он заплатил продавцу на Bitcoin L1. Они знают, что всегда могут обменять биткоин без доверия, если захотят. В то же время несколько крупных поставщиков ликвидности станут организациями, которые фактически обмениваются между wBTC и BTC и могут взимать небольшие комиссии с более мелких пользователей, которые хотят купить у них wBTC или перевести их обратно в биткойн.

Таким образом, в целом, предложение BIP от OP_CAT может помочь создать смарт-контракты на Биткойне всего с 13 строками кода, но все равно будет много обсуждений и пробных решений для конкретных деталей каждого проекта.

Меметическая культура набирает обороты и развивает технологии

Член команды TaprootWizards Rijndael (@rot 13 maxi) поделился в социальных сетях различными сложными механиками, которые они используют для создания произведений искусства. Для достижения этой цели они полагаются на различные методы, включая порядковую рекурсию, предварительно подписанные транзакции, симметричную криптографию и управление нагрузкой на стороне клиента. В процессе создания искусства они специально решили использовать предварительно подписанные транзакции для выполнения операций, показывая, как предварительно отправить хэш транзакции с помощью смарт-контракта, такого как OP_CAT или CTV.

Но Армин Сабури саркастически прокомментировал: «Код и технические усилия, необходимые для создания развивающейся коллекции невзаимозаменяемых токенов, могут в 100 раз превышать объем работы, необходимый для повторного включения операционного кода. 」

OP_CAT считается простым и понятным операционным кодом, и утверждается, что он может сделать Биткойн «квантово безопасным», подписав подписи ECDSA. Эта идея была поддержана некоторыми и вдохновила Taproot Wizard на запуск кампании Quantum Cats Non-fungible Token для повышения осведомленности о OP_CAT.

Однако не только OP_CAT использует меметическую культуру для создания импульса для технологического прогресса.

Вдохновленные Quantum Cats и его продажной ценой 0,1 BTC и, возможно, частично недовольные его высокой продажной ценой, сообщество OP_CTV также запустило мем с сэндвичами под названием #rubinsreubens для продвижения технологии OP _CTV.

Этот мем с бутербродом изначально задумывался как юмористический ответ на квантового кота и его мемы. Тем не менее, он на самом деле очень эффективен, потому что, как и CTV, он добавляет иерархию, и вы можете сделать столько слоев на «саммихе», сколько захотите.

Этот мем с бутербродом привлек внимание многих людей. Мемы забавны и могут быть использованы, чтобы продемонстрировать поддержку чего-либо, но также важно понимать смысл, стоящий за этим. Целью #rubinsreubens является улучшение понимания предложений OP_ctv, LNHANCE и Soft Fork для нового BTC операционного кода и включения смарт-контракта.

Возможные причины сбоев OP_CAT

Возвращаясь к OP_CAT, люди могут возражать против введения таких функций, как OP_CAT по ряду причин. Во-первых, добавление новых кодов операций или функций, таких как OP_CAT, может увеличить сложность Биткойна, сделав его более сложным для понимания и безопасным использованием, что увеличит риск. Во-вторых, не следует упускать из виду проблемы безопасности при внедрении новых функций, а функции, которые не были полностью протестированы, могут содержать уязвимости, которые ставят под угрозу общую безопасность Биткойна. Кроме того, если обновление софтфорка не будет принято всеми узлами, это может привести к разделению сети, в результате чего различные версии сети Биткойн будут сосуществовать, что усложнит достижение консенсуса.

Новые функции могут создавать проблемы совместимости, особенно если они не поддерживают старые узлы, потенциально исключая некоторые узлы из сети, что негативно влияет на экосистему Биткойна. Особенно те пользователи, которые не обновились, могут оказаться неспособными продолжать участие в сети. Кроме того, некоторые могут рассматривать введение новых функций как поспешное решение, не уделяющее приоритетного внимания решению насущных проблем в основном протоколе Биткойна. Поспешные изменения могут привести к ненужному риску и нестабильности.

В дополнение к соображениям безопасности и рискам, двумя основными причинами, по которым OP_CAT потерпит неудачу, являются: страх перед смарт-контрактом в сообществе биткойнов и отсутствие «легитимности» в биткойн-контракте.

Страх перед смарт-контрактами

Страх перед БиткоиномСмарт-контракт может стать еще одним существенным препятствием на пути к достижению OP_CAT. Будучи основным компонентом технологии блокчейн, смарт-контракты играют жизненно важную роль во многих проектах блокчейна, особенно на таких платформах, как Ethereum.

Тем не менее, в сообществе Биткойна принятие смарт-контрактов относительно низкое, отчасти из-за опасений по поводу рисков и проблем, которые могут представлять смарт-контракты. Смарт-контракты могут повлиять на основные ценности биткоина, такие как одноранговая связь, децентрализация и безопасность. Биткойн-сообщество очень серьезно относится к поддержанию этих основных ценностей, и любые изменения, которые, как считается, угрожают этим ценностям, скорее всего, будут отвергнуты.

Основная проблема, связанная со смарт-контрактами, заключается в том, что они могут увеличить сложность и риски безопасности в сети. Смарт-контракты часто включают в себя сложную логику и код, и любая небольшая ошибка или уязвимость может привести к серьезным проблемам с безопасностью и даже к массовой потере средств, как это случалось в некоторых блокчейн-проектах в прошлом. Кроме того, внедрение смарт-контрактов может усложнить понимание и аудит всей системы, увеличив вероятность ошибок.

Кроме того, биткоин-сообщество всегда уделяло большое внимание поддержанию стабильности и безопасности сети. Философия дизайна Биткоина склоняется к простоте и консерватизму, отдавая приоритет безопасности и децентрализации сети. В результате любые существенные изменения, которые могут представлять угрозу киберстабильности, подвергаются тщательному изучению и обширным обсуждениям. Введение OP_CAT и смарт-контрактов, хотя и потенциально привносит новые функции и возможности в Биткойн, также может рассматриваться как противоречащее первоначальному видению и философии дизайна Биткойна.

Был ли Сатоши Накамото “неправ”?

Восстановление OP_CAT Operation Code вызвало глубокую дискуссию в сообществе, отчасти потому, что оно затрагивает деликатную тему: означает ли это, что Сатоши Накамото ошибается?

Как основателя Биткойна, решения и оригинальный дизайн Сатоши Накамото многими считаются библией, а его оригинальное видение считается центральным руководством по развитию Биткойна. Таким образом, любое оспаривание или изменение решения Сатоши Накамото может рассматриваться как неуважение к его наследию или отход от основных принципов биткоина. В конце концов, в блокчейн-индустрии легитимность всегда была неизбежной темой.

Поэтому предложение о восстановлении OP_CAT затрагивает и более широкий вопрос: должен ли биткоин быть статичной сущностью, или он должен адаптироваться к меняющейся технологической среде и потребностям пользователей?

Однако техническая сфера постоянно прогрессирует и меняется, и Биткоин, как технологическая инновация, не может полностью избавиться от этого закона, и, судя по всему, так считает команда Taproot Wizard, поддерживающая восстановление OP_CAT. В конце концов, они намеренно разработали самый большой BitcoinBlock за всю историю, чуть ниже лимита Bitcoin в 4 МБ, чтобы выпустить Non-Fungible Token Taproot Wizards.

Уди Вертхаймер, основатель Taproot Wizard, сказал, что понимает, что многие люди считают, что биткоин не должен меняться. Он считает, что изменения в биткоине должны быть медленными, осторожными и обдуманными. Он утверждает, что биткоин слишком молод, чтобы полностью закрепиться, отмечая, что процесс управления каким-то образом нарушен. Несмотря на то, что техническое сообщество в целом соглашается с тем, что будет больше обновлений Биткойна, на самом деле трудно точно определить, какие именно обновления. Тем не менее, Вертхаймер подчеркнул, что изменения необходимы, потому что нынешний биткоин пока не способен обслуживать миллиарды людей.

Конечно, такие изменения также сопряжены с рисками и проблемами, такими как проблемы безопасности, риски фрагментации сети, проблемы совместимости и т. д., которые необходимо тщательно рассмотреть и решить.

Как и следовало ожидать, в будущем, чтобы гарантировать, что предлагаемые улучшения будут безопасными и эффективными, развертывание OP_CAT в среде тестовой сети является критически важным шагом, который позволяет разработчикам выявлять и устранять проблемы, не влияя на основную сеть.

В то же время, для того, чтобы по-настоящему реализовать «перезагрузку» OP_CAT, весь процесс будет длиться долго, даже годами, потому что он включает в себя множество соображений и балансов, включая технические детали, консенсус сообщества и соображения безопасности и стабильности сети Bitcoin, и, самое главное, широкую поддержку и признание сообщества.