Доказательство сжигания ( PoB ) Протокол: новое решение для экосистемы Cardano

Недавно появилось решение, направленное на вызов, предложенный Чарльзом Хоскинсоном. Это решение вводит протокол Proof of Burn (PoB) в экосистему Cardano. В этой статье будет представлено это новое разработанное решение, включая:

1. Обзор механизма подтверждения сжигания и его применения
2. Данное PoB решение реализовано и функционирует на смарт-контрактах сети Cardano
3. Развертывание и тестирование смарт-контрактов ( в тестовой сети )
4. Выполнение протокола PoB путем отправки токенов на адрес "черной дыры"

1. Доказательство сжигания и его применение

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

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

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

Безопасность криптоторговли полностью основана на криптографии с открытым ключом и криптографических хеш-функциях: "Каждый раз, когда отправляются средства, создается новый неиспользованный выход транзакции (UTxO)." Этот UTxO фиксирует количество средств и криптографический хеш открытого ключа получателя. Если получатель хочет использовать эти средства, он должен подписать новую расходную транзакцию с помощью того же открытого ключа.

Почему необходимо инвертировать младший значащий бит вывода хеш-функции, а не использовать хеш 0x0 напрямую? Причина в том, что использование известного значения делает сжигание немедленно видимым. Тем не менее, замысел данного протокола заключается в том, чтобы сначала сжечь средства, а затем в отдельном шаге ( доказать, что они были сожжены. Для достижения этой цели необходимо сначала начать с хеша создаваемого обязательного значения. Затем обязательное значение указывает на то, что был создан адрес черной дыры.

! [])https://img-cdn.gateio.im/webp-social/moments-e942fc679d8ef7e55f3db32648b24d99.webp(

2. Доказательство сжигания в сети Cardano ) PoB ( смарт-контракт

В этом разделе будет объяснен механизм доказательства сжигания в смарт-контрактах Cardano. Смарт-контракты Cardano — это программы, работающие в сети Cardano, которые позволяют разработчикам контрактов выполнять финансовые ) транзакции в соответствии с определенными правилами (. Смарт-контракты предназначены для обеспечения прозрачных и проверяемых сделок между различными сторонами. Недавний рост децентрализованных финансовых услуг и децентрализованных организаций способствовал экспоненциальному росту применения смарт-контрактов.

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

Экосистема Cardano использует различную структуру, позволяя пользователям имитировать каждую транзакцию в своем кошельке, что делает ) сеть ( атаки более сложными. Изменения, возникающие в результате этого, проверяются узлами блокчейна, а затем фиксируются. Для этого смарт-контракты Cardano имеют три составляющие:

• Скрипт выкупа: позволяет или запрещает тратить eUTxOs
• Скрипт кошелька: представляет собой выполнение пользователем, чтобы выкупить средства и создать новые eUTxOs
• eUTxOs: Каждый eUTxO содержит средства и одну точку данных ) datum (, которую выкупатель использует, чтобы определить, при каких условиях эти средства могут быть использованы снова.

Это означает, что смарт-контракты Cardano не имеют централизованного состояния в реестре. Каждый eUTxO имеет независимое состояние )datum(, которое неразрывно связано с его финансами. Это приводит к следующим четырем возможным операциям:

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

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

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

注意:flipCommitment только переворачивает младший значащий бит хэш-значения )LSB(.

Промежуточные лица, принимающие транзакции, не могут знать, является ли это сжиганием или блокировкой транзакции. Используя этот скрипт, промежуточные лица не могут избирательно проверять какие-либо транзакции сжигания. Сжигание и блокировка используют одинаковый формат выкупщика, только инициатор транзакции знает, является ли это сжиганием или блокировкой. Значение сжигания можно подтвердить, используя уничтоженную конечную точку с заданным значением обязательства. До публикации значения обязательства никто не знает, какое количество средств было уничтожено. Если вас интересует код, репозиторий кода будет подробно описан в следующем разделе.

! [])https://img-cdn.gateio.im/webp-social/moments-f7f162dc2a412b8d5ff903636b2e631b.webp(

3. Развертывание умных контрактов ) в тестовой сети (

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

) 1. Установите инструментальную цепочку Haskell

2. Построение скрипта Plutus

3. Запустите контейнер для подключения к узлу Cardano и кошельку Cardano

4. Восстановите кошелек и выведите ID кошелька ###, последующие шаги требуют (, выполните следующий код ) для генерации случайной мнемонической фразы для тестирования (.

) 5. Запуск сжигаемых токенов

6. Запуск, проверка сжигания

Запустив указанные выше шаги, внешние лица не смогут узнать, является ли это сжиганием или блокировкой транзакции. Однако после публикации этого скрипта люди могут попытаться скомпилировать отказ от скрипта выкупа, соответствующего хешу предложенного скрипта выкупа. Это потребует огромных усилий, но может привести к некоторой проверке сжигания. Чтобы предотвратить эту ситуацию и сделать нарушения более сложными, в следующем разделе будет обсуждено, как сделать это решение более безопасным.

! []###https://img-cdn.gateio.im/webp-social/moments-7777b1db89195a287d84464f2b80b5e9.webp(

4. От смарт-контрактов до скриптов кошелька

Используя тот факт, что большинство операций смарт-контрактов происходят в кошельках пользователей, создание схемы, использующей только выполнение в кошельке, может сделать смарт-контракты ненужными. Однако у этого метода может быть практическое преимущество, заключающееся в том, что невозможно выборочно блокировать соответствующие транзакции смарт-контрактов по сжиганию. Тем не менее, желающие заблокировать всех сжигающих могут достичь своей цели, блокируя все скрипты. Используя только кошелек, единственный способ для цензуры сжигания — это цензурирование всех транзакций Cardano. Это является окончательным сопротивлением для цензуры.

Чтобы это реализовать, нам нужно заменить хэш открытого ключа на хэш значения обязательства и инвертировать младший значащий бит значения обязательства. Но этого недостаточно. Cardano предотвращает ошибки ввода в адресах, проверяя структуру и CRC-код. Таким образом, самый простой способ получить адрес из обязательства — использовать следующий скрипт и библиотеку Cardano API.

Чтобы увидеть, как это работает, вы можете использовать следующий код для генерации адреса сжигания:

Затем вы можете использовать следующий код для отправки транзакции в блокчейн Cardano:

Чтобы проверить сжигание, вам нужно использовать следующий код для просмотра транзакций, отправленных на адрес сжигания:

! [])https://img-cdn.gateio.im/webp-social/moments-fed84a6717b012408df1b428b2d80586.webp(

Заключение

Данная статья делит реализацию протокола доказательства сжигания на два способа: смарт-контракты или транзакции кошелька. Тем не менее, в настоящее время смарт-контракты Alonzo лишены необходимой инфраструктуры, такой как библиотека PAB. Поэтому мы рекомендуем использовать скрипты кошелька. В любом случае библиотека PAB будет реализована в ближайшем будущем для разработки приложений на базе Cardano, в сочетании со скриптами кошелька, сложное решение смарт-контракта может быть более целесообразным для создания среды, устойчивой к потенциальной цензуре. Если вы хотите углубиться в это решение, вы можете просмотреть всю соответствующую информацию на GitHub.

! [])https://img-cdn.gateio.im/webp-social/moments-3d2bf883bd43da42085612065d17c6ef.webp(