Підтвердження спалення екосистеми Cardano ( PoB ) протокол реалізації

Команда Iagon нещодавно завершила виклик, розробивши протокол Proof of Burn (PoB) для екосистеми Cardano. У цій статті буде представлено деталі цього рішення, включаючи:

1. Огляд механізму підтвердження спалювання та його застосування
2. Iagon реалізував смарт-контракти PoB в мережі Cardano
3. Розгортання та тестування смарт-контрактів
4. Протокол PoB, реалізований через транзакції гаманця

1. Доказ горіння та його застосування

Знищення крипто-токенів ( є поширеною практикою, по суті, це відправка токенів на недоступну "чорну діру" адресу. Цей механізм може бути використаний для збільшення вартості залишкових токенів або як підтвердження зобов'язань протоколу блокчейну.

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

Дизайн концепції доказу спалення полягає в тому, щоб спочатку спалити кошти, а потім в окремому кроці підтвердити, що спалення відбулося. Це вимагає спочатку створити хеш зобов'язання, а потім показати, що адреса чорної дірки була створена.

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

2. Смарт-контракт на підтвердження спалення в мережі Cardano

Смарт-контракти Cardano складаються з трьох частин:

• Скрипт викупника: контроль витрат eUTxOs
• Скрипт гаманця: представляє собою виконання користувача, використовується для викупу коштів та створення нових eUTxOs
• eUTxOs: утримують кошти та дані )datum(

У смарт-контрактах Cardano немає централізованого стану, кожен eUTxO має незалежний стан. Можливі операції включають:

• Спалювання: Надсилання коштів на адресу чорної діри
• Знищено: верифікація спалення відбулася
• Закриття: Надсилання коштів на адресу з ключем
• Виведення: повернення заблокованих коштів

Посередники не можуть розрізнити операції з спалюванням і блокуванням, що запобігає перевірці операцій зі спалюванням. Лише після публікації зобов'язуючої вартості можна перевірити випадки спалювання коштів.

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

3. Розгортання та тестування смарт-контрактів

Кроки для розгортання смарт-контрактів в тестовій мережі включають:

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

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

4. Від смарт-контрактів до скриптів гаманця

Для подальшого запобігання цензурі операцію спалення можна виконати повністю у гаманці користувача, не покладаючись на смарт-контракти. Це вимагає використання хешу зобов'язуючого значення для заміни хешу публічного ключа та зміни найменшого біта.

За допомогою бібліотеки API Cardano можна генерувати адреси для знищення, відправляти транзакції до блокчейну та перевіряти транзакції на знищення.

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

Висновок

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

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