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

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

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

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

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

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

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

!

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

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

• Скрипт выкупа: управление расходами eUTxO
• Скрипт кошелька: представляет пользователя, используется для выкупа средств и создания нового eUTxO
• eUTxO: средства и данные, используемые для выкупа

У смарт-контрактов Cardano нет централизованного состояния, каждый eUTxO имеет независимое состояние.

Протокол сжигания включает четыре операции:

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

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

!

!

!

!

!

!

!

!

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

Основные шаги развертывания смарт-контракта в тестовой сети:

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

!

!

!

Программа доказательства сжигания на основе транзакций в кошельках

Для дальнейшего повышения устойчивости к цензуре можно использовать только транзакции кошелька для реализации доказательства сжигания:

1. Замените хэш публичного ключа на хэш значения обязательства и инвертируйте младший бит.
2. Используйте API Cardano для генерации адреса сжигания, соответствующего требованиям формата.
3. Отправить транзакцию в блокчейн Cardano
4. Проверить, просмотрев транзакции, отправленные на адрес сжигания

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

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

!

!