Cardano реализует протокол сжигания: Сравнение смарт-контрактов и Кошельков

Реализация протокола доказательства сжигания в экосистеме Cardano

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

  1. Обзор механизма доказательства сжигания и его применения
  2. Конкретное предложение по реализации умных контрактов PoB в сети Cardano
  3. Процесс развертывания и тестирования смарт-контрактов
  4. Альтернативное решение для подтверждения сжигания через транзакции кошелька

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

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

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

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

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

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

!

Смарт-контракт на доказательство сжигания в сети Cardano

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

В отличие от Ethereum, Cardano использует структуру, позволяющую пользователям моделировать каждую транзакцию в своих кошельках для повышения безопасности. Умные контракты Cardano состоят из трех частей:

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

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

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

Важно отметить, что конечная точка работает в кошельке пользователя. Транзакции будут перемещены в блокчейн, а средства будут переведены в скрипт выкупа. Этот скрипт проверяет, что средства могут быть доступны только с определенного адреса.

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

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

!

Развертывание и тестирование смарт-контрактов

Для развертывания смарт-контрактов в тестовой сети необходимо выполнить следующие шаги:

  1. Установите инструменты Haskell
  2. Создание скрипта Plutus
  3. Запустите контейнер для связанного узла Cardano и кошелька
  4. Восстановите кошелек и получите ID кошелька
  5. Запуск токена сжигания
  6. Запуск проверки сжигания

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

!

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

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

Для этого необходимо заменить хэш открытого ключа на хэш значения обязательства и обратить младший бит значения обязательства. Но также необходимо учитывать требования к формату адреса Cardano. Самый простой способ сгенерировать адрес из обязательства — использовать библиотеку API Cardano.

Можно использовать предоставленный код для генерации адреса сжигания, отправки транзакции в блокчейн и проверки сжигания.

!

Заключение

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

!

ADA0.84%
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • 9
  • Репост
  • Поделиться
комментарий
0/400
MevWhisperervip
· 08-01 19:49
CH брат наконец-то принялся за дело.
Посмотреть ОригиналОтветить0
AirdropHustlervip
· 07-30 16:09
pob даже не так интересно, как сжигать бумажные деньги
Посмотреть ОригиналОтветить0
MidnightSellervip
· 07-30 15:56
Просто сожжешь и все, зачем так много пустой болтовни?
Посмотреть ОригиналОтветить0
MrDecodervip
· 07-29 20:22
Можно ли выйти из черной дыры, если туда попасть?
Посмотреть ОригиналОтветить0
SchroedingersFrontrunvip
· 07-29 20:22
А эта механика горения имеет что-то интересное
Посмотреть ОригиналОтветить0
TokenomicsTrappervip
· 07-29 20:19
лмао классический CH ход... пытается пампить ada с помощью больше протокольных уловок, честно говоря
Посмотреть ОригиналОтветить0
BearMarketSunriservip
· 07-29 20:19
Весь день только и занимаюсь технологиями, а что с этого?
Посмотреть ОригиналОтветить0
ImpermanentPhilosophervip
· 07-29 20:10
ada可以ловушка燃烧?
Посмотреть ОригиналОтветить0
ReverseFOMOguyvip
· 07-29 20:08
CH действительно потрясает
Посмотреть ОригиналОтветить0
Подробнее
  • Закрепить