Биткойн вот-вот получит накопительные пакеты с нулевым разглашением (ZK). Недавно два разных проекта воплотили эту разработку в жизнь, разработку, которая может не только помочь Биткойну еще больше масштабироваться, но и предоставить дополнительные гарантии конфиденциальности пользователям, которые решат его использовать.
На прошлой неделе Chainway объявила об открытии исходного кода своего адаптера доступности данных (DA) — технологии, которая позволяет разработчикам использовать безопасность и окончательность Биткойна для разработки накопительных пакетов с использованием Sovereign Software Development Kit (SDK). Sovereign предоставляет разработчикам комплексную услугу для создания различных типов накопительных пакетов, а запуск Chainway направлен на создание первого в Биткойне ZK Rollup.
Kasar Labs в партнерстве с Taproot Wizards по совпадению одновременно выпустила адаптер DA для Биткойна. Адаптер позволяет разработчикам подключать стек Madara к Биткойну для запуска накопительных пакетов Starknet на основе языка программирования Cairo, созданного StarkWare.
Что такое ZK Rollup?
Объединяет и публикует нестандартные транзакции Биткойн (например, транзакции из определенных сайдчейнов) в блоки базовой цепочки блоков (например, Биткойн). Это значительно снижает вычислительные затраты на проверку этих транзакций, при этом в определенной степени выигрывая от безопасности блокчейнов уровня 1. В этом смысле транзакции Rollup существуют в Биткойне. Затем пользователи запускали узел для этой боковой цепи, который знал, как интерпретировать данные, отправленные в Биткойн, и создавать балансы счетов. Однако это означает, что каждому нужен полный узел, на котором работает другой протокол, который не масштабируется. Здесь на помощь приходит ЗК.
ZK Rollup использует доказательства с нулевым разглашением — криптографическое доказательство, которое обеспечивает вычислительную целостность без ущерба для конфиденциальности. Это позволяет доказывающему доказать проверяющему правильность вычислительного утверждения с математической достоверностью, не раскрывая деталей конкретной информации, используемой для расчета доказательства. В контексте Rollup это очень важно, поскольку от наблюдателя требуется только знание окончательного доказательства для проверки этих утверждений или транзакций. Использование доказательств ZK позволяет людям, использующим Rollup, получать доказательства последнего состояния Биткойна с математической достоверностью, сохраняя при этом полную конфиденциальность.
Преимущества ZK Rollup включают в себя отсутствие необходимости подключения пользователей к сети для получения платежей, по возможности только данные о платежах в цепочке, отсутствие необходимости управлять ликвидностью и отсутствие зависимости от низких комиссий базового уровня Биткойна. Кроме того, используя ZK Rollup, разработчики могут добавлять любую желаемую среду программирования поверх Биткойна, например смарт-контракты, полные по Тьюрингу.
Доказательства ZK используют два основных математических метода: SNARK и STARK. Первый, краткий неинтерактивный аргумент в виде знаний, появился раньше второго и используется в криптовалютах, таких как Zcash, обеспечивая пользователям высокий уровень конфиденциальности. Аргументы масштабируемого прозрачного знания были разработаны позже, чтобы обеспечить лучшую безопасность и масштабируемость помимо желаемой конфиденциальности. Это связано с тем, что SNARK полагается на надежную систему для создания доказательств, в то время как STARK стремится быть полностью не заслуживающим доверия. Наконец, SNARK восприимчивы к квантовым вычислениям, но STARK квантовобезопасны.
Учитывая почти провальную историю Биткойна и его устойчивость к глубоким реорганизациям, это наиболее подходящая криптовалюта для объединенных транзакций, которые полагаются на основную цепочку для доступа к критически важным данным, которые пользователи должны потратить. Основная цепочка также гарантирует, что Rollup остается активным и доступным.
Чтобы правильно реализовать ZK Rollup на Биткойне и позволить пользователям надежно связывать свои Биткойны между накопительными пакетами, требуется софт-форк Биткойна. Этот софт-форк добавит новый код операции к старейшей криптовалюте, благодаря чему Биткойн сам узнает и сможет проверить доказательства ZK. Если это произойдет, пользователям нужно всего лишь запустить узел Биткойн, чтобы иметь возможность достоверно проверить доказательства, выданные конкретным накопительным пакетом, узнать о своей учетной записи и балансе, а также иметь возможность вывести средства из накопительного пакета.
Два проекта, упомянутые в первой части, не предполагают, что Биткойн претерпит консенсусные изменения. Вместо этого они используют протокол Ordinals, чтобы избежать необходимости в новых кодах операций. В частности, они используют концепцию вписанных конвертов, представленную Ordinals, инновацию, которая позволяет разработчикам и пользователям инкапсулировать любые типы данных с помощью определенных флагов и нескольких кодов операций. В Порядковой надписи этим знаком является «орд».
Флаги и коды операций в начале конверта служат двойной цели. Во-первых, они сообщают узлам Биткойн, что они могут пропускать конверты с информацией, не имеющей отношения к сети Биткойн. Во-вторых, они оказывают противоположное воздействие на пользователей и приложения, которые знают о конверте, давая им понять, что он содержит интересующий их контент. В случае с накопительным пакетом ZK пользователи могут сканировать блоки Биткойнов на предмет этих конвертов, узнавать последний статус объединения и использовать доказательства ZK для математической проверки.
Теперь, когда мы имеем представление о доказательствах ZK, давайте вернемся к двум ранее упомянутым проектам и исследуем уникальные аспекты их конструкции.
СУВЕРЕН
Сам Sovereign SDK преследует три основные цели. Во-первых, он направлен на предоставление стандартного интерфейса для связи между Rollup и уровнем DA, что упрощает развертывание Rollup на новом уровне DA и позволяет новым цепочкам поддерживать существующий Rollup. Во-вторых, он интегрируется с криптографическим компилятором для преобразования бизнес-логики кода в криптографически проверяемую форму. Наконец, он предоставляет реализации по умолчанию общих примитивов блокчейна, таких как токены, невзаимозаменяемые токены и межцепочные мосты.
Как упоминалось ранее, адаптер DA Chainway предназначен для того, чтобы приложениям, созданным с использованием Sovereign SDK, было проще подключаться к Биткойну. Другими словами, адаптер позволяет Sovereign Rollup использовать Биткойн в качестве уровня DA, что раньше было невозможно. Доступность данных имеет решающее значение для Rollup, поскольку она обеспечивает надежную проверку вычислений, выполняемых за пределами основной цепочки, и является требованием для пользователей, чтобы иметь возможность проверять или изменять свои балансы и выводить средства из Rollup.
Чтобы транзакции Sovereign Rollup были включены в блоки Биткойн, пользователи передают свои транзакции так называемому секвенатору. Секвенсор управляется самим фондом в конструкции адаптера DA Chainway и отвечает за установление этой связи между боковой цепью и Биткойном, гарантируя, что все транзакции, передаваемые пользователями, публикуются в Биткойне в форме доказательств ZK.
Это звучит немного централизованно, и это так. Однако, учитывая существование технологии подтверждения достоверности, известной как ZK-STARK, секвенаторы на самом деле не могут действовать злонамеренно. Это связано с тем, что аттестация в частном порядке подтверждает законность транзакции и может быть проверена кем угодно. Например, секвенаторы не могут незаконно присвоить средства пользователей или проводить несанкционированные транзакции. Однако теоретически они могут подвергать цензуре транзакции пользователя, не включая их в блоки Биткойн и сохраняя эти данные. Если это произойдет, пользователи могут опубликовать данные своих транзакций в Биткойн, записав эту информацию в Биткойн.
В Chainway заявили, что в будущем они планируют реализовать децентрализованную сортировку через небольшой набор сортировщиков, а участие будет без разрешения и основано на стейкинге.
СТАРКНЕТ
Как и Sovereign, Starknet также позволяет создавать Rollup-ы. Однако Starknet — это более самоуверенная экосистема, включающая в себя четкие компоненты, такие как Cairo, CairoVM и Madara, с помощью которых разработчики могут создавать свои проекты.
Starknet — это накопительный пакет ZK, который в настоящее время работает на Ethereum. Это означает, что накопительный пакет использует блокчейн, созданный Виталиком Бутериным, в качестве уровня DA. Он использует доказательства STARK, чтобы предоставить пользователям необходимые предположения о конфиденциальности и безопасности, а также улучшить масштабируемость и снизить транзакционные издержки за счет пакетной обработки транзакций перед публикацией доказательств и новых состояний на уровне 1. Cairo — это тьюринг-полный язык программирования для написания доказуемых программ, в котором одна сторона может доказать другой стороне, что определенное вычисление было выполнено правильно, не требуя от этой стороны повторного выполнения той же программы. Это первая платформа промышленного уровня для создания доказательств STARK для общих вычислений.
Виртуальная машина Cairo получает байт-код, сгенерированный компилятором, и запускает его на компьютере. Результатом выполнения является трассировка программы, которую затем можно отправить генератору доказательств STARK для подтверждения достоверности утверждений, выраженных в коде Cairo.
Madara — это секвенсор для стека Starknet, помогающий разработчикам поддерживать ZK Rollup на основе Starknet.
До недавнего времени все эти программные стеки были доступны только на Ethereum. Теперь Kasar Labs и Taproot Wizards выпустили адаптер DA для Биткойн, предназначенный для того, чтобы позволить разработчикам привязывать накопительные пакеты, созданные с использованием версии Starknet с открытым исходным кодом, к оригинальной и наиболее безопасной сети криптовалюты.
Нужен ли Биткойну ZK Rollup?
По сути, Биткойну в этом нет необходимости. В своем нынешнем состоянии он работает очень хорошо, и нет особых оснований полагать, что Биткойн нуждается в серьезных изменениях. С другой стороны, масштабируемость является реальной потребностью, и такие технологии, как Lightning Network, оказались чрезвычайно полезными, обеспечивая более широкое участие пользователей, которые в противном случае не смогли бы участвовать в экономических транзакциях Биткойн.
ZK Rollup дает возможность взглянуть на Биткойн с другой точки зрения. Два упомянутых выше проекта не требуют каких-либо реальных изменений в самом Биткойне, но для реализации полной функциональности этой технологии потребуются согласованные изменения посредством введения новых кодов операций. В настоящее время кажется, что это исследование технологии Rollup с нулевым разглашением пытается раздвинуть потенциальные границы Биткойна, что хорошо для расширения базы пользователей Биткойна, как и в случае с Lightning Network.
Подобно Lightning Network, функция Rollup объединяет несколько транзакций и публикует единый поток информации в Биткойн. Конечно, ZK Rollup использует совсем другой подход, чем Lightning Network, и это правильно. Технология не пытается конкурировать с проверенным вторым уровнем дешевых платежей, который уже нравится пользователям Биткойн. Вместо этого Rollup фокусируется на других проблемах и пытается предложить другие решения.
Для тех, кто хочет сделать больше с Биткойном, эта технология масштабирования, которая, наконец, сможет обеспечить частные, сложные вычисления и полагаться на математические доказательства, кажется привлекательной. Несмотря на это, от этого кода операции будет зависеть абсолютно безопасное соединение биткойнов в Rollup и из него. Но даже в этом случае идея есть.
Неясно, получит ли ZK Rollup какое-либо влияние на Биткойн. У Биткойна уже есть сайдчейн, а Liquid активно работает с Биткойном уже несколько лет, но объем его транзакций все еще скромен. Можно сказать, что в случае с Liquid наличие модели федерации является недостатком, тогда как у ZK Rollup в этом случае больше преимуществ. Возможно, Rollup постигнет та же участь, что и Liquid, а именно низкий объем торгов и низкий процент, поскольку пользователи Биткойна продолжают выбирать просто «ХОДЛ Биткойн и держаться». Или это может открыть новую главу в развитии и использовании Биткойна.
Независимо от того, будет ли конечный результат успешным или неудачным, изучение развития этих высококачественных исследований является естественным и необходимым усилием. Независимо от результата, вы можете узнать из него что-то новое. Несмотря на это, одно можно сказать наверняка: Биткойн продолжит хешировать и генерировать блоки, позволяя всем пользователям наслаждаться денежной уверенностью в твердых деньгах, не заботясь ни о каких из этих вещей.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Подробное объяснение решения адаптера уровня Bitcoin DA Chainway и Kasar Labs: Как помочь Биткойну реализовать ZK Rollup?
Сценарист: Намсиос
Составил: Deep Wave TechFlow
Биткойн вот-вот получит накопительные пакеты с нулевым разглашением (ZK). Недавно два разных проекта воплотили эту разработку в жизнь, разработку, которая может не только помочь Биткойну еще больше масштабироваться, но и предоставить дополнительные гарантии конфиденциальности пользователям, которые решат его использовать.
На прошлой неделе Chainway объявила об открытии исходного кода своего адаптера доступности данных (DA) — технологии, которая позволяет разработчикам использовать безопасность и окончательность Биткойна для разработки накопительных пакетов с использованием Sovereign Software Development Kit (SDK). Sovereign предоставляет разработчикам комплексную услугу для создания различных типов накопительных пакетов, а запуск Chainway направлен на создание первого в Биткойне ZK Rollup.
Kasar Labs в партнерстве с Taproot Wizards по совпадению одновременно выпустила адаптер DA для Биткойна. Адаптер позволяет разработчикам подключать стек Madara к Биткойну для запуска накопительных пакетов Starknet на основе языка программирования Cairo, созданного StarkWare.
Что такое ZK Rollup?
Объединяет и публикует нестандартные транзакции Биткойн (например, транзакции из определенных сайдчейнов) в блоки базовой цепочки блоков (например, Биткойн). Это значительно снижает вычислительные затраты на проверку этих транзакций, при этом в определенной степени выигрывая от безопасности блокчейнов уровня 1. В этом смысле транзакции Rollup существуют в Биткойне. Затем пользователи запускали узел для этой боковой цепи, который знал, как интерпретировать данные, отправленные в Биткойн, и создавать балансы счетов. Однако это означает, что каждому нужен полный узел, на котором работает другой протокол, который не масштабируется. Здесь на помощь приходит ЗК.
ZK Rollup использует доказательства с нулевым разглашением — криптографическое доказательство, которое обеспечивает вычислительную целостность без ущерба для конфиденциальности. Это позволяет доказывающему доказать проверяющему правильность вычислительного утверждения с математической достоверностью, не раскрывая деталей конкретной информации, используемой для расчета доказательства. В контексте Rollup это очень важно, поскольку от наблюдателя требуется только знание окончательного доказательства для проверки этих утверждений или транзакций. Использование доказательств ZK позволяет людям, использующим Rollup, получать доказательства последнего состояния Биткойна с математической достоверностью, сохраняя при этом полную конфиденциальность.
Преимущества ZK Rollup включают в себя отсутствие необходимости подключения пользователей к сети для получения платежей, по возможности только данные о платежах в цепочке, отсутствие необходимости управлять ликвидностью и отсутствие зависимости от низких комиссий базового уровня Биткойна. Кроме того, используя ZK Rollup, разработчики могут добавлять любую желаемую среду программирования поверх Биткойна, например смарт-контракты, полные по Тьюрингу.
Доказательства ZK используют два основных математических метода: SNARK и STARK. Первый, краткий неинтерактивный аргумент в виде знаний, появился раньше второго и используется в криптовалютах, таких как Zcash, обеспечивая пользователям высокий уровень конфиденциальности. Аргументы масштабируемого прозрачного знания были разработаны позже, чтобы обеспечить лучшую безопасность и масштабируемость помимо желаемой конфиденциальности. Это связано с тем, что SNARK полагается на надежную систему для создания доказательств, в то время как STARK стремится быть полностью не заслуживающим доверия. Наконец, SNARK восприимчивы к квантовым вычислениям, но STARK квантовобезопасны.
Учитывая почти провальную историю Биткойна и его устойчивость к глубоким реорганизациям, это наиболее подходящая криптовалюта для объединенных транзакций, которые полагаются на основную цепочку для доступа к критически важным данным, которые пользователи должны потратить. Основная цепочка также гарантирует, что Rollup остается активным и доступным.
Чтобы правильно реализовать ZK Rollup на Биткойне и позволить пользователям надежно связывать свои Биткойны между накопительными пакетами, требуется софт-форк Биткойна. Этот софт-форк добавит новый код операции к старейшей криптовалюте, благодаря чему Биткойн сам узнает и сможет проверить доказательства ZK. Если это произойдет, пользователям нужно всего лишь запустить узел Биткойн, чтобы иметь возможность достоверно проверить доказательства, выданные конкретным накопительным пакетом, узнать о своей учетной записи и балансе, а также иметь возможность вывести средства из накопительного пакета.
Два проекта, упомянутые в первой части, не предполагают, что Биткойн претерпит консенсусные изменения. Вместо этого они используют протокол Ordinals, чтобы избежать необходимости в новых кодах операций. В частности, они используют концепцию вписанных конвертов, представленную Ordinals, инновацию, которая позволяет разработчикам и пользователям инкапсулировать любые типы данных с помощью определенных флагов и нескольких кодов операций. В Порядковой надписи этим знаком является «орд».
Флаги и коды операций в начале конверта служат двойной цели. Во-первых, они сообщают узлам Биткойн, что они могут пропускать конверты с информацией, не имеющей отношения к сети Биткойн. Во-вторых, они оказывают противоположное воздействие на пользователей и приложения, которые знают о конверте, давая им понять, что он содержит интересующий их контент. В случае с накопительным пакетом ZK пользователи могут сканировать блоки Биткойнов на предмет этих конвертов, узнавать последний статус объединения и использовать доказательства ZK для математической проверки.
Теперь, когда мы имеем представление о доказательствах ZK, давайте вернемся к двум ранее упомянутым проектам и исследуем уникальные аспекты их конструкции.
СУВЕРЕН
Сам Sovereign SDK преследует три основные цели. Во-первых, он направлен на предоставление стандартного интерфейса для связи между Rollup и уровнем DA, что упрощает развертывание Rollup на новом уровне DA и позволяет новым цепочкам поддерживать существующий Rollup. Во-вторых, он интегрируется с криптографическим компилятором для преобразования бизнес-логики кода в криптографически проверяемую форму. Наконец, он предоставляет реализации по умолчанию общих примитивов блокчейна, таких как токены, невзаимозаменяемые токены и межцепочные мосты.
Как упоминалось ранее, адаптер DA Chainway предназначен для того, чтобы приложениям, созданным с использованием Sovereign SDK, было проще подключаться к Биткойну. Другими словами, адаптер позволяет Sovereign Rollup использовать Биткойн в качестве уровня DA, что раньше было невозможно. Доступность данных имеет решающее значение для Rollup, поскольку она обеспечивает надежную проверку вычислений, выполняемых за пределами основной цепочки, и является требованием для пользователей, чтобы иметь возможность проверять или изменять свои балансы и выводить средства из Rollup.
Чтобы транзакции Sovereign Rollup были включены в блоки Биткойн, пользователи передают свои транзакции так называемому секвенатору. Секвенсор управляется самим фондом в конструкции адаптера DA Chainway и отвечает за установление этой связи между боковой цепью и Биткойном, гарантируя, что все транзакции, передаваемые пользователями, публикуются в Биткойне в форме доказательств ZK.
Это звучит немного централизованно, и это так. Однако, учитывая существование технологии подтверждения достоверности, известной как ZK-STARK, секвенаторы на самом деле не могут действовать злонамеренно. Это связано с тем, что аттестация в частном порядке подтверждает законность транзакции и может быть проверена кем угодно. Например, секвенаторы не могут незаконно присвоить средства пользователей или проводить несанкционированные транзакции. Однако теоретически они могут подвергать цензуре транзакции пользователя, не включая их в блоки Биткойн и сохраняя эти данные. Если это произойдет, пользователи могут опубликовать данные своих транзакций в Биткойн, записав эту информацию в Биткойн.
В Chainway заявили, что в будущем они планируют реализовать децентрализованную сортировку через небольшой набор сортировщиков, а участие будет без разрешения и основано на стейкинге.
СТАРКНЕТ
Как и Sovereign, Starknet также позволяет создавать Rollup-ы. Однако Starknet — это более самоуверенная экосистема, включающая в себя четкие компоненты, такие как Cairo, CairoVM и Madara, с помощью которых разработчики могут создавать свои проекты.
Starknet — это накопительный пакет ZK, который в настоящее время работает на Ethereum. Это означает, что накопительный пакет использует блокчейн, созданный Виталиком Бутериным, в качестве уровня DA. Он использует доказательства STARK, чтобы предоставить пользователям необходимые предположения о конфиденциальности и безопасности, а также улучшить масштабируемость и снизить транзакционные издержки за счет пакетной обработки транзакций перед публикацией доказательств и новых состояний на уровне 1. Cairo — это тьюринг-полный язык программирования для написания доказуемых программ, в котором одна сторона может доказать другой стороне, что определенное вычисление было выполнено правильно, не требуя от этой стороны повторного выполнения той же программы. Это первая платформа промышленного уровня для создания доказательств STARK для общих вычислений.
Виртуальная машина Cairo получает байт-код, сгенерированный компилятором, и запускает его на компьютере. Результатом выполнения является трассировка программы, которую затем можно отправить генератору доказательств STARK для подтверждения достоверности утверждений, выраженных в коде Cairo.
Madara — это секвенсор для стека Starknet, помогающий разработчикам поддерживать ZK Rollup на основе Starknet.
До недавнего времени все эти программные стеки были доступны только на Ethereum. Теперь Kasar Labs и Taproot Wizards выпустили адаптер DA для Биткойн, предназначенный для того, чтобы позволить разработчикам привязывать накопительные пакеты, созданные с использованием версии Starknet с открытым исходным кодом, к оригинальной и наиболее безопасной сети криптовалюты.
Нужен ли Биткойну ZK Rollup?
По сути, Биткойну в этом нет необходимости. В своем нынешнем состоянии он работает очень хорошо, и нет особых оснований полагать, что Биткойн нуждается в серьезных изменениях. С другой стороны, масштабируемость является реальной потребностью, и такие технологии, как Lightning Network, оказались чрезвычайно полезными, обеспечивая более широкое участие пользователей, которые в противном случае не смогли бы участвовать в экономических транзакциях Биткойн.
ZK Rollup дает возможность взглянуть на Биткойн с другой точки зрения. Два упомянутых выше проекта не требуют каких-либо реальных изменений в самом Биткойне, но для реализации полной функциональности этой технологии потребуются согласованные изменения посредством введения новых кодов операций. В настоящее время кажется, что это исследование технологии Rollup с нулевым разглашением пытается раздвинуть потенциальные границы Биткойна, что хорошо для расширения базы пользователей Биткойна, как и в случае с Lightning Network.
Подобно Lightning Network, функция Rollup объединяет несколько транзакций и публикует единый поток информации в Биткойн. Конечно, ZK Rollup использует совсем другой подход, чем Lightning Network, и это правильно. Технология не пытается конкурировать с проверенным вторым уровнем дешевых платежей, который уже нравится пользователям Биткойн. Вместо этого Rollup фокусируется на других проблемах и пытается предложить другие решения.
Для тех, кто хочет сделать больше с Биткойном, эта технология масштабирования, которая, наконец, сможет обеспечить частные, сложные вычисления и полагаться на математические доказательства, кажется привлекательной. Несмотря на это, от этого кода операции будет зависеть абсолютно безопасное соединение биткойнов в Rollup и из него. Но даже в этом случае идея есть.
Неясно, получит ли ZK Rollup какое-либо влияние на Биткойн. У Биткойна уже есть сайдчейн, а Liquid активно работает с Биткойном уже несколько лет, но объем его транзакций все еще скромен. Можно сказать, что в случае с Liquid наличие модели федерации является недостатком, тогда как у ZK Rollup в этом случае больше преимуществ. Возможно, Rollup постигнет та же участь, что и Liquid, а именно низкий объем торгов и низкий процент, поскольку пользователи Биткойна продолжают выбирать просто «ХОДЛ Биткойн и держаться». Или это может открыть новую главу в развитии и использовании Биткойна.
Независимо от того, будет ли конечный результат успешным или неудачным, изучение развития этих высококачественных исследований является естественным и необходимым усилием. Независимо от результата, вы можете узнать из него что-то новое. Несмотря на это, одно можно сказать наверняка: Биткойн продолжит хешировать и генерировать блоки, позволяя всем пользователям наслаждаться денежной уверенностью в твердых деньгах, не заботясь ни о каких из этих вещей.