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

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

Обзор механизма доказательства сжигания

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

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

!

Умные контракты PoB в сети Cardano

Смарт-контракты Cardano состоят из трех основных компонентов:

1. Скрипт выкупа: управление расходами eUTxOs
2. Скрипт кошелька: представляет пользователя, выполняет, выкупает средства и создает новые eUTxOs
3. eUTxOs: Хранение средств и точек данных

Данный PoB Протокол поддерживает четыре операции: сжигание, проверка сжигания, блокировка и выкуп.

!

Процесс развертывания смарт-контрактов

Этапы развертывания включают:

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

!

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

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

!

Заключение

Хотя в настоящее время рекомендуется использовать скрипты кошелька, в будущем с реализацией библиотеки PAB более сложные решения для смарт-контрактов, совмещенные со скриптами кошелька, могут оказаться более жизнеспособными и способствовать созданию антикризисной среды.

!

!

!

!

!

!

!

!

!

!