Решения второго уровня, основанные на ZK-tech, могут появиться в биткойнах благодаря Джону Лайту из исследовательской стипендии ZK-Rollup Research Fellowship Фонда прав человека, выдвинувшему предложение, которое привлекло внимание некоторых разработчиков биткойнов.
В длинном обзоре сверток достоверности и того, как они могут быть реализованы на очень ограниченном языке сценариев биткойнов, Лайт сначала полезно резюмирует, что представляют собой эти все еще очень новые изобретения:
«Сводка — это блокчейн, в котором хранится корень состояния и, по крайней мере, достаточно данных транзакций для пересчета текущего состояния из генезиса внутри блока другого «родительского» блокчейна, при этом выполнение транзакции перемещается «вне цепочки» в отдельную сеть узлов».
Сводки достоверности содержат достаточно данных в цепочке для «доказательств достоверности», чтобы гарантировать, что новые блоки свертывания соответствуют правилам протокола свертки.
Эти доказательства создаются с помощью ZK-tech, в настоящее время в основном STARK, и, таким образом, фактически вы получаете метод сжатия, при котором вы можете выполнить, скажем, 100x транзакций на этом втором уровне, с подавляющим большинством безопасности базового уровня, и все это преобразуется в просто одна транзакция в сети.
Это имеет значительные преимущества в использовании по сравнению с чем-то вроде Lightning Network, потому что вам не нужны такие вещи, как залог, маршрутизаторы и т. д., вы просто вносите депозит в накопительный пакет.
Для простых переводов они в основном были реализованы на Эфириуме, где сейчас они работают над целыми виртуальными машинами Эфириума на основе zk в надежде, что в конечном итоге решение ZK можно будет применить к самому базовому уровню.
Однако в биткойне не было много работы до этой весны, когда Трей Дель Бонис, разработчик биткойнов, опубликованный примеры кода того, как свертки достоверности могут быть реализованы в биткойнах. Легкий говорит:
«Было бы возможно создать сводку достоверности для биткойнов, используя родной для биткойнов неполный по Тьюрингу язык программирования, Script, с относительно небольшими изменениями (с точки зрения размера кода) в кодах операций, которые поддерживает Script…
По словам Дель Бониса, изменения, необходимые для поддержки свертки валидности в биткойнах, — это несколько дополнительных кодов операций, позволяющих реализовать два основных примитива его схемы свертки — проверка доказательства валидности и рекурсивные ковенанты…
Рекурсивные ковенанты — это тип смарт-контракта, который ограничивает тип сценария, на который может быть отправлен BTC после его расходования.
Дель Бонис использует рекурсивные ковенанты для распространения конструкции объединения с каждым обновлением состояния, гарантируя, что BTC, которые заблокированы в сценарии объединения и еще не были отозваны их владельцем, остаются в сценарии от одного обновления состояния объединения к другому.
Как только владелец BTC в сводке подтвердит действительную транзакцию вывода средств в сводке, он может выйти из сценария рекурсивного соглашения со своими BTC на указанный адрес вывода L1.
Рекурсивные ковенанты — это изменение скрипта, которое уже давно рассматривается сообществом биткойнов. Однако в настоящее время нет конкретных предложений, которые достигли широкого консенсуса среди сообщества разработчиков биткойнов по реализации рекурсивных условий».
Концептуально это звучит просто. Рекурсивные контракты имеют дело с блокирующей частью или переводом средств в накопительный пакет и из него, в то время как для интеграции доказательств требуются некоторые другие изменения.
Однако биткойн, как известно, меняется медленно, но Лайт говорит, что это предложение полностью совместимо с духом биткойна, сообщая списку рассылки разработчиков биткойнов:
«Сводки валидности могут улучшить масштабируемость, конфиденциальность и программируемость биткойна без ущерба для основных ценностей или функциональности биткойна в качестве одноранговой электронной денежной системы.
Учитывая «ненадежный» характер сверток достоверности как криптографически защищенных расширений их родительской цепочки, а также учитывая статус биткойна как наиболее безопасного уровня расчетов, можно даже сказать, что эти протоколы идеально подходят друг другу».
Они не требуют дополнительной пропускной способности или хранилища, поэтому обеспечивают масштабируемость без заметных компромиссов.
Однако их реализация в биткойнах, вероятно, будет очень медленной, и вместо этого Лайт предлагает:
«Проект боковой цепи Elements (и блокчейн Liquid, основанный на Elements) еще не поддерживает доказательства достоверности, необходимые для поддержки свертки достоверности, но поддерживает рекурсивные ковенанты.
Внедрение поддержки доказательств валидности в Elements, наряду с некоторыми другими изменениями, которые Дель Бонис назвал полезными, может, таким образом, стать путем к тестированию протокола свертки валидности, который в конечном итоге предназначен для развертывания на биткойнах».
Liquid поддерживается Blockstream, а Грег Сандерс из этого Blockstream заявил об обсуждении в списке рассылки:
«Есть ли шпаргалка на одну страницу «запросов» для интроспекции транзакций / OP_ZKP (?) и их использования как по отдельности, так и вместе для разных архитектур свертки?»
Op_ZKP не совсем существует, и, возможно, поэтому он поставил вопросительный знак, но этот вопрос вполне может указывать на то, что, хотя концептуально это звучит просто, на самом деле реализовать это на очень ограниченном языке сценариев биткойнов, вероятно, будет совсем непросто.
Не в последнюю очередь потому, что это была бы передовая разработка, хотя и не полностью оригинальная, поскольку разработчики в Эфириуме работали над этими системами zk с 2019 года.
Транспортировка этого сейчас достигла точки, когда был создан скелет для биткойнов. Однако до полной реализации может пройти довольно много времени.
Источник: https://www.trustnodes.com/2022/10/12/validity-rollups-proposed-for-bitcoin.